• 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