---
title: "Preserving Consistency Across Abstraction Mappings"
authors:
  - "Josh D. Tenenberg"
doi: ""
url: "https://ijcai.org/proceedings/1987/208"
pdf: "https://ijcai.org/proceedings/1987/0208.pdf"
venue: "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"
year: 1987
pages: "1011-1013"
track: "Reasoning"
keywords:
---

# Preserving Consistency Across Abstraction Mappings

Josh D. Tenenberg

*Proceedings of the Tenth International Joint Conference on Artificial Intelligence*, 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.