Macro Control Languages and Actions Forcocologc
نویسنده
چکیده
The control of a discrete event system is speciied in the CO-COLOG logic control system by use of an extra-logical representation of the control laws in terms of Conditional Control Rules (CCRs); these are condition-action pairs in which the conditions are mutually exclusive and exhaustive formulas in the language (L k) at the instant k, k 0. Such formulas are tested for deducibility from k , the current COCOLOG axiom set, and once the unique deducible formula is found, the associated control action is applied to the system. The simplicity of L k leads to even the most basic concepts having a complex expression as well formed formulas in L k. Furthermore, the triggering of elementary control actions often depends upon complex nested sets of Conditional Control Formulas (CCFs) expressed in L k. In response to this set of problems, this article presents the foundations for (i) a theory of the expression of complex predicates and functions in terms of simple Macro CO-COLOG Language symbols which can be deened incrementally in extended languages L + i k , and (ii) the construction of recursive systems of simple Macro COCOLOG Actions to express complex control actions.
منابع مشابه
On Domain-speciic Macro Expansion and Its Use in Optimizing Code Generation Submission to Workshop on Domain-speciic Languages
We identify two types of domain-speciic features in macro expansion systems: with the expansion-time values of domain-speciic attributes the user can control conditional expansion; domain-speciic actions are performed by the system, and we divide them into expansion-integrated and conversion-integrated ones. The domain of our implemented prototype system is machine-level code generation, but we...
متن کاملA Type-safe Macro System for XML
XML is originally designed for the use in document processing. Every classical document processing system supports a mechanism which is called macro. In general, a macro is a named collection of actions. These actions are executed whenever the name of the macro appears in a document instance. We describe a very small but powerful macro language for XML. The presented language supports macros wi...
متن کاملDescription and Acquirement of Macro-Actions in Reinforcement Learning
Reinforcement learning is a framing of enabling agents to learn from interaction with environments. It has focused generally on Markov decision process (MDP) domains, but a domain may be non-Markovian in the real world. In this paper, we develop a new description of macro-actions for non-Markov decision process (NMDP) domains in reinforcement learning. A macro-action is an action control struct...
متن کاملPlanning with Closed-Loop Macro Actions
Planning and learning at multiple levels of tempo ral abstraction is a key problem for arti cial intelli gence In this paper we summarize an approach to this problem based on the mathematical framework of Markov decision processes and reinforcement learn ing Conventional model based reinforcement learning uses primitive actions that last one time step and that can be modeled independently of th...
متن کاملA Method for Learning Macro-Actions for Virtual Characters Using Programming by Demonstration and Reinforcement Learning
The decision-making by agents in games is commonly based on reinforcement learning. To improve the quality of agents, it is necessary to solve the problems of the time and state space that are required for learning. Such problems can be solved by Macro-Actions, which are defined and executed by a sequence of primitive actions. In this line of research, the learning time is reduced by cutting do...
متن کامل