Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

DOI10.1093/logcom/3.5.455zbMath0802.68140OpenAlexW2078859076MaRDI QIDQ4286218

Karl Schlechta

Publication date: 27 March 1994

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

Full work available at URL: https://doi.org/10.1093/logcom/3.5.455

zbMATH Keywords

non-monotonic reasoningdefeasible reasoninginheritance theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets ⋮ Minimal hypotheses: extension-based semantics to argumentation ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Defeasible inheritance on cyclic networks ⋮ SCC-recursiveness: a general schema for argumentation semantics ⋮ A system for computing constrained default logic extensions