General patterns for nonmonotonic reasoning: from basic entailments to plausible relations

DOI10.1093/JIGPAL/8.2.119MaRDI QIDQ4952020zbMATH OpenOpenAlexFDO

Authors Ofer Arieli, Arnon Avron

Publication date 24 July 2001

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/6197b34a0af3a7e55c6b489ddd5e19455cc62acc

zbMATH Keywords

multiple conclusion consequence relationmultiple-valued semanticsnonmonotonic reasoningparaconsistent reasoningplausible consequence relationpreferential model

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1341457
• scientific article; zbMATH DE number 611091
• Two theories of nonmonotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics

Cited in

(13)

• An empirical test of patterns for nonmonotonic inference
• Constrained consequence
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• A preferential framework for trivialization-resistant reasoning with inconsistent information
• Reasoning with Uncertainty by Nmatrix–Metric Semantics
• Cumulativity without closure of the domain under finite unions
• Reasoning with different levels of uncertainty
• scientific article; zbMATH DE number 1341457 (Why is no real title available?)
• scientific article; zbMATH DE number 1761428 (Why is no real title available?)
• Adaptively applying modus ponens in conditional logics of normality
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• On the decidability of a fragment of preferential LTL
• Reasoning with prioritized information by iterative aggregation of distance functions

This page was built for publication: General patterns for nonmonotonic reasoning: from basic entailments to plausible relations

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