---
title: "Soundness and Completeness Theorems for Three Formalizations of Action"
authors:
  - "G. Neelakantan Kartha"
doi: ""
url: "https://ijcai.org/proceedings/1993/102"
pdf: "https://ijcai.org/proceedings/1993/0102.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "724-730"
track: "Knowledge Representation"
keywords:
---

# Soundness and Completeness Theorems for Three Formalizations of Action

G. Neelakantan Kartha

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 724-730.

## Abstract

Instead of trying to compare methodologies for reasoning about action on the basis of specific examples, we focus here on a general class of problems, expressible in a declarative language A . We propose three translations, P, R and B from A , representing respectively the first order methods of reasoning about action proposed by Pednault and Reiter and the circumscriptive approach of Baker. We then prove the soundness and completeness of these translations relati ve to the semantics of A . This lets us compare these three methods in a mathematically precise fashion . Moreover, we apply the methods of Baker in a general setting and prove a t h eo rem which shows that if the domain of interest can be expressed in A, circumscription yields results which are intuitively expected .