Nonmonotonic Reasoning and Multiple Belief Revision

Zhang, Dongmo; Chen, Shifu; Zhu, Wujia; Li, Hongbing

Nonmonotonic Reasoning and Multiple Belief Revision

Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 95-100.

Abstract

Th e aim of the present pap er is to reveal the interrelation between general patt erns of nonmonotonic reasoning and multiple belief revision. For this purpose we define a nonmonotonic inference fr ame in which individual infe rence ru les have been proposed in the lit era tur e but their combinat ion as a system has not been invest igat ed. It is shown that such a system is so strong that almost a ll th e rul es (including the supracompactness) suggested for nonmonotonic inference relations in the lit erature hold in it. We prove that this nonmonotonic inference frame is strictly co rr espe nd e nt with multiple be li ef revision operation. On the basis of this result we analyse a specific paradigm of defult theory which satisfies all the rul es und er consideration and discuss limitations of met hods based on consequence relations for the study of nonmonotonic reasoning.

Dongmo Zhang, Shifu Chen, Wujia Zhu, and Hongbing Li. 1997. Nonmonotonic Reasoning and Multiple Belief Revision. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 95–100. https://ijcai.org/proceedings/1997/15

@inproceedings{ijcai1997p15,
  title     = {Nonmonotonic Reasoning and Multiple Belief Revision},
  author    = {Zhang, Dongmo and Chen, Shifu and Zhu, Wujia and Li, Hongbing},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {95--100},
  year      = {1997},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1997/15},
}

TY  - CPAPER
TI  - Nonmonotonic Reasoning and Multiple Belief Revision
AU  - Zhang, Dongmo
AU  - Chen, Shifu
AU  - Zhu, Wujia
AU  - Li, Hongbing
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 95
EP  - 100
UR  - https://ijcai.org/proceedings/1997/15
ER  -