Learning complex action models with quantifiers and logical implications

doi:10.1016/j.artint.2010.09.007

Learning complex action models with quantifiers and logical implications

2010-12-01

61

PRE

AI

H

Hankz Hankui Zhuo

Qiang Yang (Qiang Yang) *

L

Lei Li

DOI：10.1016/j.artint.2010.09.007

原文链接

原文求助

摘要

En 中文

Automated planning requires action models described using languages such as the Planning Domain Definition Language (PDDL) as input, but building action models from scratch is a very difficult and time-consuming task, even for experts. This is because it is difficult to formally describe all conditions and changes, reflected in the preconditions and effects of action models. In the past, there have been algorithms that can automatically learn simple action models from plan traces. However, there are many cases in the real world where we need more complicated expressions based on universal and existential quantifiers, as well as logical implications in action models to precisely describe the underlying mechanisms of the actions. Such complex action models cannot be learned using many previous algorithms. In this article, we present a novel algorithm called LAMP (Learning Action Models from Plan traces), to learn action models with quantifiers and logical implications from a set of observed plan traces with only partially observed intermediate state information. The LAMP algorithm generates candidate formulas that are passed to a Markov Logic Network (MLN) for selecting the most likely subsets of candidate formulas. The selected subset of formulas is then transformed into learned action models, which can then be tweaked by domain experts to arrive at the final models. We evaluate our approach in four planning domains to demonstrate that LAMP is effective in learning complex action models. We also analyze the human effort saved by using LAMP in helping to create action models through a user study. Finally, we apply LAMP to a real-world application domain for software requirement engineering to help the engineers acquire software requirements and show that LAMP can indeed help experts a great deal in real-world knowledge-engineering applications. (C) 2010 Elsevier By. All rights reserved.

Keyword:

Action model learning

Machine learning

Knowledge engineering

Automated planning

Learning complex action models with quantifiers and logical implications

摘要

AI总结

期刊

机构

引用论文