Contexts for Nonmonotonic RMSes

Euzenat, Jérôme

Contexts for Nonmonotonic RMSes

Download BibTeX Cite

Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 300-304.

Abstract

A new kind of RMS, based on a close merge of TMS and ATMS, is proposed. It uses the TMS graph and interpretation and the ATMS multiple context labelling procedure. In order to ftll in the problems of the ATMS environments in presence of nonmonotonic inferences, a new kind of environment, able to take into account hypotheses that do not hold, is defined. These environments can inherit formulas that hold as in the ATMS context lattice. The dependency graph can be interpreted with regard to these environments; so every node can be labelled. Furthermore, this leads to consider several possible interpretations of a query.

Jérôme Euzenat. 1991. Contexts for Nonmonotonic RMSes. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 300–304. https://ijcai.org/proceedings/1991/45

@inproceedings{ijcai1991p45,
  title     = {Contexts for Nonmonotonic RMSes},
  author    = {Euzenat, Jérôme},
  booktitle = {Proceedings of the Twelfth International Joint Conference on
               Artificial Intelligence, {IJCAI-91}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John Mylopoulos and Ray Reiter},
  pages     = {300--304},
  year      = {1991},
  month     = {8},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1991/45},
}

TY  - CPAPER
TI  - Contexts for Nonmonotonic RMSes
AU  - Euzenat, Jérôme
T2  - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1991
SP  - 300
EP  - 304
UR  - https://ijcai.org/proceedings/1991/45
ER  -