Authors:
Jindřich Vodrážka
and
Roman Barták
Affiliation:
Charles University in Prague, Czech Republic
Keyword(s):
Search, Branch and Bound, Iterative Deepening, Planning, Control Knowledge, Heuristics, Planning Domain.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Formal Methods
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Knowledge Representation and Reasoning
;
Planning and Scheduling
;
Simulation and Modeling
;
State Space Search
;
Symbolic Systems
Abstract:
The overall performance of classical planner depends heavily on the domain model which can be enhanced by adding control knowledge and heuristics. Both of them are known techniques which can boost the search process in exchange for some computational overhead needed for their repeated evaluation. Our experiments show that the gain from usage of heuristics and control knowledge is evolving throughout the search process and also depends on the type of search algorithm. We demonstrate the idea using the branch-and-bound and iterative deepening search techniques, both implemented in the Picat planning module.