منابع مشابه
Optimal Behavioral Hierarchy
Human behavior has long been recognized to display hierarchical structure: actions fit together into subtasks, which cohere into extended goal-directed activities. Arranging actions hierarchically has well established benefits, allowing behaviors to be represented efficiently by the brain, and allowing solutions to new tasks to be discovered easily. However, these payoffs depend on the particul...
متن کاملBehavioral Hierarchy: Exploration and Representation
Behavioral modules are units of behavior providing reusable building blocks that can be composed sequentially and hierarchically to generate extensive ranges of behavior. Hierarchies of behavioral modules facilitate learning complex skills and planning at multiple levels of abstraction and enable agents to incrementally improve their competence for facing new challenges that arise over extended...
متن کاملThe Neural Optimal Control Hierarchy
The NOCH framework was designed to serve as a foundation for development of models of neural motor control. The driving purpose behind the NOCH is bridging the gap between the control theory and neuroscience research in the field of motor control. This is done by identifying the underlying functions in control theory models of motor control and examining the structure/connections of the neural ...
متن کاملExploiting Behavioral Hierarchy for Efficient Model Checking
Inspired by the success of model checking in hardware and protocol verification, model checking techniques for software have been the focus of a lot of research in the last few years [5,3,2,6]. Model checking can be applied only to relatively small models due to its inherently high computational requirements, and there are two complementary trends to address scalability. The model extraction ap...
متن کاملA Behavioral Hierarchy of Strategy Logic
Starting from the seminal work introducing Alternating Temporal Logic, formalisms for strategic reasoning have assumed a prominent role in multi-agent systems verification. Among the others, Strategy Logic (SL) allows to represent sophisticated solution concepts, by treating agent strategies as first-order objects. A drawback from the high power of SL is to admit non-behavioral strategies: a ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLoS Computational Biology
سال: 2014
ISSN: 1553-7358
DOI: 10.1371/journal.pcbi.1003779