On some properties of grounding nonuniform sets of modal conjunctions

Katarzyniak, R. P.

International Journal of Applied Mathematics and Computer Science, Tome 16 (2006) no. 3, pp. 399-412

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

Keywords: cognitive agent, semantic communication, language grounding, conjunction, modality, artificial cognition
Mots-clés : czynnik poznawczy, komunikacja semantyczna, koniunkcja

Bibliographie

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

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

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

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

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

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

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

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

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

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

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

[12] 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.

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

[14] 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.

[15] 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.

[16] 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, Wrocław University of Technology, (in Polish).

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

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

[19] 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.

[20] Katarzyniak R. and Pieczyńska-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.

[21] Katarzyniak R. and Pieczyńska-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.

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

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

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

[25] Pieczyńska-Kuchtiak A. (2004): Experience-based learning of semantic messages generation in resource-bounded environment. - Syst. Sci., Vol. 30, No. 2, pp. 115-132.

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

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

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

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

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

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

[32] 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.