A new approach to preferential structures

• Autorzy: Schlechta K. , Gourmelen L. , Motré S. , Rolland O. , Tahar B.
• Języki publikacji: EN

Abstrakty

EN

This paper deals with some fundamental concepts and questions of preferential structures. Traditionally, a model for preferential reasoning is a strict partial order on the set of classical models of the language; in this article it will be a total order on the classical models. Instead of representing non-monotonic inference relations by individual partial orders, we represent them by sets of total orders. We thus stay close to the way completeness proofs are done in classical logic. Our new approach will also justify multiple copies (or labelling functions) present in most work on preferential structures. A representation result for the finite case is proven; for the infinite case it remains an open question.

Słowa kluczowe

EN

preferential structure

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 42, nr 3,4
• Strony: 391--410
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Schlechta K.

autor

Gourmelen L.

autor

Motré S.

autor

Rolland O.

autor

Tahar B.

• Laboratoire d'Informatique de Marseille, CMI, Technopole de Chateau-Gombert, F- 13453 Marseille Cedex 13, France,