Plausible Inference for Default Conditionals

Weydert, Emil

doi:10.1007/BFb0028221

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Plausible Inference for Default Conditionals

MPS-Authors

/persons/resource/persons45737

Weydert, Emil
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

https://rdcu.be/dr7h3
(Publisher version)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Weydert, E. (1993). Plausible Inference for Default Conditionals. In M. Clarke, R. Kruse, & S. Moral (Eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty (pp. 356-363). Berlin: Springer.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0023-C803-7

Abstract

This paper presents a monotonic core logic for default conditionals and \u000Ainvestigates possible nonmonotonic extensions. First, we introduce a possible \u000Aworlds semantics characterizing HRC0, a strong logic for non‐nested normal \u000Aimplication. Next, we formulate several basic regularity postulates for \u000Adefeasible entailment relations extending our monotonic inference relation and \u000Aclaiming to provide an appropriate interpretation of our default conditional. \u000AWe then construct a preferential semantic framework describing a class of \u000Aconsequence relations verifying our standard requirements. In particular, we \u000Adefine and analyze elementary hyperentailment, a new semantic‐based plausible \u000Ainference relation for boolean combinations of facts and defaults.