Fuzzy logic-based observation and evaluation of pedestrians’ behavioral patterns by age and gender

Pedestrian behavior is affected by a multitude of factors such as age, gender, and operating conditions. However, traditional statistical analysis based on observed movements or questionnaire survey is unable to model decision-making process of each pedestrian. This study develops an innovative approach based on fuzzy logic to model the underlying cognitions and behavioral patterns of pedestrians as inferred from field observation in order to evaluate age and gender effect of pedestrians in crossing a signalized crosswalk and when jaywalking. Fuzzy sets and rules are created to model the relationship between human cognitions and decisions of an individual pedestrian. Through calibrating the membership functions of different age and gender groups, behavioral patterns of pedestrians are evaluated and compared. Different from most previous studies, both older and younger pedestrians are found to be less risk-taking than adult pedestrians. Moreover, significant gender difference is found only for cognitions of most hazardous conditions. Consistent with previous studies, it is seen that men have better cognitive skills than women at detecting hazardous situations. The findings from this study are useful to better design safe pedestrian crossing facilities. The fuzzy logic-based approach also provides an innovative way to simulate pedestrian movements in microscopic simulation models.     

Qualitative probabilistic inference under varied entropy levels

In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield probability distributions with moderately high entropy levels. In the present article, we present data charting the performance of the four systems when reasoning in environments of various entropy levels. The results illustrate variations in the performance of the respective reasoning systems that derive from the entropy of the environment, and allow for a more inclusive assessment of the reliability and robustness of the four systems.     

Modal Horn Classes

This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas. This revised version was published online in June 2006 with corrections to the Cover Date.     

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations. This revised version was published online in June 2006 with corrections to the Cover Date.     

A Complete and Consistent Formal System for Sortals

A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.     

The Interpretability Logic of all Reasonable Arithmetical Theories

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday