Paper Info
Title
Mechanisms For Temporal Logic Implementation In Rule-Based Systems
Abstract
Rule-based systems are more and more important in middleware architectures and distributed applications. Although support for temporal constructs would be very conveniant for many domains, implementations are not yet widespread. This paper is about several methods to expand rule-based systems and the commonly used RETE algorithm in order to gain basic support for temporal logic constructs. A few promising approaches are discussed and compared with respect to efficiency, memory usage, and implemetation details. The paper is limited on the discussion of temporal logics in rule-based systems and does not take temporal logic in other contexts into account.
Year
Venue
Keywords
2011
ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1
Temporal logic, Rule-based system
Field
DocType
Citations 
Rule-based system,Temporal logic of actions,Interval temporal logic,Computer science,Artificial intelligence,Temporal logic,Machine learning
Conference
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Josef Hahn100.34
Karl-heinz Krempels29123.76
Christoph Terwelp33110.90