The BLM semantics may be inconsistent

Document Type

Conference Proceeding

Publication Date

4-8-1992

Abstract

A declarative semantics for logic programs must guarantee logical consistency. In this short note, we point out that the fixed-point semantics by Baral et al. (the BLM semantics) [1] for disjunctive programs may give rise to an inconsistent state. We show that the source of the inconsistency problem is that the BLM-semantics does not use the information in the derived rules. A refined semantics which avoids the inconsistency problem using the notion of derived rules will be presented in a separate paper.

Publication Source (Journal or Book title)

Proceedings of the 30th Annual Southeast Regional Conference, ACM-SE 1992

First Page

425

Last Page

428

This document is currently not available here.

Share

COinS