On some properties of grounding nonuniform sets of modal conjunctions

Katarzyniak, Radoslaw

International Journal of Applied Mathematics and Computer Science, Tome 16 (2006), p. 399-412 / Harvested from The Polish Digital Mathematics Library

Résumé

A language grounding problem is considered for nonuniform sets of modal conjunctions consisting of conjunctions extended with more than one modal operator of knowledge, belief or possibility. The grounding is considered in the context of semiotic triangles built from language symbols, communicative cognitive agents and external objects. The communicative cognitive agents are assumed to be able to observe external worlds and store the results of observations in internal knowledge bases. It is assumed that the only meaning accessible to these agents and assigned to modal conjunctions can be extracted from these internal knowledge bases. Commonsense requirements are discussed for the phenomenon of grounding nonuniform sets of modal conjunctions and confronted with an original idea of epistemic satisfaction relation used to define proper conditions for language grounding. Theorems are formulated and proved to show that the communicative cognitive agents based on the proposed model of grounding fulfill some commonsense requirements given for processing sets of nonuniform modal conjunctions. The main result is that the communicative cognitive agents considered can be constructed in a way that makes them rational and intentional as regards the processing of modal conjunctions and from the human point of view.

Détail

Publié le : 2006-01-01

Zbl 1144.68376

EUDML-ID : urn:eudml:doc:207802

Bibliographie

[000] Anderson M. (2003): Embodied cognition: A field guide. - Artif. Intell.,Vol. 149, No. 1, pp. 91-130.

[001] Brooks R.A. (1991a): Intelligence without representation. - Artif.Intell., Vol. 47, No. 1-3, pp. 139-160.

[002] Brooks R.A. (1991b): Intelligence without reason. - Proc. 12-th Int.Conf. Artificial Intelligence, (IJCAI-91), Sydney, Australia, pp. 569-595. | Zbl 0742.68050

[003] Chrisley R. (2003): Embodied artificial intelligence. - Artif. Intell., Vol. 149, No. 1, pp. 131-150.

[004] Denett D.C. (1996): Kinds of Minds. Toward an Understanding of Consciousness. - New York: Basic Books.

[005] Eco U. (1991): La Struttura Assente. - Milano: Tascabili Bompiani.

[006] Freeman W.J. (2000): A neurobiological interpretation of semiotics: Meaning, representation, and information. - Inf. Sci., Vol. 124, No. 1-4, pp. 93-102.

[007] Harnad S. (1990): The symbol grounding problem. - Phys. D, Vol. 42, Nos. 1-3,pp. 335-346.

[008] Harnad S. (1994): Computation is just interpretable symbol manipulation: Cognition isn't. - Minds Mach., Vol. 4, No. 4, pp. 379-390.

[009] Johnson-Laird P.N. (1983): Mental Models. Toward a Cognitive Science of Language, Inference, and Consciousness. - Cambridge: Cambridge University Press.

[010] Katarzyniak R. (2002): A model for extracting a class of knowledge operators, logic disjunctions and logic alternatives from BDI agents. - Proc. 10-th Conf. s Intelligent Information Systems, IIS'02, Zakopane, Poland, pp. 257-269. | Zbl 1003.68124

[011] Katarzyniak R. (2004a): Extracting modal implications and equivalences from cognitive minds. - Proc. 7-th Int. Conf. Discovery Science, DS'04, Padova, Italy,pp. 420-428. | Zbl 1110.68450

[012] Katarzyniak R. (2004b): Organizations as communicative cognitive agents. - Proc.7-th Int. Workshop s Organizational Semiotics, OS'04, Setubal, Portugal, pp. 309-324.

[013] Katarzyniak R. (2004c): Grounding modalities and logic connectives in communicative cognitive agents, In: Intelligent Technologies for Inconsistent Knowledge Processing (Nguyen N.T., Ed.) - Adelaide: Advanced Knowledge International,pp. 39-56.

[014] Katarzyniak R. (2005): The language grounding problem and its relation to the internal structure of cognitive agents. - J. Univ. Comput. Sci., Vol. 11, No. 2,pp. 357-374.

[015] Katarzyniak R. (2005a): On some properties of grounding modal conjunctions in artificial cognitive agents. - Tech. Rep. SPR No. 2, Institute of Information Science and Engineering, Wroclaw University of Technology, (in Polish).

[016] Katarzyniak R. (2005b): On some properties of grounding simple modalities. - Syst. Sci., Vol. 31, No. 3, pp. 59-86. | Zbl 1292.68138

[017] Katarzyniak R. (2006): On some properties of grounding uniform sets of modal conjunctions. - J. Intell. Fuzzy Syst., Vol. 17, No. 3., pp. 209-218. | Zbl 1110.68142

[018] Katarzyniak R. and Nguyen N.T. (2000): Reconciling inconsistent profiles of agents' knowledge states in distributed multiagent systems using consensus methods. - Syst. Sci., Vol. 26, No. 4, pp. 93-119. | Zbl 1068.91515

[019] Katarzyniak R. and Pieczynska-Kuchtiak A. (2002): A consensus based algorithm for grounding belief formulas in internally stored perceptions. - Neural Netw. World, Vol. 12,No. 5, pp. 461-472.

[020] Katarzyniak R. and Pieczynska-Kuchtiak A. (2004): Grounding and extracting modal responses in cognitive agents: `AND' query and states of incomplete knowledge. - Int. J. Appl. Math. Comput. Sci., Vol. 14, No. 2, pp. 249-263. | Zbl 1104.68752

[021] Lakoff G. and Johnson M. (1999): Philosophy in the Flesh: The Embodied Mind and Its Challenge to Western Thought. - New York: Basic Books.

[022] Newell A. (1990): The Unified Theories of Cognition. - Cambridge: Harvard University Press.

[023] Paivio A. (1986): Mental Representations: A Dual Coding Approach. - New York: Oxford University Press.

[024] Pieczynska-Kuchtiak A. (2004): Experience-based learning of semantic messages generation in resource-bounded environment. - Syst. Sci., Vol. 30, No. 2, pp. 115-132. | Zbl 1096.68135

[025] Roy D. (2005): Semiotic schemas: A framework for grounding language in action and perception. - Artif. Intell., Vol. 167, Nos. 1-2, pp. 170-205.

[026] Roy D. and Reiter E. (2005): Connecting language to the world. - Artif.Intell., Vol. 167, Nos. 1-2, pp. 1-12.

[027] Tarski A. (1935): Der Warheitsbegriff in den formalisierten Sprachen. - Studia Philosophica, Vol. 1, No. 1, pp. 261-405.

[028] Tomasello M. (2000): Primate cognition: Introduction to the issue. - Cognit.Sci., Vol. 24, No. 3, pp. 351-361.

[029] Vogt P. (2002): The physical symbol grounding problem. - Cognit. Syst. Res., Vol. 3, No. 3, pp. 429-457.

[030] Vogt P. (2003): Anchoring of semiotic symbols. - Robot. Autonom. Syst.,Vol. 43, Nos. 2-3, pp. 109-120.

[031] Ziemke T. (1999): Rethinking grounding, In: Understanding Representation in the Cognitive Sciences (Riegler A., Peschl M., von Stein A., Eds.). - New York: Plenum Press, pp. 177-190.