𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic programming and knowledge representation—The A-Prolog perspective

✍ Scribed by Michael Gelfond; Nicola Leone

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
262 KB
Volume
138
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer set semantics. For understanding of approaches to logic programming built on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications.

📜 SIMILAR VOLUMES

A knowledge representation perspective:
A knowledge representation perspective: Logics for paraconsistent reasoning
✍ Philippe Besnard; Els Laenens 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 912 KB

Paraconsistent logics are examined as an approach to knowledge representation devoted to the formalization of reasoning in the presence of contradictions. The adequacy of paraconsistent logics in such a perspective is described both on a general level and on a more specific level: discussion involve

The evolutionary perspective of knowledg
The evolutionary perspective of knowledge creation – A mathematical representation
✍ Jih-Jeng Huang 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 439 KB

Since knowledge and its strategic applications have now become a major source of competitive advantage for organizations, the lifeblood of organizations is to possess the capabilities for acquiring, creating, sharing, diffusing, utilizing, and storing knowledge among organizational members. Among th

On the equivalence and range of applicab
On the equivalence and range of applicability of graph-based representations of logic programs
✍ Stefania Costantini; Ottavio D'Antona; Alessandro Provetti 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 97 KB

Logic programs under Answer Sets semantics can be studied, and actual computation can be carried out, by means of representing them by directed graphs. Several reductions of logic programs to directed graphs are now available. We compare our proposed representation, called Extended Dependency Graph,