A blackboard architecture for control
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Statecharts: A visual formalism for complex systems
Science of Computer Programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Communications of the ACM
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Computational Logic and Human Thinking: How to be Artificially Intelligent
Computational Logic and Human Thinking: How to be Artificially Intelligent
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Reaction RuleML 1.0: standardized semantic reaction rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents ( consequents all true. The antecedents of the rules are conjunctions of past or present conditions and events, and the consequents of the rules are disjunctions of conjunctions of future conditions and actions. The antecedents can be viewed as complex/composite events, and the consequents as complex/composite/macro actions or processes. States are represented by sets of atomic sentences, and can be viewed as global variables, relational databases, Herbrand models, or mental representations of the real world. Events, including actions, transform one state into another. The operational semantics maintains only a single, destructively updated current state, whereas the model-theoretic semantics treats the entire sequence of states, events and actions as a single model. The model-theoretic semantics can be viewed as the problem of generating a model that makes all the reactive rules true.