A Language for Beliefs and Knowledge Representation

Project Members:


  • 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.


Contact E-Mail: juergen.dix@tu-clausthal.de