Circularity in Rule Knowledge Bases Detection using Decision Unit Approach | SpringerLink
Skip to main content
Springer Nature Link
Log in

Circularity in Rule Knowledge Bases Detection using Decision Unit Approach

  • Conference paper
Monitoring, Security, and Rescue Techniques in Multiagent Systems

Part of the book series: Advances in Soft Computing ((AINSC,volume 28))

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 34319
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 42899
Price includes VAT (Japan)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adrion W.R., Branstad M.A., Cherniavsky J.C., 1982, Validation, verification and testing of computer software, ACM Computing Surveys, June, 14(2) pp. 159–192.

    Article  Google Scholar 

  2. Simiński R., Wakulicz-Deja A. (1998) A., Principles and Practice in Knowledge Bases Verification, Proceedings of the IIS VII, Intelligent Information Systems, Poland, Malbork, 15–19.06.1998, pp. 203–211.

    Google Scholar 

  3. Simiński R. (1998), Methods and Tools for Knowledge Bases Verification and Validation, Proceedings of CAI’98 — Colloquia in Artificial Intelligence, 28–30.9.1998, Lodz, Poland.

    Google Scholar 

  4. Simiński R., Wakulicz-Deja A. (1998), Principles and Practice in Knowledge Bases Verification, Proceedings of IIS’98 — Intelligent Information Systems VII, 15–19.6.1998, Malbork, Poland.

    Google Scholar 

  5. Simiński R., Wakulicz-Deja A. (1999), Dynamic Verification Of Knowledge Bases, Proceedings of IIS’99, Intelligent Information Systems VIII, 14–18.6.1999, Ustron, Poland.

    Google Scholar 

  6. Simiński R., Wakulicz-Deja A. (2000), Verification of Rule Knowledge Bases Using Decision Units, Advances in Soft Computing, Intelligent Information Systems, Physica-Verlag, Springer Verlag Company, 2000.

    Google Scholar 

  7. Simiński R., Wakulicz-Deja A. (2003), Decision units as a tool for rule base modeling and verification, Proceedings of Intelligent Information Systems Intelligent: Information Processing and Web Mining, 272-5.6.2003, Zakopane, Polska, Advances in Soft Computing, Physica-Verlag, Springer Verlag Company, 2003, pp. 553–556.

    Google Scholar 

  8. Preece A.D. (1991), Methods for Verifying Expert System Knowledge Base, apreece@csd.abdn.ac.uk.

    Google Scholar 

  9. Preece A.D. (1991a), Verifying expert system knowledge bases: An example, apreece@csd.abdn.ac.uk.

    Google Scholar 

  10. Preece A.D. (1994). Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems, 9 pp. 683–701

    Google Scholar 

  11. Preece A.D. Batarekh A. Shinghal R. (1990) Verifing Rule-Based Systems, apreece@csd.abdn.ac.uk.

    Google Scholar 

  12. Preece A.D., Shinghal R., Batarekh A. (1992), Principles and Practices in Verifing Rule-Based Systems, Knowledge Engineering Review, vol. 7, no. 2, pp. 115–141, apreece@csd.abdn.ac.uk

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, University of Silesia, Będzińska 39, 41-200, Sosnowiec, Poland

    Roman Simiński & Alicja Wakulicz-Deja

Authors
  1. Roman Simiński
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alicja Wakulicz-Deja
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Simiński, R., Wakulicz-Deja, A. (2005). Circularity in Rule Knowledge Bases Detection using Decision Unit Approach. In: Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32370-8_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-32370-8_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23245-2

  • Online ISBN: 978-3-540-32370-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation