Deductive Nonmonotonic Inference Operations: Antitonic Representations

DOI10.1093/LOGCOM/5.1.111MaRDI QIDQ4323005zbMATH OpenOpenAlexFDO

Authors Yuri Kaluzhny, Daniel Lehmann

Publication date 27 July 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/0203003

zbMATH Keywords

nonmonotonic inference operations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Abstract: We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of additional assumptions S(X) that depends anti-monotonically on X (i.e., X is a subset of Y implies that S(Y) is a subset of S(X)). The operations represented are exactly characterized in terms of properties most of which have been studied in Freund-Lehmann(cs.AI/0202031). Similar characterizations of right-absorbing and cumulative operations are also provided. For cumulative operations, our results fit in closely with those of Freund. We then discuss extending finitary operations to infinitary operations in a canonical way and discuss co-compactness properties. Our results provide a satisfactory notion of pseudo-compactness, generalizing to deductive nonmonotonic operations the notion of compactness for monotonic operations. They also provide an alternative, more elegant and more general, proof of the existence of an infinitary deductive extension for any finitary deductive operation (Theorem 7.9 of Freund-Lehmann).

Recommendations

• scientific article; zbMATH DE number 549979
• Some Results on Classical Preferential Models
• Generalized compactness of nonmonotonic inference operations
• Results on infinite extensions
• scientific article; zbMATH DE number 517026

Cited in

(7)

• Nonmonotonic inference operations
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• scientific article; zbMATH DE number 4179341 (Why is no real title available?)
• scientific article; zbMATH DE number 4103050 (Why is no real title available?)
• Severe withdrawal (and recovery)
• scientific article; zbMATH DE number 1761407 (Why is no real title available?)
• Nonmonotonicity in (the metamathematics of) arithmetic

This page was built for publication: Deductive Nonmonotonic Inference Operations: Antitonic Representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323005)