Stratification for default logic variants

Research output: Contribution to journalArticle

Abstract

Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, "local" way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of default logic which have found increasing recognition in the past years. This paper shows how it can be modified to work for several popular, alternative approaches of default reasoning: justified, constrained and rational default logic. This work defines the formal basis for a Web-based default reasoning system which is under development at our institution.

LanguageEnglish
Pages785-799
Number of pages15
JournalInternational Journal of Intelligent Systems
Volume13
Issue number9
DOIs
Publication statusPublished - 1 Sep 1998
Externally publishedYes

Fingerprint

Default Reasoning
Default Logic
Stratification
Web-based
Alternatives

Cite this

@article{108f1e7bfb394e79b964641dc11f7ef6,
title = "Stratification for default logic variants",
abstract = "Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, {"}local{"} way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of default logic which have found increasing recognition in the past years. This paper shows how it can be modified to work for several popular, alternative approaches of default reasoning: justified, constrained and rational default logic. This work defines the formal basis for a Web-based default reasoning system which is under development at our institution.",
author = "Grigoris Antoniou",
year = "1998",
month = "9",
day = "1",
doi = "10.1002/(SICI)1098-111X(199809)13:9<785::AID-INT1>3.0.CO;2-E",
language = "English",
volume = "13",
pages = "785--799",
journal = "International Journal of Intelligent Systems",
issn = "0884-8173",
publisher = "John Wiley and Sons Ltd",
number = "9",

}

Stratification for default logic variants. / Antoniou, Grigoris.

In: International Journal of Intelligent Systems, Vol. 13, No. 9, 01.09.1998, p. 785-799.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Stratification for default logic variants

AU - Antoniou, Grigoris

PY - 1998/9/1

Y1 - 1998/9/1

N2 - Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, "local" way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of default logic which have found increasing recognition in the past years. This paper shows how it can be modified to work for several popular, alternative approaches of default reasoning: justified, constrained and rational default logic. This work defines the formal basis for a Web-based default reasoning system which is under development at our institution.

AB - Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, "local" way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of default logic which have found increasing recognition in the past years. This paper shows how it can be modified to work for several popular, alternative approaches of default reasoning: justified, constrained and rational default logic. This work defines the formal basis for a Web-based default reasoning system which is under development at our institution.

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

U2 - 10.1002/(SICI)1098-111X(199809)13:9<785::AID-INT1>3.0.CO;2-E

DO - 10.1002/(SICI)1098-111X(199809)13:9<785::AID-INT1>3.0.CO;2-E

M3 - Article

VL - 13

SP - 785

EP - 799

JO - International Journal of Intelligent Systems

T2 - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

SN - 0884-8173

IS - 9

ER -