Characterizations of Classes of Programs by Three-valued Operators

TitleCharacterizations of Classes of Programs by Three-valued Operators
Publication TypeConference Paper
Year of Publication1999
AuthorsAnthony K. Seda, Pascal Hitzler
Conference NameCharacterizations of Classes of Programs by Three-valued Operators
Abstract

Several important classes of normal logic programs, including the classes of acyclic, acceptable, and locally hierarchical programs, have the property that every program in the class has a unique twovalued supported model. In this paper, we call such classes unique supported model classes. We analyse and characterize these classes by means of operators on three-valued logics. Our studies will motivate the definition of a larger unique supported model class which we call the class of Phi-accessible programs. Finally, we show that the class of Phi -accessible programs is computationally adequate in that every partial recursive function can be implemented by such a program.

Full Text

Anthony K. Seda and Pascal Hitzler, 'Characterizations of Classes of Programs by Three-valued Operators', 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99), El Paso, Texas, USA, December 1999, pp. 357-371.
pages: 357-371
year: 1999
venue name: 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99)
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/pdf/lpnm...