منابع مشابه
Playing Creative Soccer: Randomized Behavioral Kinodynamic Planning of Robot Tactics
Modern robot soccer control architectures tend to separate higher level tactics and lower level navigation control. This can lead to tactics which do not fully utilize the robot’s dynamic actuation abilities. It can furthermore create the problem of the navigational code breaking the constraints of the higher level tactical goals when avoiding obstacles. We aim to improve such control architect...
متن کاملReformulating Resolution Problems by Tactics
A straightforward formulation of a mathematical problem is mostly not adequate for resolution theorem proving. We present a method to optimize such formulations by exploiting the variability of rst-order logic. The optimizing transformation is described as logic morphisms, whose operationalizations are tactics. The diierent behaviour of a resolution theorem prover for the source and target form...
متن کاملComplex networks created by aggregation.
We study aggregation as a mechanism for the creation of complex networks. In this evolution process vertices merge together, which increases a number of highly connected hubs. We study a range of complex network architectures produced by the aggregation. Fat-tailed (in particular, scale-free) distributions of connections are obtained for both networks with a finite number of vertices and growin...
متن کاملMetafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: TRENDS IN THE SCIENCES
سال: 2010
ISSN: 1884-7080,1342-3363
DOI: 10.5363/tits.15.3_105