A comparative survey of default logic variants

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning. Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years1. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.

Original languageEnglish
Title of host publicationPractical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
EditorsDov M. Gabbay, Hans Jurgen Ohlbach
PublisherSpringer Verlag
Pages15-28
Number of pages14
ISBN (Print)9783540613138
Publication statusPublished - Jan 1996
Externally publishedYes
EventInternational Conference on Formal and Applied Practical Reasoning - Bonn, Germany
Duration: 3 Jun 19967 Jun 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1085
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Formal and Applied Practical Reasoning
Abbreviated titleFAPR 1996
CountryGermany
CityBonn
Period3/06/967/06/96

Fingerprint

Default Logic
Default Reasoning
Nonmonotonic Reasoning
Incomplete Information
Reasoning
Logic
Model
Form
Relationships
Concepts

Cite this

Antoniou, G. (1996). A comparative survey of default logic variants. In D. M. Gabbay, & H. J. Ohlbach (Eds.), Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings (pp. 15-28). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1085). Springer Verlag.
Antoniou, Grigoris. / A comparative survey of default logic variants. Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. editor / Dov M. Gabbay ; Hans Jurgen Ohlbach. Springer Verlag, 1996. pp. 15-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{db6777b49e0f4ac5a3bcb9dad78c0799,
title = "A comparative survey of default logic variants",
abstract = "This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning. Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years1. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.",
keywords = "Default logic, Nonmonotonic practical reasoning mechanisms",
author = "Grigoris Antoniou",
year = "1996",
month = "1",
language = "English",
isbn = "9783540613138",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "15--28",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans Jurgen}",
booktitle = "Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings",

}

Antoniou, G 1996, A comparative survey of default logic variants. in DM Gabbay & HJ Ohlbach (eds), Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1085, Springer Verlag, pp. 15-28, International Conference on Formal and Applied Practical Reasoning, Bonn, Germany, 3/06/96.

A comparative survey of default logic variants. / Antoniou, Grigoris.

Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. ed. / Dov M. Gabbay; Hans Jurgen Ohlbach. Springer Verlag, 1996. p. 15-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1085).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A comparative survey of default logic variants

AU - Antoniou, Grigoris

PY - 1996/1

Y1 - 1996/1

N2 - This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning. Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years1. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.

AB - This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning. Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years1. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.

KW - Default logic

KW - Nonmonotonic practical reasoning mechanisms

UR - http://www.scopus.com/inward/record.url?scp=84947929498&partnerID=8YFLogxK

UR - https://www.springer.com/gb/book/9783540613138

M3 - Conference contribution

SN - 9783540613138

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 15

EP - 28

BT - Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings

A2 - Gabbay, Dov M.

A2 - Ohlbach, Hans Jurgen

PB - Springer Verlag

ER -

Antoniou G. A comparative survey of default logic variants. In Gabbay DM, Ohlbach HJ, editors, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer Verlag. 1996. p. 15-28. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).