Informatik an der TU Clausthal > Abteilungen > Computational Intelligence > Computational Intelligence > Research > Projects > A Language for Beliefs and Knowledge Representation

A Language for Beliefs and Knowledge Representation

Project Members:


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: dix[at]


Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2021