Default extensions: Dealing with computer information

Artificial Intelligence

Volumn 92, Issue 1-2, 1997, Pages 277-288

  Freund, M ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

Default extension; Knowledge bases; Rationality

Indexed keywords

ARTIFICIAL INTELLIGENCE; PROBLEM SOLVING;

DEFAULT EXTENSION; RATIONAL CLOSURE;

INFERENCE ENGINES;

EID: 0031146432     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00003-9     Document Type: Article

References (10)

1. S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade, Inconsistency management and prioritized syntax-based entailment systems (submitted).
2. M. Freund, Injective models and disjunctive relations, J. Logic Comput. 3 (1993) 231-247.
3. M. Freund, The W-system: between maximum entropy and minimal ranking, J. Appl. Non-Classical Logics 4 (1994) 78-90.
4. H. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artif. Intell. 53 (1992) 209-244.
5. M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to nonmonotonic reasoning, in: Proceedings AAAI-90, Boston, MA (1990) 646-652.
6. +: a formalism for reasoning with variable strength defaults, in: Proceedings AAAI-91, Anaheim, CA (1991) 309-404.
7. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell. 44 (1990) 167-207.
8. D. Lehmann, Another perspective for default reasoning (to appear).
9. D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artif. Intell. 55 (1992) 1-60.
10. J. Pearl, System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning, in: Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 121-135.