The Nature of Knowledge in an Abductive Event Calculus Planner

Leliane Nunes De Barros, Paulo E. Santos

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

Abstract

There are several works whose goal is to specify complete and sound planning systems based on general purpose theorem provers. Some planners implemented in this way can have a close correspondence with existing partialordered planning algorithms. To improve the efficiency of logic-based planners we would like to use some of the results achieved by the AI planning community over the past twenty years in terms of algorithm design. We claim that a knowledge level analysis of problem-solving methods for planning, can help to identify what is the role of each piece of knowledge in a system and provide a common language to map, classify and compare different systems. In this paper we analyze an abductive event calculus planner using a library of problemsolving methods for planning.

Original languageEnglish
Title of host publicationKnowledge Engineering and Knowledge Management Methods, Models, and Tools
Subtitle of host publication12th International Conference, EKAW 2000 Juan-les-Pins, France, October 2–6, 2000 Proceedings
EditorsRose Dieng, Olivier Corby
PublisherSpringer-Verlag
Pages328-343
Number of pages16
ISBN (Electronic)978-3-540-39967-4
ISBN (Print)978-3-540-41119-2
DOIs
Publication statusPublished - 1 Jan 2000
Externally publishedYes
Event12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000 - Juan-les-Pins, France
Duration: 2 Oct 20006 Oct 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1937
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000
CountryFrance
CityJuan-les-Pins
Period2/10/006/10/00

Fingerprint Dive into the research topics of 'The Nature of Knowledge in an Abductive Event Calculus Planner'. Together they form a unique fingerprint.

Cite this