Grounding Atom Formulas and Simple Modalities in Communicative Agents

R. Katarzyniak (Poland)


symbol grounding, cognitive agent, modal logic, semantics, intentions, robotics


In this paper an approach to formalize the symbol grounding has been presented for the class of simple atom and modal formulas. The grounding is understood as binding particular formulas of a logic language to sets of perceptions of the world stored in the cognitive agent's memory. The logic formulas are treated as higher level external representations of knowledge. The sets of perceptions are stored in the body of the agent and are strictly internal and private. The so called grounding semantics is introduced to define the way of relating the language to internal bases. This semantics is based on the idea of possible worlds, However, it differs essentially to standard Kripke approach.

Important Links:

Go Back