Classes of Logic Programs which Possess Unique Supported Models.

TitleClasses of Logic Programs which Possess Unique Supported Models.
Publication TypeConference Paper
Year of Publication2000
AuthorsAnthony K. Seda, Pascal Hitzler
Conference NameClasses of Logic Programs which Possess Unique Supported Models.
Abstract

Logic programming is concerned with the use of logic as a programming language. The main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10]. The reference [1] contains a good survey of the growth of logic programming over the last twenty-five years both as a stand-alone programming language and as a software component of large information systems. One advantage a logic program P has over conventional imperative and object oriented programs is that it has a natural machine-independent meaning, namely, its logical meaning. This is often referred to as its declarative semantics, and is usually taken to be some 'standard' model canonically associated with P. Unfortunately, it is often the case that there are many possible choices for the standard model, some even taken in many-valued logic, which do not in general coincide and all of which have a claim to be 'the natural choice' depending on one's view of non-monotonic reasoning [6, 7, 11].

Full Text

Anthony K. Seda and Pascal Hitzler, 'Classes of Logic Programs which Possess Unique Supported Models,' First International Conference on Information INFORMATION'2000), Fukuoka, Japan, October, 2000, pp. 100-101.
pages: 100-101
year: 2000
venue name: First International Conference on Information (INFORMATION'2000
hasURL: http://knoesis.wright.edu/pascal/resources/publications/pdf/info00a2.pdf