DocumentCode
1939432
Title
Relationship between Gardenfors-Makinson´s epistemic entrenchment and Katsuno-Mendelzon´s faithful total preorders
Author
Aravindan, Chandrabose ; Dung, Phan Minh
Author_Institution
Comput. Sci. Program, Asian Inst. of Technol., Bangkok, Thailand
fYear
1994
fDate
28-31 Mar 1994
Firstpage
182
Lastpage
186
Abstract
We study the relationship between two different characterizations of belief revision, namely, the epistemic entrenchment order of Gardenfors and Makinson (1989) and faithful total pre-order of Katsuno and Mendelzon (1991). In particular, we provide a theorem defining the constructive relationship between these two orders
Keywords
belief maintenance; inference mechanisms; knowledge engineering; belief revision; constructive relationship; epistemic entrenchment; faithful total preorders; theorem; Application specific processors; Computer science;
fLanguage
English
Publisher
ieee
Conference_Titel
Expert Systems for Development, 1994., Proceedings of International Conference on
Conference_Location
Bangkok
Print_ISBN
0-8186-5780-4
Type
conf
DOI
10.1109/ICESD.1994.302284
Filename
302284
Link To Document