Title :
Iterated belief update based on ordinal conditional functions
Author :
Kudo, Yasuo ; Murai, Tetsuya ; Da-te, Tsutoinu
Author_Institution :
Div. of Syst. & Inf. Eng., Hokkaido Univ., Sapporo, Japan
Abstract :
Proposes a faithful assignment function to construct W. Spohn´s (1988) ordinal conditional functions (OCFs) that reflect ordinals in the current epistemic state represented by an OCF as long as possible. We also propose a composition schema for OCFs that construct a new OCF which satisfies postulates for updating and erasure in the AGM (Alchourron, Gärdenfors & Makinson, 1985) paradigm. The faithful assignments for OCFs and the composition provide useful devices to represent iterated belief updates
Keywords :
belief maintenance; functions; iterative methods; AGM paradigm; belief erasure; composition schema; epistemic state; faithful assignment function; iterated belief updating; ordinal conditional functions; Australia; Intelligent systems; Logic devices; Systems engineering and 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.820239
