A Logic-Based Framework for Reactive Systems
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.
Keywordsreactive systems model generation LPS KELPS complex events complex actions
Unable to display preview. Download preview PDF.
- 1.Bonner, Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) Proc. of the 10th International Conf. on Logic Programming, pp. 257–279 (1993)Google Scholar
- 2.Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM 32(4) (1989)Google Scholar
- 6.Fung, T.H., Kowalski, R.: The IFF Proof Procedure for Abductive Logic Programming. J. of Logic Programming (1997)Google Scholar
- 8.Harel, D.: Statecharts in the Making: A Personal Account. In: Proc. 3rd ACM SIGPLAN History of Programming Languages Conference, HOPL III (2007)Google Scholar
- 9.Hausmann, S., Scherr, M., Bry, F.: Complex Actions for Event Processing, Research Report, Institute for Informatics, University of Munich (2012)Google Scholar
- 11.Kakas, T., Kowalski, R., Toni, F.: The Role of Logic Programming in Abduction. In: Handbook of Logic in Artificial Intelligence and Programming, vol. 5, pp. 235–324. Oxford University Press (1998)Google Scholar
- 12.Knuth, D.E.: The Art of Computer Programming, vol. 1: Fundamental Algorithms. Addison-Wesley (1973)Google Scholar
- 13.Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press (2011)Google Scholar
- 18.Kowalski, R., Sadri, F.: Programming With Logic Without logic Programming. Department of Computing, Imperial College London Report (2012)Google Scholar
- 20.McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Machine Intelligence, vol. 4, pp. 463–502 (1969)Google Scholar
- 21.Przymusinski, T.: On the Declarative Semantics of Stratified Deductive Databases and Logic Programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193–216. Morgan Kaufmann (1987)Google Scholar