On Updates of Epistemic StatesBelief Change under Incomplete InformationIn particular, revising and updating knowledge bases is an important problem in knowledge representation and reasoning.. It has led to various proposals for updating logic programs, specifically with respect to the well known answer-sets semantics.. However, most of these approaches are based on the causal rejection principle, which leads to counter-intuitive behaviour. The proposed approach in this thesis is a semantics for abduction known as generalised answer sets, which allows one 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.. Weak Irrelevance of Syntax and Strong Consistency are two of the main properties an update semantics should manifest, which are a keystone to overcome the mentioned problems. AckowledgementsThe graphic above is keywords from my doctoral dissertation. The size of each word represents its frequency in the document. It was created by using Wordle. |
proposal >