Answer set programming and plan generation

Lifschitz, V

doi:10.1016/S0004-3702(02)00186-8

2002-06-01

260

Lifschitz, V

DOI：10.1016/S0004-3702(02)00186-8

原文链接

查看原文

摘要

En 中文

The idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the line of research on the frame problem that started with the invention of formal nonmonotonic reasoning in 1980. (C) 2002 Elsevier Science B.V. All rights reserved.

Keyword:

answer sets

default logic

frame problem

logic programming

planning

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Artificial Intelligence Review

IF:

13.9

论文数:

6.1K

被引数:

1.9W

机构

暂无机构信息

引用论文

IF0

PREAI

Longitudinal Cognitive Decline in Subcortical Ischemic Vascular Disease – The LADIS Study

Cerebrovascular Diseases

IF0

2009-03-10

PREAI

Hanna Jokinen; Hely Kalska; Raija Ylikoski; Sofia Madureira; Ana Verdelho; Wiesje M. van der Flier; Philip Scheltens; Frederik Barkhof; Marieke C. Visser; Franz Fazekas; Reinhold Schmidt; John O’Brien; Gunhild Waldemar; Anders Wallin; Hugues Chabriat; Leonardo Pantoni; Domenico Inzitari; Timo Erkinjuntti

Extending and implementing the stable model semantics

artificial intelligence review

IF4.6

2002-06-01

456

OAAI

Simons, P; Niemelä, I; Soininen, T

NONMONOTONIC LOGIC AND TEMPORAL PROJECTION

artificial intelligence review

IF4.6

1987-11-01

181