As the use of intelligent agents in critical domains increases, the need for verifying their behavior becomes stronger. Reactive rules are the main reasoning formalism for intelligent agents. For this reason, we propose the use of the OTS/CafeOBJ method for the specification of reactive rules, which will permit the verification of safety properties for reactive rule-based intelligent agents. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Ksystra, K., Stefaneas, P., & Frangos, P. (2014). An algebraic framework for modeling of reactive rule-based intelligent agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8327 LNCS, pp. 407–418). Springer Verlag. https://doi.org/10.1007/978-3-319-04298-5_36
Mendeley helps you to discover research relevant for your work.