Informatik an der TU Clausthal > Aktuelles: Details

Aktuelles: Details

Mündliche Doktorprüfung, M.Sc. Juan C. Guadarrama, 18.12.2009, 8 Uhr s.t., Seminarraum 210

On Updates of Epistemic States

In this dissertation I present some aspects of belief-change theory and representation of knowledge as one of the main theoretical basis to formulate semantics for updates of logic programs. Firstly, there is an introduction to relevant principles and postulates, like the classical belief-revision formulation and a following proposal to make a difference between belief revision and updates. Next, there is a survey of some few proposals to update logic programs that are the main motivation for this thesis. Finally, I present a progressive approach that overrides the problems pointed out in other alternatives and that meets most of the principles here introduced.
In particular, revising and updating knowledge bases is an important problem in knowledge representation and reasoning that has led to various proposals for updating logic programs, specifically with respect to the wellknown answer-sets semantics. However, most of these approaches have been based on the causal rejection principle that leads to counter-intuitive behaviour. The proposed approach in this thesis is a semantics for abduction known as generalised answer sets, which allows to choose potential models without changing the semantics of the original given update programs. With generalised answer sets one can actually formulate semantics for updates that consist in choosing between generalised models that satisfy an intended set of properties and overcome certain problems from other approaches. Two of the main properties the update semantics should manifest are Weak Irrelevance of Syntax and Strong Consistency, which are a keystone to overcome the mentioned problems.
Finally, as an important component of logic programming and as a useful tool in the classroom, this work also provides the research community with online solver prototypes that help close the gap between theory and practice. These labs of automatic testbeds make the semantics more accessible and opens up a path with a solid component for further more-complex prototypes in systems of knowledge management.

Nachrichtenalter: 07.12.2009 16:22


Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019