Another perspective on default reasoning

The lexicographic closure of any given finite setD of normal defaults is defined. A conditional assertiona ❘∼b is in this lexicographic closure if, given the defaultsD and the facta, one would concludeb. The lexicographic closure is essentially a rational extension ofD, and of its rational closure, defined in a previous paper. It provides a logic of normal defaults that is different from the one proposed by R. Reiter and that is rich enough not to require the consideration of non-normal defaults. A large number of examples are provided to show that the lexicographic closure corresponds to the basic intuitions behind Reiter's logic of defaults.

• Publication year

  1995

• Venue

  Annals of Mathematics and Artificial Intelligence

• Publication date

  1995-03-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1007/BF01535841arXiv cs/0203002
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• General patterns in nonmonotonic reasoning

  1994influential reference
• WHAT IS A NONMONOTONIC CONSEQUENCE RELATION?

  1994cited by this paper
• Inconsistency Management and Prioritized Syntax-Based Entailment

  1993cited by this paper
• Belief Revision and Default Reasoning: Syntax-Based Approaches

  1991cited by this paper
• Rationality, Transitivity, and Contraposition

  1991influential reference
• A Maximum Entropy Approach to Nonmonotonic Reasoning

  1990cited by this paper
• Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

  1990cited by this paper
• What does a Conditional Knowledge Base Entail?

  1989cited by this paper
• A Logical Framework for Default Reasoning

  1988influential reference
• Readings in Nonmonotonic Reasoning

  1987cited by this paper
• A Logic for Default Reasoning

  1987influential reference
• SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING

  1980cited by this paper
• Counterfactuals

  1974cited by this paper

• Representation Theorems for Cumulative Propositional Dependence Logics

  2026cites this paper
• Defeasible Conditionals using Answer Set Programming

  2026cites this paper
• Generalized Safe Conditional Syntax Splitting of Belief Bases

  2025cites this paper
• A framework for Conditional Reasoning in Answer Set Programming

  2025cites this paper
• Rational Inference in Formal Concept Analysis

  2025cites this paper
• An Analysis of the Role of Syntax in Inductive Inference

  2025cites this paper
• What killed the cat again? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives with an experimental use of LLM for capturing causality

  2025cites this paper
• Conditionals and Temporal Conditionals for Gradual Argumentation

  2025cites this paper
• The Role of the Judicial Presumption in Criminal Proof According to the Jordanian Code of Criminal Procedure

  2025cites this paper
• Kinematics Principles for Inductive Reasoning from Conditional Belief Bases

  2025cites this paper
• Extending Defeasibility for Propositional Standpoint Logics

  2025cites this paper
• Towards Practicable Defeasible Reasoning for ABoxes

  2025cites this paper
• Reasoning in Defeasible Description Logics with System W and Lexicographic Inference

  2025influential citation
• Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations

  2024cites this paper
• Strongly Analytic Calculi for KLM Logics with SMT-Based Prover

  2024cites this paper
• What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives

  2024cites this paper
• Temporal Many-valued Conditional Logics: a Preliminary Report

  2024cites this paper
• Temporal Many-valued Conditional Logics: an Abridged Report

  2024cites this paper
• Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract)

  2024cites this paper
• The Form and the Content: Non-Monotonic Reasoning with Syntactic Contextual Filtering

  2024cites this paper
• Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance

  2024cites this paper
• Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability

  2024cites this paper
• Towards Propositional KLM-Style Defeasible Standpoint Logics

  2024cites this paper
• Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification

  2024cites this paper
• Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases

  2023cites this paper
• A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

  2023influential citation
• Conditional Syntax Splitting for Non-monotonic Inference Operators

  2023influential citation
• Conditionals, Infeasible Worlds, and Reasoning with System W

  2023influential citation
• Model Transformations for Ranking Functions and Total Preorders

  2022cites this paper
• Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract)

  2022cites this paper
• From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration

  2022cites this paper
• From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract)

  2022cites this paper
• Defeasible Reasoning in RDFS

  2022cites this paper
• Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect

  2022influential citation
• A General Framework for Modelling Conditional Reasoning - Preliminary Report

  2022cites this paper
• Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality

  2022cites this paper
• An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases

  2022cites this paper
