On some properties of grounding simple modalities

• Autorzy: Katarzyniak R. P.
• Języki publikacji: EN

Abstrakty

EN

An original model of grounding simple modalities is presented and some of its properties are formally proved and discussed. The language of simple modalities is given as the set of atom formulas extended with modal operators of possibility, belief and knowledge. The artificial cognitive agent is organized into working and long term memory that correspond to conscious and non-conscious subspaces of natural cognition, respectively. The so called epistemic satisfaction relation is introduced that defines states of artificial cognition in which simple modalities can be treated as well grounded and satisfied in the epistemic sense. The idea of epistemic satisfaction is interpreted as complementary to the Tarskian and Kripke definitions for truth and its relation to the idea of semiotic triangle is discussed. The resulting correspondence between natural language behavior and artificial grounding is analyzed. In particular, desirable possibility of designing artificial cognitive agents with the ability of simultaneous grounding of particular sets of simple modalities is proved.

Słowa kluczowe

EN

artificial intelligence; natural languages; natural language communication; grounding simple modalities

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2005
• Tom: Vol. 31, no 3
• Strony: 59--86
• Opis fizyczny: Bibliogr. 16 poz., rys.

Twórcy

autor

Katarzyniak R. P.

• Institute of Information Science and Engineering, Wroclaw University of Technology, Poland,

Bibliografia

• [1] DenettD. C., Kinds ofminds, Basic Books, New York 1996.
• [2] Eco U., La strultura assente, Tascabili Bompiani, Milano 1991.
• [3] Harnad S., The Symbol Grounding Problem, Physica D., 42, 1990, 335-346.
• [4] Johnson-Laird P. N., Menial models. Toward a cognitive science of language, inference, and consciousness, Cambridge University Press, Cambridge 1983.
• [5] Katarzyniak R., Grounding modalities and logic connectives in communicative cognitive agents, [in:] N. T. Nguyen, Intelligent Technologies for Inconsistent Knowledge Processing, Advanced Knowledge International, Adelaide 2004.
• [6] Katarzyniak R., Extracting modal implications and equivalences from cognitive minds, [in:] Discovery Science, Proc. 7th International Conference DS2004, LNAI, Vol. 3245, 2004,420-428.
• [7] Katarzyniak R., A model for extracting a class of knowledge operators, logic disjunctions and logic alternatives from BDI agents, [in:] Intelligent information systems 2001. Proceedings of the International Symposium “Intelligent Information Systems X”, Advances in Soft Computing, 2001, 257-269.
• [8] Katarzyniak R., The language grounding problem and its relation to the internal structure of cognitive agents, J. Univ. Comput. Sci., 11/2, 2005, 357-374.
• [9] Katarzyniak R., Nguyen N. T., Reconciling inconsistent profiles of agent’s knowledge States in distributed multiagent systems using consensus methods, Syst. Sci., 26/4, 2000, 93-119.
• [10] Katarzyniak R., Pieczyńska-Kuchtiak A., A consensus based algorithm for grounding belief formulas in internally stored perceptions, Neural Netw. World, Vol. 5 (2), 2002, 461-472.
• [11] Katarzyniak R., Pieczyńska-Kuchtiak A., Grounding and extracting modal responses in cognitive agents: ‘and’ query and States of incomplete knowledge, Int. J. Appl. Math. Comput. Sci., (14/2), 2004, 249-263.
• [12] Newell A., The unified theories of cognition, Harvard University Press, Cambridge 1990.
• [13] Tarski A., Der Warheitsbegriff in den formalisierten Sprachen, Studia Philosophica, (1), 1935, 261—405.
• [14] Tugendhat E., Tarskis semantische Definition der Wahrheit und ihre Stellung innerhalb der Geschichte des Wahrheit im logischen Positmsmus, Philosophische Rundschau, (8), 1960, 131-159.
• [15] Vogt P., The Physical Symbol Grounding Problem, Cognitive Systems Research, (3), 2002, 429- 457.
• [16] Vogt, P., Anchoring of semiotic symbols, Robotics and Autonomous Systems, (43), 2003, 109-120.