On updates of epistemic states: belief chance under incomplete information [Elektronische Ressource] / Juan Carlos Acosta Guadarrama

On Updates of Epistemic StatesBelief Change under Incomplete InformationDoctoral Thesis(Dissertation)to be awarded the degree ofDoctor rerum naturalium (Dr.rer.nat.)submitted byM.Sc. Juan Carlos Acosta Guadarramafrom Toluca, Mexican United Statesapproved bythe Faculty of Mathematics/Computer Science and Mechanical Engineering,Clausthal University of Technology,Date of oral examination18.12.2009Chairperson of the Board of Examiners: Prof. Dr. G. ZachmannChief Reviewer: Prof. Dr. J. DixReviewers: PD. Dr. habil. W. JamrogaProf. Dr. S. HartmannAbstractIn this dissertation I present some aspects of belief-change theory and rep-resentation of knowledge as one of the main theoretical basis to formulatesemantics for updates of logic programs. Firstly, there is an introduction torelevant principles and postulates, like the classical belief-revision formula-tion and a following proposal to make a difference between belief revisionand updates. Next, there is a survey of some few proposals to update logicprograms that are the main motivation for this thesis. Finally, I presenta progressive approach that overrides the problems pointed out in otheralternatives, and that meets most of the principles here introduced.In particular, revising and updating knowledge bases is an important prob-lem in knowledge representation and reasoning. It has led to various propos-als for updating logic programs, specifically with respect to the well knownanswer-sets semantics.