A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Preferential Reasoning for Modal Logics
2011
Electronical Notes in Theoretical Computer Science
Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed by Lehmann and colleagues would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in modal
doi:10.1016/j.entcs.2011.10.006
fatcat:4bhmdz76ufa7rh7dho3zlpm3uq