Title :
A practical approach to revising prioritized knowledge bases
Author :
Benferhat, Salem ; Dubois, Didier ; Prade, Henri ; Williams, Mary-Anne
Author_Institution :
IRIT, Toulouse, France
Abstract :
This paper investigates simple syntactic methods to revise prioritized belief bases, that are semantically meaningful in the frameworks of possibility theory and of Spohn´s (1988) ordinal conditional functions. Here, revising prioritized belief bases amounts to conditioning a distribution function on interpretations. Different types of scales for priorities are discussed: finite vs. infinite, numerical vs. ordinal. Syntactic revision is envisaged as a process which transforms prioritized belief bases into a new prioritized belief base, and thus allows for the subsequent iteration
Keywords :
belief maintenance; knowledge based systems; knowledge verification; possibility theory; distribution function; ordinal conditional functions; possibility theory; prioritized belief bases; prioritized knowledge base revision; syntactic methods; Artificial intelligence; Australia; Databases; Distribution functions; Intelligent systems; Knowledge management; Logic; Management information systems; Possibility theory;
Conference_Titel :
Knowledge-Based Intelligent Information Engineering Systems, 1999. Third International Conference
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7803-5578-4
DOI :
10.1109/KES.1999.820146
