Advertisement

HalVA - Rule Analysis Framework for XTT2 Rules

  • Grzegorz J. Nalepa
  • Szymon Bobek
  • Antoni Ligęza
  • Krzysztof Kaczor
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6826)

Abstract

Quality and reliability issues are important in development and exploration of rule-based systems. In the paper a formalized knowledge representation for rules called XTT2 is considered. It is a rule language based on an expressive attribute logic called ALSV(FD). A custom runtime and verification framework for XTT2 called HalVA is proposed. It allows for verification of certain formal properties of rules, including determinism, subsumption or completeness.

Keywords

Expert System Atomic Formula Inference Network Finite Domain Completeness Test 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Culbert, S.: Expert system verifications & validation. In: Proc. of First AAAI Workshop on V,V & Testing (August 1988)Google Scholar
  2. 2.
    Ligęza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Kraków, Poland, November 26-27, pp. 105–110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, Kraków (2009)Google Scholar
  3. 3.
    Nalepa, G.J.: Architecture of the HeaRT hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010, Part II. LNCS (LNAI), vol. 6114, pp. 598–605. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35–53 (2010)CrossRefzbMATHGoogle Scholar
  5. 5.
    Tsai, W.T., Vishnuvajjala, R., Zhang, D.: Verification and validation of knowledge-based systems. IEEE Trans. on Knowl. and Data Eng. 11, 202–212 (1999), http://dx.doi.org/10.1109/69.755629 CrossRefGoogle Scholar
  6. 6.
    Zacharias, V.: Development and verification of rule based systems — A survey of developers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 6–16. Springer, Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-88808-6_4 CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Grzegorz J. Nalepa
    • 1
  • Szymon Bobek
    • 1
  • Antoni Ligęza
    • 1
  • Krzysztof Kaczor
    • 1
  1. 1.AGH University of Science and TechnologyKrakówPoland

Personalised recommendations