Conditional Logics of Normality as Modal Systems
Abstract
Recently, conditional logics have been developed for ap-plication to problems in default reasoning. We present a uniform framework for the development and investi-gation of conditional logics to represent and reason with “normality”, and demonstrate these logics to be equiv-alent to extensions of the modal system S4. We also show that two conditional logics, recently proposed to reason with default knowledge, are equivalent to frag-ments of two logics developed in this framework.
Cite
Text
Boutilier. "Conditional Logics of Normality as Modal Systems." AAAI Conference on Artificial Intelligence, 1990.Markdown
[Boutilier. "Conditional Logics of Normality as Modal Systems." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/boutilier1990aaai-conditional/)BibTeX
@inproceedings{boutilier1990aaai-conditional,
title = {{Conditional Logics of Normality as Modal Systems}},
author = {Boutilier, Craig},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {594-599},
url = {https://mlanthology.org/aaai/1990/boutilier1990aaai-conditional/}
}