Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
A logic-based calculus of events
New Generation Computing
Intelligence without representation
Artificial Intelligence
Temporal reasoning and planning
Reasoning about plans
Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
OPENLOG: A Logic Programming Language Based on Abduction
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
MultiAgent Distributed Simulation with GALATEA
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Environmental Modelling & Software
From a multi-agent simulation theory to GALATEA
Proceedings of the 2007 Summer Computer Simulation Conference
| Hi-index | 0.00 |
ACTILOG is a language to write generalized condition 驴 action activation rules. We propose it as an alternative and a complement to OPENLOG [6], another agent logic programming language for an abductive reasoner. We want to show how implications (conditional goals) can be used to state integrity contraints for an agent. These integrity contraints describe conditions under which the agent's goals must be reduced to plans that can be executed. For instance, a rule such as if A then B, will indicate to the agent that whenever it can prove that A is the case, it then should pursue goal B. B is normally the description of a task that must be reduced to a set of low-level, primitive actions that the agent can execute.