Authors/Contributors

Feng Yang

Document Type

Report

Date

3-1991

Embargo Period

5-2-2012

Keywords

Logic programming

Language

English

Disciplines

Computer Sciences

Description/Abstract

Based on Fiting's Φ operator a unified framework for three-valued semantics of logic programming is presented. The truth space used in the framework is the class of partial interpretations. Underlying the truth space is two partial orderings, knowledge ordering and truth ordering. It turns out that the truth space with the truth ordering is a complete lattice and the truth space with knowledge ordering is a semi-complete lattice. Φ is proved to be continuous over the complete lattice and monotonic over the semi-complete lattice. With the use of Φ operator two well-known three-valued semantics for logic programming, Fitting's three-valued semantics and well-founded semantics, are characterized within the framework in a simple and elegant way. We show that Fitting's semantics is the least stable three-valued model with respect to the knowledge ordering and well-founded semantics is the least stable three-valued model with respect to the truth ordering.

Additional Information

School of Computer and Information Science, Syracuse University, SU-CIS-91-11

Source

local

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.