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
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;
Conference_Titel :
Expert Systems for Development, 1994., Proceedings of International Conference on
Conference_Location :
Bangkok
Print_ISBN :
0-8186-5780-4
DOI :
10.1109/ICESD.1994.302284
