Contextual Default Reasoning
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.
Cite
Text
Brewka et al. "Contextual Default Reasoning." International Joint Conference on Artificial Intelligence, 2007.Markdown
[Brewka et al. "Contextual Default Reasoning." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/brewka2007ijcai-contextual/)BibTeX
@inproceedings{brewka2007ijcai-contextual,
title = {{Contextual Default Reasoning}},
author = {Brewka, Gerhard and Roelofsen, Floris and Serafini, Luciano},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2007},
pages = {268-273},
url = {https://mlanthology.org/ijcai/2007/brewka2007ijcai-contextual/}
}