On some properties of grounding nonuniform sets of modal conjunctions

• Autorzy: Radoslaw Piotr Katarzyniak
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

artificial cognition; modality; semantic communication; language grounding; cognitive agent; conjunction

• Wydawca: University of Zielona Gora Press
• Czasopismo: International Journal of Applied Mathematics and Computer Science
• Rocznik: 2006
• Tom: 16
• Numer: 3
• Strony: 399-412

Daty

wydano

2006

otrzymano

2005-01-18

poprawiono

2006-07-25

Twórcy

autor

Radoslaw Piotr Katarzyniak

• Institute of Information Science and Engineering, Wrocław University of Technology, ul. Wybrzeże Wyspiańskiego 27,50-370 Wrocław, Poland

Bibliografia

• Anderson M. (2003): Embodied cognition: A field guide. - Artif. Intell.,Vol. 149, No. 1, pp. 91-130.
• Brooks R.A. (1991a): Intelligence without representation. - Artif.Intell., Vol. 47, No. 1-3, pp. 139-160.
• Brooks R.A. (1991b): Intelligence without reason. - Proc. 12-th Int.Conf. Artificial Intelligence, (IJCAI-91), Sydney, Australia, pp. 569-595.
• Chrisley R. (2003): Embodied artificial intelligence. - Artif. Intell., Vol. 149, No. 1, pp. 131-150.
• Denett D.C. (1996): Kinds of Minds. Toward an Understanding of Consciousness. - New York: Basic Books.
• Eco U. (1991): La Struttura Assente. - Milano: Tascabili Bompiani.
• Freeman W.J. (2000): A neurobiological interpretation of semiotics: Meaning, representation, and information. - Inf. Sci., Vol. 124, No. 1-4, pp. 93-102.
• Harnad S. (1990): The symbol grounding problem. - Phys. D, Vol. 42, Nos. 1-3,pp. 335-346.
• Harnad S. (1994): Computation is just interpretable symbol manipulation: Cognition isn't. - Minds Mach., Vol. 4, No. 4, pp. 379-390.
• Johnson-Laird P.N. (1983): Mental Models. Toward a Cognitive Science of Language, Inference, and Consciousness. - Cambridge: Cambridge University Press.
• 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.
• 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.
• Katarzyniak R. (2004b): Organizations as communicative cognitive agents. - Proc.7-th Int. Workshop s Organizational Semiotics, OS'04, Setubal, Portugal, pp. 309-324.
• 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.
• 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.
• 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).
• Katarzyniak R. (2005b): On some properties of grounding simple modalities. - Syst. Sci., Vol. 31, No. 3, pp. 59-86.
• Katarzyniak R. (2006): On some properties of grounding uniform sets of modal conjunctions. - J. Intell. Fuzzy Syst., Vol. 17, No. 3., pp. 209-218.
• 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.
• 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.
• 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.
• Lakoff G. and Johnson M. (1999): Philosophy in the Flesh: The Embodied Mind and Its Challenge to Western Thought. - New York: Basic Books.
• Newell A. (1990): The Unified Theories of Cognition. - Cambridge: Harvard University Press.
• Paivio A. (1986): Mental Representations: A Dual Coding Approach. - New York: Oxford University Press.
• Pieczynska-Kuchtiak A. (2004): Experience-based learning of semantic messages generation in resource-bounded environment. - Syst. Sci., Vol. 30, No. 2, pp. 115-132.
• Roy D. (2005): Semiotic schemas: A framework for grounding language in action and perception. - Artif. Intell., Vol. 167, Nos. 1-2, pp. 170-205.
• Roy D. and Reiter E. (2005): Connecting language to the world. - Artif.Intell., Vol. 167, Nos. 1-2, pp. 1-12.
• Tarski A. (1935): Der Warheitsbegriff in den formalisierten Sprachen. - Studia Philosophica, Vol. 1, No. 1, pp. 261-405.
• Tomasello M. (2000): Primate cognition: Introduction to the issue. - Cognit.Sci., Vol. 24, No. 3, pp. 351-361.
• Vogt P. (2002): The physical symbol grounding problem. - Cognit. Syst. Res., Vol. 3, No. 3, pp. 429-457.
• Vogt P. (2003): Anchoring of semiotic symbols. - Robot. Autonom. Syst.,Vol. 43, Nos. 2-3, pp. 109-120.
• 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.