Premium
Stratification for default logic variants
Author(s) -
Antoniou Grigoris
Publication year - 1998
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/(sici)1098-111x(199809)13:9<785::aid-int1>3.0.co;2-e
Subject(s) - computer science , default logic , artificial intelligence , natural language processing , autoepistemic logic , description logic , multimodal logic
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. © 1998 John Wiley & Sons, Inc.