Logic programming and knowledge representation—The A-Prolog perspective

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 a...

Full description

Saved in:
Bibliographic Details
Published in:Artificial intelligence Vol. 138; no. 1; pp. 3 - 38
Main Authors: Gelfond, Michael, Leone, Nicola
Format: Journal Article
Language:English
Published: Elsevier B.V 01.06.2002
Subjects:
Answer set programming
Artificial intelligence
Default reasoning
Knowledge representation
Logic programming
Nonmonotonic reasoning
Default reasoning
Logic programming
Nonmonotonic reasoning
Answer set programming
ISSN:0004-3702, 1872-7921
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:0004-3702
1872-7921
DOI:10.1016/S0004-3702(02)00207-2