Making Golog Norm Compliant
نویسنده
چکیده
In this work we consider how to enforce norms in the Situation Calculus based programming language Golog and its relatives. We define a notion of norm compliant sequence of actions with respect to norms prescribing some actions to be forbidden or obliged (ought-to-do norms), norms prescribing that a state-condition is forbidden (oughtto-be norms) and norms that are a form of deadline. We then show a procedure that allows incorporating the norms into the underlying action theory so that after this is done, the agent’s behavior is guaranteed to
منابع مشابه
Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot programming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target ...
متن کاملTowards an Integration of Golog and Planning
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constrain the search for an executable plan in a flexible manner. However, when general planning is needed, Golog supports this only in principle, but does not measure up with state-of-the-art planners. In this paper we prop...
متن کاملA Bayesian Approach to Norm Identification
When entering a system, an agent should be aware of the obligations and prohibitions (collectively norms) that will affect it. Several solutions to this norm identification problem have been proposed, which make use of observations of either other’s norm compliant, or norm violating, behaviour. These solutions fail in situations where norms are typically violated, or complied with, respectively...
متن کاملA First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program δ, its semantics is defined by a macroDo(δ, s, s′) that expands to a logical sentence that captures the conditions under which performing δ in s can terminate in s′. A similar macro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are se...
متن کاملUsing Golog for Deliberation and Team Coordination in Robotic Soccer
Robotic soccer provides an interesting and nontrivial testbed for many aspects of mobile robotics. From a high-level decision making point of view, central issues are how to get the robots to choose intelligently among various possible courses of actions and how to get them to coordinate their actions with other members of the team. In this paper we report on our efforts to address these issues...
متن کامل