A Language for Beliefs and Knowledge Representation
Project Members:
- Prof. Dr. Jürgen Dix (Leader)
- Mag.-Inf. Juan Guadarrama
- Dr. Wojciech Jamroga
Partner:
- Prof. Dr. Mauricio Osorio, University of Puebla, Mexico
Funding: PhD project, Conacyt (Mexican Government), 30.000 € (of 30.000€ total)
Duration: 01/2005 - 04/2008
Project Description:
In this project, preliminary specifications of a formal logic programming language for beliefs and knowledge representation are studied by means of a society of intelligent agents, based on the strong theoretical basis of epistemology and intuitionistic logic. We describe its general structure and propose how one can update beliefs so that they become knowledge as new pieces of information appear. Possible future applications towards a conscious autonomous agent are also discussed.