Making logic programs reactive

Harland, J and Winikoff, M 1998, 'Making logic programs reactive', in Dynamics '98 Proceedings of the Post-Conference Workshop on Transactions and Change in Logic Databases, Manchester, UK, 15-19 June 1998.

Document type: Conference Paper
Collection: Conference Papers

Attached Files
Name Description MIMEType Size
n1998000450.pdf Accepted version application/pdf 262.54KB
Title Making logic programs reactive
Author(s) Harland, J
Winikoff, M
Year 1998
Conference name Dynamics '98, Joint Int'l Conf and Symposium on Logic Programming JICSLP'98
Conference location Manchester, UK
Conference dates 15-19 June 1998
Proceedings title Dynamics '98 Proceedings of the Post-Conference Workshop on Transactions and Change in Logic Databases
Publisher Universitat Passau
Place of publication Manchester, UK
Abstract Logic programming languages based on linear logic have been of recent interest, particularly as such languages provide a logical basis for programs which execute within a dynamic environment. Most of these languages are implemented using standard resolution or backward-chaining techniques. However, there are applications for which the use of forward-chaining techniques within a dynamic environment are appropriate, such as genetic algorithms, active databases and agent-based systems, and for which it is difficult or impossible to specify an appropriate goal in advance. In this paper we discuss the foundations for a forward-chaining approach (or in logic programming parlance, a bottom-up approach) to the execution of linear logic programs, which thus provides forward-chaining within a dynamic environment. In this way it is possible not only to execute programs in a forward-chaining manner, but also to combine forward- and backward-chaining execution. We describe and discuss the appropriate inference rules for such a system, the formal results about such rules, the role of search strategies, and applications.
Subjects Computational Logic and Formal Languages
Copyright notice © International Conference on Logic Programming and the International Logic Programming Symposium
Version Filter Type
Access Statistics: 150 Abstract Views, 130 File Downloads  -  Detailed Statistics
Created: Mon, 26 Oct 2009, 08:18:26 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us