A Logic for Default Reasoning.

Reiter, R. (1980). A Logic for Default Reasoning. Artificial Intelligence, 13(1), 1-2.

Type

Journal article

Intellectual base

Primary research

Year

1980

Volume

13

Issue

1

Pages

1-2

ISSN

0004-3702

DOI

10.1016/0004-3702(80)90014-4

DOI registrant

Elsevier

Link

https://doi.org/10.1016/0004-3702(80)90014-4

Cited from

computer_science

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Frame Problem
  • Non-monotonic logics — default logic, circumscription, autoepistemic logic — were developed precisely to formalize "facts persist unless contradicted,"

    This sourceDefault logic formalizing "facts persist unless contradicted," a non-monotonic closure rule for ramification.

    Supported in partVerified against the work's full text

    Reiter shows default logic can encode the frame default (relations persist unless shown otherwise), but frames it as general default reasoning and does not cover autoepistemic logic.

    “Intuitively this default schema formalizes the so-called 'sTrips assumption' (Waldinger (1975)): Every action (state change) is assumed to leave every relation unaffected unless it is possible to deduce otherwise.”

    Read by an automated reader; not a human review. How support was checked

Domain-specific

• Default logic
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Read against the text for 1 of 2 citations: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:95b126fd35dc · see in the full table