Logic Programming and Knowledge Representation

Chitta Baral and Michael Gelfond

Abstract

In this paper, we review recent work aimed at the application of logic programming to knowledge representation in artificial intelligence. We consider various extensions of ``pure Prolog'' (definite logic programs) and show how each of the added features extends the representational power of the language. The extensions we consider are: general logic programs, extended logic programs, disjunctive logic programs, epistemic logic programs, abductive logic programs, meta logic programs and logic programs with open domain assumption. We investigate the methodology of using these languages for representing various forms of nonmonotonic reasoning and for describing knowledge in specific domains.