Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations

DOI10.1093/logcom/7.5.605zbMath0937.03036OpenAlexW2001140847MaRDI QIDQ4365321

Hassan Bezzazi, David Makinson, Ramón Pino Pérez

Publication date: 4 November 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/874b5c9671abda2f4def50bf118f22d17b1a913b

zbMATH Keywords

nonmonotonic reasoningnon-Horn rulespreferential inferenceranked preferential model

Mathematics Subject Classification ID

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

Related Items (18)

Similarity between preferential models ⋮ Valuation structure ⋮ Normal conditions for inference relations and injective models ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Boolean algebras of conditionals, probability and logic ⋮ Bipolarity in bilattice logics ⋮ The quantitative/qualitative watershed for rules of uncertain inference ⋮ Probabilistic Approach to Nonmonotonic Consequence Relations ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ A characterization theorem for injective model classes axiomatized by general rules ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ Some contributions to nonmonotonic consequence ⋮ SIZE AND LOGIC ⋮ Lossy Inference Rules and Their Bounds: A Brief Review ⋮ New techniques and completeness results for preferential structures ⋮ Applications of Logics About Simple Probabilities

This page was built for publication: Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations