Contextual Default Reasoning

Contextual Default Reasoning. Brewka, G., Roelofsen, F., & Serafini, L. In International Joint Conference on Artificial Intelligence (IJCAI 07), pages 268–273, 2007.

Paper abstract bibtex

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.

@inproceedings{Brewka:2007,
	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.},
	author = {Brewka, Gerhard and Roelofsen, Floris and Serafini, Luciano},
	booktitle = {International Joint Conference on Artificial Intelligence (IJCAI 07)},
	date-added = {2019-05-08 19:52:57 +0200},
	date-modified = {2019-05-08 19:56:09 +0200},
	keywords = {artificial intelligence,logic},
	pages = {268--273},
	title = {Contextual Default Reasoning},
	url = {https://www.aaai.org/Papers/IJCAI/2007/IJCAI07-041.pdf},
	year = {2007},
	Bdsk-Url-1 = {https://www.aaai.org/Papers/IJCAI/2007/IJCAI07-041.pdf}}

Downloads: 0