Preserving Consistency Across Abstraction Mappings

Tenenberg, Josh D.

Preserving Consistency Across Abstraction Mappings

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Reasoning. Pages 1011-1013.

Abstract

An abstraction mapping over clausal form theories in first-order predicate calculus is presented that involves the renaming of predicate symbols. This renaming is not 1-1, in the sense that several predicate symbols R1 ,... , Rn from the original theory are all replaced by a single symbol R' in the abstract theory. In order to preserve consistency, however, the clauses that distinguish the Ri'S must be discarded in the abstract theory. This leads to a simple semantics; the union of the extensions of each of the Ri'S in any model of the original theory forms the extension ofR' in a model of the abstract theory.

Josh D. Tenenberg. 1987. Preserving Consistency Across Abstraction Mappings. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 1011–1013. https://ijcai.org/proceedings/1987/208

@inproceedings{ijcai1987p208,
  title     = {Preserving Consistency Across Abstraction Mappings},
  author    = {Tenenberg, Josh D.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {1011--1013},
  year      = {1987},
  note      = {Reasoning},
  url       = {https://ijcai.org/proceedings/1987/208},
}

TY  - CPAPER
TI  - Preserving Consistency Across Abstraction Mappings
AU  - Tenenberg, Josh D.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 1011
EP  - 1013
UR  - https://ijcai.org/proceedings/1987/208
ER  -