English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Plausible Inference for Default Conditionals

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.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C803-7 Version Permalink: https://hdl.handle.net/21.11116/0000-000D-FAFC-E
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
https://rdcu.be/dr7h3 (Publisher version)
Description:
-
OA-Status:
Not specified

Creators

show
hide
 Creators:
Weydert, Emil1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 1993
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Weydert93a
DOI: 10.1007/BFb0028221
 Degree: -

Event

show
hide
Title: European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Place of Event: Granada, Spain
Start-/End Date: 1993-11-08 - 1993-11-10

Legal Case

show

Project information

show

Source 1

show
hide
Title: Symbolic and Quantitative Approaches to Reasoning and Uncertainty
  Subtitle : European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings
  Abbreviation : ECSQARU 1993
Source Genre: Proceedings
 Creator(s):
Clarke, M.1, Editor
Kruse, R.1, Editor
Moral, S.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 356 - 363 Identifier: -

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 747 Sequence Number: - Start / End Page: - Identifier: -