Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2004 | 14 | 2 | 249-263
Tytuł artykułu

Grounding and extracting modal responses in cognitive agents: 'AND' query and states of incomplete knowledge

Treść / Zawartość
Warianty tytułu
Języki publikacji
In this study an original way of modeling language grounding and generation for a simple set of language responses is presented. It is assumed that the language is used by a cognitive agent and consists of a few modal belief and possibility formulas that are used by this agent to communicate its opinions on the current state of an object. The cognitive agent is asked a simple AND query and the language is tailored to this situation. The agent's knowledge bases are characterized by certain incompleteness of information on the current state of objects. The language of the available responses is originally grounded in the agent's previous empirical experience. According to the assumptions of the cognitive linguistics and the phenomenology of knowledge, this experience is the basic source of meaning represented by the available formulas (responses). In the study the idea of an epistemic satisfaction relation is introduced that describes states of the agent's knowledge in which particular formulas are satisfied in the epistemic sense. Additionally, a formal description of the semantic power of formulas is presented. The concepts of the empirical satisfaction relation and the semantic power of formulas are used to define a model of particular language behavior that preserves the assumption of language grounding. Two examples of possible implementations are given. These implementations are basic ones and refer to statistical characteristics of the stored empirical experience of the cognitive agent.
Opis fizyczny
  • Institute of Control and Systems Engineering, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, 50–250 Wrocław, Poland
  • Institute of Control and Systems Engineering, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, 50–250 Wrocław, Poland
  • Ajdukiewicz K (1956): Conditional clause and material implication. - Studia Logica, No. 4, pp. 117-134, (in Polish).
  • Brentano F. (1924): Psychologie vom Empirischen Standpunkt. -Leipzig: Meiner.
  • Cohen P.R. and Levesque H.J. (1990): Intention is choice with commitment. - Artif. Intell., Vol. 42, No. 2-3, pp. 213-269.
  • Daniłowicz C. and Nguyen T. N. (1988): Consensus based partitions in the space of ordered partitions. - Pattern Recogn., Vol. 21, No. 3, pp. 269-273.
  • Denett D.C. (1996): Kinds of Minds. - New York: Basic Books.
  • Eco U. (1991): La Struttura Assente. - Milano: Tascabili Bompiani.
  • Fauconnier G. (1997): Mappings in Thought and Language. - Cambridge: Cambridge University Press.
  • Halpern J. and Moses Y. (1992): A guide to completeness and complexity for modal logics of knowledge and belief. - Artif. Intell., Vol. 54, No. 3, pp. 319-379.
  • Harnad S. (1990): The symbol grounding problem. - Physica D, Vol. 42, No. 1-3, pp. 335-346.
  • Hunter G. (1971): Metalogic. An Introduction to the Metatheory of Standard First Order Logic. - Berkeley, Los Angeles: University of California Press.
  • Husserl E. (1913): Logische Untersuchungen, Zweiter Band-Untersuchungen zur Phanomenologie und Theorie der Erkenntnis. I Teil. - Halle a.d. Saale: Max Niemeyer Verlag.
  • Husserl E. (1921): Logische Untersuchungen, Zweiter Band-Elemente einer phanomenologischen Aufklarung der Erkenntnis. II Teil. - Halle a.d. Saale: Max Niemeyer Verlag.
  • Johnson-Laird P.N. (1983): Mental Models. Toward a Cognitive Science of Language, Inference, and Consciousness. - Cambridge: Cambridge University Press.
  • Katarzyniak R. (2000): Intentional models and BDI theories. An inquiry into a relation of modelling autonomous processes for possible worlds constructions. - Proc. Int. ICSC Congress Int. Syst. Applicns., ISA'2000, Wollongong, Australia, pp. 885-891.
  • Katarzyniak R. (2001a): A conceptual model for extracting implications from data bases in believable agents. - Proc. 14-th Int. Conf. Syst. Sci., Wrocław, Poland, Vol. 2, pp. 382-389.
  • Katarzyniak R. (2001b): A model for extracting a class of knowledge operators, logic disjunctions and logic alternatives from BDI agents. - Proc. 10-th Symp. Intelligent Information Systems, IIS'01, Zakopane, Poland, pp. 257-269.
  • Katarzyniak R. (2002): Grounding atom formulas and simple modalities in communicative agents. - Proc. 21-st IASTED Int. Conf. AppliedInformatics, AI'03, Innsbruck, Austria, pp. 388-392.
  • 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 Pieczyńska-Kuchtiak A. (2002): A consensus based algorithm for grounding belief formulas in internally stored perceptions. - Neural Network World, Vol. 502, No.12, pp. 461-522.
  • Katarzyniak R. and Pieczyńska-Kuchtiak A. (2003): Distance measure between cognitive agent's stored perceptions. - Proc. 22-nd IASTED Int. Conf. Modelling, Information, and Control, MIC'03, Innsbruck, Austria, pp. 517-522.
  • Kripke S. (1963): Semantical analysis of modal logic I: Normal modal propositional calculi. - Zeitschrift fur Math. Logik und Grundlagen der Math., Vol. 9, pp. 67-96.
  • Lakoff G. and Johnson M. (1999): Philosophy in the Flesh: The Embodied Mind and Its Challenge to Western Thought. - New York: Basic Books.
  • Lindern van B., Hoek van der W. and Meyer J.-J.Ch. (1998): Formalising abilities and opportunities of Agents. - Fundamenta Informatica, Vol. 34, No. 1-2, pp. 53-101.
  • Newell A. (1990): The Unified Theories of Cognition. - Cambridge: Harvard University Press.
  • Shannon C.E. (1948): A mathematical theory of communication. - Bell Syst. Techn. J., Vol. 27, No. 3, pp. 379-423.
  • Tarski A. (1935): Der Warheitsbegriff in den formalisierten Sprachen. - Studia Philosophica, Vol. 1, No. 1, pp. 261-405.
Typ dokumentu
Identyfikator YADDA
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.