A Language for Beliefs and Knowledge Representation

Partner

  • Prof. Dr. Mauricio Osorio, University of Puebla, Mexico

Funding

PhD project, Conacyt (Mexican Government), 30.000 € (of 30.000€ total)

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.

Duration

01/2005 - 04/2008