UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Action Languages, Answer Sets and Planning (1999)
Vladimir Lifschitz
This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. We talk about recent work on action languages and translating them into logic programming, on representing possible histories of an action domain by answer sets, on efficient implementations of the answer set semantics and their use for generating plans, and on causal logic and its relation to planning algorithms. Recent progress in these areas may lead to the creation of planners which are based on the ideas of logic programming and combine the use of expressive action description languages with efficient computational procedures.
View:
PS
Citation:
In
The Logic Programming Paradigm: a 25-Year Perspective
, pp. 357-373 1999. Springer Verlag.
Bibtex:
@INCOLLECTION{lif99, title={Action Languages, Answer Sets and Planning}, author={Vladimir Lifschitz}, booktitle={The Logic Programming Paradigm: a 25-Year Perspective}, publisher={Springer Verlag}, pages={357-373}, url="http://www.cs.utexas.edu/users/ai-lab?lif99", year={1999} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Action Languages
Answer Set Programming
Automated Reasoning
Nonmonotonic Reasoning
Planning
Reasoning about Actions