6 research outputs found
On the Online Generation of Effective Macro-operators
Macro-operator (“macro”, for short) generation is a
well-known technique that is used to speed-up the
planning process. Most published work on using
macros in automated planning relies on an offline
learning phase where training plans, that is, solutions
of simple problems, are used to generate the
macros. However, there might not always be a place
to accommodate training.
In this paper we propose OMA, an efficient method
for generating useful macros without an offline
learning phase, by utilising lessons learnt from existing
macro learning techniques. Empirical evaluation
with IPC benchmarks demonstrates performance
improvement in a range of state-of-the-art
planning engines, and provides insights into what
macros can be generated without training
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
The manipulation of articulated objects is of primary importance in Robotics,
and can be considered as one of the most complex manipulation tasks.
Traditionally, this problem has been tackled by developing ad-hoc approaches,
which lack flexibility and portability.
In this paper we present a framework based on Answer Set Programming (ASP)
for the automated manipulation of articulated objects in a robot control
architecture. In particular, ASP is employed for representing the configuration
of the articulated object, for checking the consistency of such representation
in the knowledge base, and for generating the sequence of manipulation actions.
The framework is exemplified and validated on the Baxter dual-arm manipulator
in a first, simple scenario. Then, we extend such scenario to improve the
overall setup accuracy, and to introduce a few constraints in robot actions
execution to enforce their feasibility. The extended scenario entails a high
number of possible actions that can be fruitfully combined together. Therefore,
we exploit macro actions from automated planning in order to provide more
effective plans. We validate the overall framework in the extended scenario,
thereby confirming the applicability of ASP also in more realistic Robotics
settings, and showing the usefulness of macro actions for the robot-based
manipulation of articulated objects. Under consideration in Theory and Practice
of Logic Programming (TPLP).Comment: Under consideration in Theory and Practice of Logic Programming
(TPLP
Classical Planning in Deep Latent Space
Current domain-independent, classical planners require symbolic models of the
problem domain and instance as input, resulting in a knowledge acquisition
bottleneck. Meanwhile, although deep learning has achieved significant success
in many fields, the knowledge is encoded in a subsymbolic representation which
is incompatible with symbolic systems such as planners. We propose Latplan, an
unsupervised architecture combining deep learning and classical planning. Given
only an unlabeled set of image pairs showing a subset of transitions allowed in
the environment (training inputs), Latplan learns a complete propositional PDDL
action model of the environment. Later, when a pair of images representing the
initial and the goal states (planning inputs) is given, Latplan finds a plan to
the goal state in a symbolic latent space and returns a visualized plan
execution. We evaluate Latplan using image-based versions of 6 planning
domains: 8-puzzle, 15-Puzzle, Blocksworld, Sokoban and Two variations of
LightsOut.Comment: Under review at Journal of Artificial Intelligence Research (JAIR
最良優先探索のための探索非局在化手法
学位の種別: 課程博士審査委員会委員 : (主査)東京大学教授 Fukunaga Alex, 東京大学教授 山口 和紀, 東京大学准教授 田中 哲朗, 東京大学准教授 金子 知適, 東京大学准教授 森畑 明昌University of Tokyo(東京大学