Allowed Arguments
Abstract
Starting with a first-order modal conditional logic which allows unlimited nesting of defaults and embeddings into any context analyzable in possibleworlds theory I introduce two simple notions of default reasoning the syntactic notion of (prioritized) Allowed Consequence and the semantic notion of (prioritized) Allowed Entailment I prove that the one is sound and complete relative to the other.
Cite
Text
Morreau. "Allowed Arguments." International Joint Conference on Artificial Intelligence, 1995.Markdown
[Morreau. "Allowed Arguments." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/morreau1995ijcai-allowed/)BibTeX
@inproceedings{morreau1995ijcai-allowed,
title = {{Allowed Arguments}},
author = {Morreau, Michael},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {1466-1473},
url = {https://mlanthology.org/ijcai/1995/morreau1995ijcai-allowed/}
}