Contextual Default Reasoning

Brewka, Gerhard; Roelofsen, Floris; Serafini, Luciano

Contextual Default Reasoning

Gerhard Brewka, Floris Roelofsen, Luciano Serafini

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 268-272.

Abstract

In this paper we introduce a multi-context variant of Reiter's default logic. The logic provides a syntactical counterpart of Roelofsen and Serafini's information chain approach (IJCAI-05), yet has several advantages: it is closer to standard ways of representing nonmonotonic inference and a number of results from that area come for free; it is closer to implementation, in particular the restriction to logic programming gives us a computationally attractive framework; and it allows us to handle a problem with the information chain approach related to skeptical reasoning.

Gerhard Brewka, Floris Roelofsen, and Luciano Serafini. 2007. Contextual Default Reasoning. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 268–272. https://ijcai.org/proceedings/2007/41

@inproceedings{ijcai2007p41,
  title     = {Contextual Default Reasoning},
  author    = {Brewka, Gerhard and Roelofsen, Floris and Serafini, Luciano},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {268--272},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/41},
}

TY  - CPAPER
TI  - Contextual Default Reasoning
AU  - Brewka, Gerhard
AU  - Roelofsen, Floris
AU  - Serafini, Luciano
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 268
EP  - 272
UR  - https://ijcai.org/proceedings/2007/41
ER  -