Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Weydert, Emil

dblp



Editor(s):

Nejdl, W.

dblp



BibTeX cite key*:

Weydert93b

Title, Booktitle

Title*:

Default Quantifiers: About Plausible Reasoning in First-Order Contexts

Booktitle*:

Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Aachen, Germany

Language:

English

Event Date*
(no longer used):

?

Organization:


Event Start Date:

16 October 2019

Event End Date:

16 October 2019

Publisher

Name*:

Rheinisch-Westfälische Technische Hochschule Aachen

URL:


Address*:

Aachen, Germany

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

?

Year*:

1993

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

In this paper, we extend first-order logic by a generalized, dyadic default quantifier, which is shown to be required for accurately representing more complex forms of default knowledge. We propose a general qualitative measure semantics and provide a sound and complete proof theory for the resulting monotonic entailment relation. We then present a suitable semantic-based nonmonotonic extension, normality maximization entailment, appropriate for first-order contexts, satisfying a defeasible deduction principle and verifying inference patterns like defeasible modus ponens and defeasible chaining. We discuss some representative examples and compare our proposal to other conditional frameworks.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:



BibTeX Entry:

@INPROCEEDINGS{Weydert93b,
AUTHOR = {Weydert, Emil},
EDITOR = {Nejdl, W.},
TITLE = {Default Quantifiers: {A}bout Plausible Reasoning in First-Order Contexts},
BOOKTITLE = {Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications},
PUBLISHER = {Rheinisch-Westfälische Technische Hochschule Aachen},
YEAR = {1993},
PAGES = {?},
ADDRESS = {Aachen, Germany},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm
Created
01/14/1995 06:53:04 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
03.09.2001 16:49:16
03.09.2001 16:49:05
03.09.2001 16:48:56
21/01/95 20:57:59
18/01/95 19:24:01