• KLM-Style Defeasibility for Restricted First-Order Logic

  2022cites this paper
• Lexicographic Entailment, Syntax Splitting and the Drowning Problem

  2022cites this paper
• Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation

  2022cites this paper
• Inference with System W Satisfies Syntax Splitting

  2022cites this paper
• Situated Conditionals - A Brief Introduction

  2022cites this paper
• A Logical Theory of Causality

  2021cites this paper
• A reconstruction of multipreference closure

  2021influential citation
• Conditional Inference under Disjunctive Rationality

  2021influential citation
• Contextual Conditional Reasoning

  2021influential citation
• From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back

  2021cites this paper
• From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics

  2021cites this paper
• Automated non-monotonic reasoning in System P

  2021cites this paper
• A conditional, a fuzzy and a probabilistic interpretation of self-organising maps

  2021cites this paper
• A Rational Entailment for Expressive Description Logics via Description Logic Programs

  2021cites this paper
• From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview

  2021cites this paper
• Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach

  2021influential citation
• Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview

  2021cites this paper
• Explanation for KLM-Style Defeasible Reasoning

  2021cites this paper
• An Application to Default Logic

  2021cites this paper
• A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview

  2021cites this paper
• Situated Conditional Reasoning

  2021cites this paper
• Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract)

  2021cites this paper
• On the KLM properties of a fuzzy DL with Typicality

  2021cites this paper
• Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)

  2021cites this paper
• Reasoning about Typicality and Probabilities in Preferential Description Logics

  2020influential citation
• Compact Representation of Preferences

  2020cites this paper
• A Preferential DL Approach to Model the Non bis in idem Principle for the Legal Domain

  2020cites this paper
• Defeasibility applied to Forrester's paradox

  2020cites this paper
• Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible Reasoning Correspond with Human Reasoning

  2020cites this paper
• Artificial Intelligence Research: First Southern African Conference for AI Research, SACAIR 2020, Muldersdrift, South Africa, February 22-26, 2021, Proceedings

  2020cites this paper
• Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases

  2020cites this paper
• Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

  2020cites this paper
• Defeasible RDFS via Rational Closure

  2020cites this paper
• Algorithmic definitions for KLM-style defeasible disjunctive Datalog

  2020influential citation
• A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report)

  2020influential citation
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

  2020cites this paper
• Defeasible reasoning in Description Logics: an overview on DLN

  2020cites this paper
• A Boolean Extension of KLM-Style Conditional Reasoning

  2020cites this paper
• Towards Conditional Inference under Disjunctive Rationality

  2020influential citation
• Principles of KLM-style Defeasible Description Logics

  2020influential citation
• Argumentation and Inconsistency-Tolerant Reasoning

  2020cites this paper
• DDLV: A System for rational preferential reasoning for datalog

  2020cites this paper
• Summary of main contributions to the field and some general perspectives on future research

  2019cites this paper
• Defeasible disjunctive datalog

  2019influential citation
• Rational preferential reasoning for datalog

  2019cites this paper
• Taking Defeasible Entailment Beyond Rational Closure

  2019cites this paper
• On the Antecedent Normal Form of Conditional Knowledge Bases

  2019cites this paper
• Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics

  2019cites this paper
• Typicalities and probabilities of exceptions in nonmotonic Description Logics

  2019cites this paper
• A KLM Perspective on Defeasible Reasoning for Description Logics

  2019cites this paper
• Strengthening the Rational Closure for Description Logics: An Overview

  2019influential citation
• Elementary Iterated Revision and the Levi Identity

  2019cites this paper
• Contextual rational closure for defeasible AℒC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {ALC}$\end{docum

  2019influential citation
• Theoretical Foundations of Defeasible Description Logics

  2019cites this paper
• Simple Conditionals with Constrained Right Weakening

  2019cites this paper
• A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework

  2018cites this paper
• Reasoning about multiple aspects in DLs: Semantics and Closure Construction

  2018influential citation
• Preferential Default Reasoning on the Semantic Web

  2018cites this paper
• A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics

  2018influential citation
• Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond

  2018influential citation
• Rationality and Context in Defeasible Subsumption

  2018cites this paper
• Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure

  2018influential citation
• Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure

  2018influential citation