Representability in Default Logic

Logic Journal of the IGPL 13 (3):335-351 (2005)
  Copy   BIBTEX

Abstract

A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities. These characterizations imply some non-translatability results between semantics

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzi028

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
Issues in Knowledge Representation: Semantics and Knowledge Combination.Chitta Ranjan Baral - 1991 - Dissertation, University of Maryland, College Park
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning.Toshiko Wakaki - 2024 - Argument and Computation 15 (3):309-353.
A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
A logic of defeasible argumentation: Constructing arguments in justification logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-47.
Temporalizing epistemic default logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
Deontic Modals: Why Abandon the Classical Semantics?John Horty - 2014 - Pacific Philosophical Quarterly 95 (4):424-460.
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions.Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva & Lluís Godo - 2022 - Studia Logica 110 (4):1081-1114.

Analytics

Added to PP
2015-02-04

Downloads
14 (#1,275,508)

6 months
11 (#343,210)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.

Add more citations

References found in this work

No references found.

Add more references