Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The origins of syntax in visually grounded robotic agents
Artificial Intelligence - Special issue: artificial intelligence 40 years later
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences
Engineering Societies in the Agents World VIII
Propositional logic syntax acquisition
EELC'06 Proceedings of the Third international conference on Emergence and Evolution of Linguistic Communication: symbol Grounding and Beyond
Hi-index | 0.00 |
This paper introduces grounded models and compares them to axiomatic models of mathematics. Grounded models differ from axiomatic theories in establishing explicit connections between language and reality that are learnt through language games. They are constructed and updated by autonomous agents connected to their environment through sensors and actuators using some conceptualization mechanisms and language games described in [Steels, 1999]. They are based on conceptualization and support a form of intuitive reasoning, which can be done sometimes by constraint satisfaction and it is argued to be the basis of some axiomatizations. This is illustrated with a simple example of spatial reasoning.