Most models designed to simulate pedestrian dynamical behavior are based on the assumption that human decision-making can be described using precise values. This study proposes a new pedestrian model that incorporates fuzzy logic theory into a multi-agent system to address cognitive behavior that introduces uncertainty and imprecision during decision-making. We present a concept of decision pre...

This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...

  Selection of appropriate infrastructure transportation projects such as highways, plays an important role in promotion of transportation systems. Usually in evaluation of transportation projects, because of lack of information or due to long time and high expenditures needed for gathering information, different effective factors are ignored. Thus, in this research, regarding multi criteria na...

We study intransitive temporal logic implementing multiagent’s approach and formalizing knowledge and uncertainty. An innovative point here is usage of non-transitive linear time and multi-valued models the ones using separate valuations Vj for agent’s knowledge of facts and summarized (agreed) valuation together with rules for computation truth values for compound formulas. The basic mathemati...

background: the mapping of the malignization mechanism is still incomplete, but oxidative stress is strongly correlated to carcinogenesis. in our research, using fuzzy logic, we aimed to estimate the oxidative stress related-cancerization risk of the oral potentially malignant disorders. methods: serum from 16 patients diagnosed (clinical and histopathological) with oral potentially malignant d...

In this paper, a linguistic truth-value lattice proposition logic system LTV LP (X) is presented firstly. It is an useful and reasonable tool to deal with the linguistic term set including linear ordered set and non-linear ordered set. Then an operator linguistic truth-value lattice-valued proposition logic OLTV LP (X) is given. The OLTV LP (X) can provide a theoretical model for multi-evaluato...

A logic network to produce the sequency ordered Hadamard matrix H based on the property of gray code and orthogonal group codes is developed. The network uses a counter to generate Rademacher function such that the output of H will be in sequency. A general purpose shift register with output logic is used to establish a sequence of period P corresponding to a given value of order m of the Hadam...

Cultural Heritage-Management (CHM) in Italy appears to chronically suffer from resources fragmentation. The aim of this chapter is to highlight the need for a value co-creation logic based on resource integration in CHM to improve awareness and involve citizens, organizations and other stakeholders in the cultural heritage preservation and enhancement activities. The methodological approach ado...