Skip to main content
SpringerLink
Log in

Refining Rule Bases for Intelligent Systems: Managing Redundancy and Circularity

  • Conference paper
  • First Online:
Book cover Business Information Systems (BIS 2020)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 389))

Included in the following conference series:

  • 1157 Accesses

Abstract

Intelligent systems are technologically advanced machines that perceive and respond to the world around them. They can take many forms: facial recognition programs, personalized shopping suggestions, healthcare tools, etc. Research in intelligent systems faces numerous challenges, many of which relate to automatic reasoning. Intelligent systems’ knowledge bases are founded on facts and rules. Rules updates are essential to ensure that the system adapts to its environment evolution. In this paper, we aim to facilitate the automation of rule bases management by eliminating redundancies and handling circularity. This research work is part of the proposition of an approach for automating the management of rule bases. Our method is based on dependency relationships that may exist between the rules. The experimentation results show that our proposition succeeded in eliminating redundancies and detecting a great number of cycles.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The closure of a rule base R: Closure(R)=\(\lbrace R \cup \lbrace all~the~rules~implied~by~R \rbrace \rbrace \).

  2. 2.

    Example 6:R05 and R06 are two rules from the same group Gi.

References

  1. Bak, J., Nowak, M., Jedrzejek, C.: Graph-based editor for SWRL rule bases. In: RuleML (2) (2013)

    Google Scholar 

  2. Benaissa, M., Lebbah, Y.: A constraint programming based approach to detect ontology inconsistencies. Int. Arab J. Inf. Technol. 8(1), 1–8 (2011)

    Google Scholar 

  3. Boujelben, A., Amous, I.: A new method for rules dependency extraction. In: 22nd International Conference on Knowledge Based and Intelligent Information Engineering Systems. Elsevier (2018)

    Google Scholar 

  4. Cheng, M.Y., Huang, C.J.: A novel approach for treating uncertain rule-based knowledge conflicts. J. Inf. Sci. Eng. 25(2), 649–663 (2009)

    Google Scholar 

  5. Cota, É., Ribeiro, L., Bezerra, J.S., Costa, A., da Silva, R.E., Cota, G.: Using formal methods for content validation of medical procedure documents. Int. J. Med. Inform. 104, 10–25 (2017)

    Article  Google Scholar 

  6. Dani, M.N., Faruquie, T.A., Karanam, H.P., Subramaniam, L.V., Venkatachaliah, G.: Rule set management, 15 April 2014. US Patent 8,700,542

    Google Scholar 

  7. Dautov, R., Veloudis, S., Paraskakis, I., Distefano, S.: Policy management and enforcement using OWL and SWRL for the internet of things. In: Puliafito, A., Bruneo, D., Distefano, S., Longo, F. (eds.) ADHOC-NOW 2017. LNCS, vol. 10517, pp. 342–355. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67910-5_28

    Chapter  Google Scholar 

  8. Davtalab, M., Malek, M.R.: A spatially aware policy conflict resolution for information services. J. Ambient Intell. Smart Environ. 10(1), 71–81 (2018)

    Article  Google Scholar 

  9. Dolinina, O., Shvarts, A.: Algorithms for increasing of the effectiveness of the making decisions by intelligent fuzzy systems. J. Electr. Eng. 3, 30–35 (2015)

    Google Scholar 

  10. Hassanpour, S., O’Connor, M.J., Das, A.K.: Exploration of SWRL rule bases through visualization, paraphrasing, and categorization of rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 246–261. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04985-9_23

    Chapter  Google Scholar 

  11. Höffner, K., Walter, S., Marx, E., Usbeck, R., Lehmann, J., Ngonga Ngomo, A.C.: Survey on challenges of question answering in the semantic web. Semant. Web 8(6), 895–920 (2017)

    Article  Google Scholar 

  12. Khattak, A.M., Khan, W.A., Pervez, Z., Iqbal, F., Lee, S.: Towards a self adaptive system for social wellness. Sensors 16(4), 531 (2016)

    Article  Google Scholar 

  13. Ksystra, K., Stefaneas, P.: Formal analysis and verification support for reactive rule-based web agents. Int. J. Web Inf. Syst. 12(4), 418–447 (2016)

    Article  Google Scholar 

  14. McGuinness, D.L., Van Harmelen, F., et al.: Owl web ontology language overview. W3C Recomm. 10(10), 2004 (2004)

    Google Scholar 

  15. Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Checking an expert systems knowledge base for consistency and completeness. In: IJCAI, vol. 85, pp. 375–378 (1985)

    Google Scholar 

  16. O’Connor, M.J., Das, A.: The SWRLTab: an extensible environment for working with SWRL rules in Protégé-OWL. In: RuleML (2006)

    Google Scholar 

  17. Salfinger, A., Retschitzegger, W., Schwinger, W.: Staying aware in an evolving world specifying and tracking evolving situations. In: 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA), pp. 195–201. IEEE (2014)

    Google Scholar 

  18. Simiński, R., Nowak-Brzezińska, A., Simiński, M.: Experimental implementation of web-based knowledge base verification module. In: Nguyen, N.T., Pimenidis, E., Khan, Z., Trawiński, B. (eds.) ICCCI 2018. LNCS (LNAI), vol. 11056, pp. 268–278. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98446-9_25

    Chapter  Google Scholar 

  19. Suchenia, A., Potempa, T., Ligęza, A., Jobczyk, K., Kluza, K.: Selected approaches towards taxonomy of business process anomalies. In: Pełech-Pilichowski, T., Mach-Król, M., Olszak, C.M. (eds.) Advances in Business ICT: New Ideas from Ongoing Research. SCI, vol. 658, pp. 65–85. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-47208-9_5

    Chapter  Google Scholar 

  20. Sun, Y., Wu, T.Y., Li, X., Guizani, M.: A rule verification system for smart buildings. IEEE Trans. Emerg. Top. Comput. 5(3), 367–379 (2017)

    Article  Google Scholar 

  21. Yunchuan, S.: Managing rules in semantic web: redundancy elimination and consistency check. JDCTA: Int. J. Digit. Content Technol. Appl. 5(2), 191–200 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. MIRACL Laboratory, University of Sfax, Sfax, Tunisia

    Abir Boujelben & Ikram Amous

Authors
  1. Abir Boujelben
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ikram Amous
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abir Boujelben .

Editor information

Editors and Affiliations

  1. Poznań University of Economics and Business, Poznan, Poland

    Witold Abramowicz

  2. University of Colorado, Colorado Springs, CO, USA

    Gary Klein

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Boujelben, A., Amous, I. (2020). Refining Rule Bases for Intelligent Systems: Managing Redundancy and Circularity. In: Abramowicz, W., Klein, G. (eds) Business Information Systems. BIS 2020. Lecture Notes in Business Information Processing, vol 389. Springer, Cham. https://doi.org/10.1007/978-3-030-53337-3_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-53337-3_31

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-53336-6

  • Online ISBN: 978-3-030-53337-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation