An approach to resolving semantic inconsistency of multiple prepositional attitudes

In this paper an approach to resolving semantic inconsistency of incoming messages is proposed. It is assumed that in order to collect knowledge about a current state of properties in an external object a cognitive agent asks other agents located in the same world about their knowledge of this object. The other agents reply by sending messages in which modal formulas extended with operators for knowledge, belief and possibility are conveyed. These formulas are translated by the receiving cognitive agent into related internal representations and a profile of fuzzy sets representing mental models assigned to collected formulas is developed. Due to the fact that incoming messages carry some content that can differ from one message to another the resulting collection of fuzzy sets can be inconsistent, This inconsistency means that in order to create and communicate its own prepositional attitude the cognitive agent needs to resolve the underlying semantic inconsistency. This resolution of inconsistency is achieved in two steps: the determination of a consensus for the whole profile of fuzzy sets and the choice of a formula representing the content of derived consensus. A simple method is used to derive the consensus and an adaptation of an algorithm for extracting language messages from cognitive agents is presented. This algorithm has been proposed and studied in detail in other cited works.

[1]  P. Johnson-Laird,et al.  Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness , 1985 .

[2]  Radoslaw Katarzyniak.  On some properties of grounding simple modalities , 2005 .

[3]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[4]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[5]  Claude E. Shannon,et al.  A mathematical theory of communication , 1948, MOCO.

[6]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[7]  A. Pieczyńska-Kuchtiak.  Experience-based learning of semantic messages generation in resource-bounded environment , 2004 .

[8]  U. Eco,et al.  La struttura assente , 1983 .

[9]  P. Johnson-Laird.  Mental models , 1989 .

[10]  Michael L. Anderson.  Embodied Cognition: A field guide , 2003, Artif. Intell..

[11]  Charles F. Hockett,et al.  A mathematical theory of communication , 1948, MOCO.

[12]  Radoslaw Katarzyniak,et al.  Grounding and extracting modal responses in cognitive agents: 'AND' query and states of incomplete knowledge , 2004 .

[13]  Radoslaw Katarzyniak,et al.  Grounding languages in cognitive agents and robots , 2003 .

[14]  R. P. Katarzyniak,et al.  Reconciling inconsistent profiles of agents' knowledge states in distributed multiagent systems using consensus methods , 2000 .

[15]  G. Lakoff,et al.  Philosophy in the flesh : the embodied mind and its challenge to Western thought , 1999 .

[16]  Radoslaw Katarzyniak,et al.  The Language Grounding Problem and its Relation to the Internal Structure of Cognitive Agents , 2005, J. Univers. Comput. Sci..

[17]  Stevan Harnad,et al.  Symbol grounding problem , 1990, Scholarpedia.

[18]  Paul Vogt,et al.  Anchoring of semiotic symbols , 2003, Robotics Auton. Syst..

[19]  Ngoc Thanh Nguyen,et al.  Consensus system for solving conflicts in distributed systems , 2002, Inf. Sci..

[20]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .