Abstract
This paper studies the problem of action model learning with fullobservability. Following the learning by search paradigm by Mitchell, wedevelop a theory for action model learning based on version spaces thatinterprets the task as search for hypothesis that are consistent with thelearning examples. Our theoretical findings are instantiated in an onlinealgorithm that maintains a compact representation of all solutions of theproblem. Among these range of solutions, we bring attention to actions modelsapproximating the actual transition system from below (sound models) and fromabove (complete models). We show how to manipulate the output of our learningalgorithm to build deterministic and non-deterministic formulations of thesound and complete models and prove that, given enough examples, bothformulations converge into the very same true model. Our experiments revealtheir usefulness over a range of planning domains.