A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
In first-order logic, a theory T 1 is considered stronger than another theory T 2 if every formula derived from T 2 is also derived from T 1 . Such an order relation is useful to know relative value between different theories. In the context of default logic, a theory contains default information as well as definite information. To order default theories, it is necessary to assess the information content of a default theory. To this end, we introduce a multi-valued interpretation of defaultdblp:conf/ijcai/Sakama03 fatcat:wuauurtbaneqnp6otfvq2cimce