ON SOME PROPERTIES OF GROUNDING SIMPLE MODALITIES

摘要

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.