Logic programming and knowledge representation - The A-Prolog perspective

被引：97

作者：

Gelfond, M ^{[1
]}

Leone, N

机构：

[1] Texas Tech Univ, Dept Comp Sci, Lubbock, TX 79409 USA

[2] Univ Calabria, Dept Math, I-87030 Arcavacata Di Rende, CS, Italy

来源：

ARTIFICIAL INTELLIGENCE | 2002年 / 138卷 / 1-2期

基金：

美国国家航空航天局;

关键词：

logic programming; nonmonotonic reasoning; default reasoning; answer set programming;

D O I：

10.1016/S0004-3702(02)00207-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：3 / 38

页数：36

共 127 条

[1] LUPS - A language for updating logic programs [J].

Alferes, JJ ;

Pereira, LM ;

Przymusinska, H ;

Przymusinski, TC .

ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) :87-116

[2]

ALFERES JJ, 1996, REASONING LOGIC PROG

[3]

[Anonymous], NONMONOTONIC LOGIC

[4]

[Anonymous], 1997, Logic for Applications

[5]

[Anonymous], J METHODS LOGIC COMP

[6]

[Anonymous], 1998, Handbook of Logic in Artificial Intelligence and Logic Programming: Logic programming

[7]

[Anonymous], P NAT C ART INT AAAI

[8]

[Anonymous], 1978, LOGIC DATA BASES

[9]

[Anonymous], 1992, FDN DISJUNCTIVE LOGI

[10]

[Anonymous], 1997, Nonmonotonic Reasoning: An Overview

← 1 2 3 4 5 6 7 8 9 10 →