Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries like term and graph rewriting. Realistic problems, however, call for suitable techniques to guarantee scalability. For instance, many domains exhibit a hierarchical structure that can be exploited conveniently. This is particularly evident for composition associations of models. We propose an explicit representation of such structured models and a methodology that exploits it for the description and analysis of model- and rule-based systems. The approach is presented in the framework of rewriting logic and its efficient implementation in the rewrite engine Maude and is illustrated with a case study.
- 9.Hölzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? In: Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA 2008). ENTCS, vol. 238(3), pp. 189–205. Elsevier, Amsterdam (2008)Google Scholar
- 10.Katoen, J.-P.: Advances in probabilistic model checking. In: Barthe, G., Hermenegildo, M.V. (eds.) VMCAI 2010. LNCS, vol. 5944, p. 25. Springer, Heidelberg (2009)Google Scholar
- 11.Kumar, N., Sen, K., Meseguer, J., Agha, G.: A rewriting based model for probabilistic distributed object systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 32–46. Springer, Heidelberg (2003)Google Scholar
- 12.Lanese, I., Montanari, U.: Synchronization algebras with mobility for graph transformations. In: Proceedings of the 3rd Joint Workshops on Foundations of Global Ubiquitous Computing (FGUC 2004). ENTCS, vol. 138(1), pp. 43–60. Elsevier, Amsterdam (2005)Google Scholar
- 17.Rote, G.: A systolic array algorithm for the algebraic path problem (shortest paths; matrix inversion). Journal on Computing 34(3) (1985)Google Scholar
- 18.Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education, London (2003)Google Scholar