MECHANISMS FOR TEMPORAL LOGIC IMPLEMENTATION IN RULE-BASED SYSTEMS

Josef Hahn, Karl-Heinz Krempels, Christoph Terwelp

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.

Download


Paper Citation


in Harvard Style

Hahn J., Krempels K. and Terwelp C. (2011). MECHANISMS FOR TEMPORAL LOGIC IMPLEMENTATION IN RULE-BASED SYSTEMS . In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8425-40-9, pages 508-513. DOI: 10.5220/0003310605080513


in Bibtex Style

@conference{icaart11,
author={Josef Hahn and Karl-Heinz Krempels and Christoph Terwelp},
title={MECHANISMS FOR TEMPORAL LOGIC IMPLEMENTATION IN RULE-BASED SYSTEMS},
booktitle={Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2011},
pages={508-513},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003310605080513},
isbn={978-989-8425-40-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - MECHANISMS FOR TEMPORAL LOGIC IMPLEMENTATION IN RULE-BASED SYSTEMS
SN - 978-989-8425-40-9
AU - Hahn J.
AU - Krempels K.
AU - Terwelp C.
PY - 2011
SP - 508
EP - 513
DO - 10.5220/0003310605080513