Deductive Nonmonotonic Inference Operations: Antitonic Representations

DOI10.1093/LOGCOM/5.1.111zbMATH Open0824.68110arXivcs/0203003OpenAlexW2021277819MaRDI QIDQ4323005FDOQ4323005

Authors: Yuri Kaluzhny, Daniel Lehmann 

Publication date: 27 July 1995

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

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).

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

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

zbMATH Keywords

nonmonotonic inference operations

Mathematics Subject Classification ID

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

Cited In (7)

• Nonmonotonic inference operations
• Title not available (Why is that?)
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Title not available (Why is that?)
• Severe withdrawal (and recovery)
• Title not available (Why is that?)
• 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)