Linear temporal logic as an executable semantics for planning languages

Authors:
Marta Cialdea Mayer;Carla Limongelli;Andrea Orlandini;Valentina Poggioni
Affiliations:
Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma, Italy I-00146;Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma, Italy I-00146;Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma, Italy I-00146;Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma, Italy I-00146
Venue:
Journal of Logic, Language and Information
Year:
2007

Citing 0
Cited 8

LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education

AH '08 Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences

WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
Agent programming with temporally extended goals

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Virtual Cultural Tour Personalization by Means of an Adaptive E-Learning System: A Case Study

WSKS '09 Proceedings of the 2nd World Summit on the Knowledge Society: Visioning and Engineering the Knowledge Society. A Web Science Perspective
GOAL as a planning formalism

MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
The Lecomps5 framework for personalized web-based learning: A teacher's satisfaction perspective

Computers in Human Behavior
Experimental evaluation of pheromone models in ACOPlan

Annals of Mathematics and Artificial Intelligence
PMING Distance: A Collaborative Semantic Proximity Measure

WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced to "executing" the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method.