Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

KES 2011: Knowlege-Based and Intelligent Information and Engineering Systems pp 524–537Cite as

The Representation of Inconsistent Knowledge in Advanced Knowledge Based Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6882))

Abstract

Contradiction handling is one of the central problems in AI. There are different approaches to dealing with contradictions and other types of inconsistency. We describe an approach based on logical varieties, which are complex structures constructed from logical calculi. Being locally isomorphic to a logical calculus, globally logical varieties allow representation of contradictory knowledge in a consistent way, providing much more flexibility and efficacy for AI than standard logical methods. Problems of logical variety immersion into a logical calculus are studied. Such immersions extend the local structure of a logical calculus to the global structure of a logical variety, demonstrating when it is possible to use standard logical tools, such as logical calculi, and when it is necessary to go beyond this traditional technique. Finally a particular logical variety, the Logic of Reasonable Inferences, applied to the design of legal knowledge based systems is described.

This is a preview of subscription content, 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 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, A., Rabinovich, A., Sagiv, M.: Decidable fragments of many-sorted logic. J. Symb. Comput. 45(2), 153–172 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  2. Amir, E.: Dividing and Conquering Logic, Ph.D. Thesis, Stanford University, Computer Science Department (2002)

    Google Scholar 

  3. Amir, E., McIlraith, S.: Partition-Based Logical Reasoning for First-Order and Propositional Theories. Artificial Intelligence 162(1/2), 49–88 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  4. Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science, vol. 44. Cambridge University Press, Cambridge (1997)

    Book  MATH  Google Scholar 

  5. Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  6. Brown, B., Priest, G.: Chunk and Permeate: A Paraconsistent Inference Strategy, part I: The Infinitesimal Calculus. The Journal of Philosophical Logic 33, 379–388 (2004)

    Google Scholar 

  7. Burgin, M.: Logical Methods in Artificial Intelligent Systems. Vestnik of the Computer Society (2), 66–78 (1991) (in Russian)

    Google Scholar 

  8. Burgin, M.: Logical Tools for Program Integration and Interoperability. In: Proceedings of the IASTED International Conference on Software Engineering and Applications, pp. 743–748. MIT, Cambridge (2004)

    Google Scholar 

  9. Delgrande, J.P., Mylopoulos, J.: Knowledge Representation: Features of Knowledge. In: Bibel, W., Jorrand, P. (eds.) Fundamentals of Artificial Intelligence. LNCS, vol. 232, pp. 3–38. Springer, Heidelberg (1986)

    Chapter  Google Scholar 

  10. DeWitt, B.S.: The Many-Universes Interpretation of Quantum Mechanics. In: Foundations of Quantum Mechanics, pp. 167–218. Academic Press, New York (1971)

    Google Scholar 

  11. Everett, H.: ‘Relative State’ Formulation of Quantum Mechanics. Reviews of Modern Physics 29, 454–462 (1957)

    Article  MathSciNet  Google Scholar 

  12. Gabbay, D.: Fibring Logics. Clarendon Press, Oxford (1999)

    MATH  Google Scholar 

  13. Hall Jr., M.: The theory of Groups. The Macmillan Company, New York (1959)

    MATH  Google Scholar 

  14. Jaśkowski, S.: Rachunek zdań dla systemów dedukcyjnych sprzecznych. Studia Societatis Scientiarun Torunesis (Sectio A) 1(5), 55–77 (1948)

    Google Scholar 

  15. MacCartney, B., McIlraith, S.A., Amir, A., Uribe, T.: Practical Partition-Based Theorem Proving for Large Knowledge Bases. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 89–96 (2003)

    Google Scholar 

  16. McIlraith, S., Amir, E.: Theorem proving with structured theories. In: Proceedings of the 17th Intl’ Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 624–631 (2001)

    Google Scholar 

  17. Meinke, K., Tucker, J.V. (eds.): Many-sorted logic and its applications. John Wiley & Sons, Inc., New York (1993)

    MATH  Google Scholar 

  18. Vey Mestdagh, C.N.J., de Verwaard, W., Hoepman, J.H.: The Logic of Reasonable Inferences. In: Breuker, J.A., Mulder, R.V., de Hage, J.C. (eds.) Proc. 4th Annual JURIX Conference on Legal Knowledge Based Systems, Model-Based Legal Reasoning, Vermande, Lelystad, pp. 60–76 (1991)

    Google Scholar 

  19. de Vey Mestdagh, C.N.J.: Legal Expert Systems. Experts or Expedients? The Representation of Legal Knowledge in an Expert System for Environmental Permit Law. In: Ciampi, C., Marinai, E. (eds.) The Law in the Information Society, Conference Proceedings on CD-Rom, Firenze, p. 8 (1998)

    Google Scholar 

  20. Minsky, M.: A Framework for Representing Knowledge. MIT, Cambridge (1974)

    Google Scholar 

  21. Minsky, M.: Society of Mind: A Response to Four Reviews. Artificial Intelligence 48, 371–396 (1991)

    Article  Google Scholar 

  22. Minsky, M.: Conscious Machines. In: Machinery of Consciousness, 75th Anniversary Symposium on Science in Society, National Research Council of Canada (1991)

    Google Scholar 

  23. Nguen, N.T.: Inconsistency of knowledge and collective intelligence. Cybernetics and Systems 39(6), 542–562 (2008)

    Article  MATH  Google Scholar 

  24. Partridge, D., Wilks, Y.: The Foundations of Artificial Intelligence. Cambridge University Press, Cambridge (1990)

    Book  MATH  Google Scholar 

  25. Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, München (1989)

    MATH  Google Scholar 

  26. Rescher, N., Manor, R.: On inference from inconsistent premisses. Theory and Decision 1(2), 179–217 (1970)

    Article  MATH  Google Scholar 

  27. Ross, T.J.: Fuzzy Logic with Engineering Applications. McGraw-Hill P. C, New York (1994)

    Google Scholar 

  28. Routley, R., Plumwood, V., Meyer, R.K., Brady, R.T.: Relevant Logics and Their Rivals, Atascadero, Ridgeview, CA (1982)

    Google Scholar 

  29. Smolin, L.: The Bekenstein bound, topological quantum field theory and pluralistic quantum field theory, Penn State preprint CGPG-95/8-7; Los Alamos Archives preprint in physics, gr-qc/9508064 (1995), electronic edition http://arXiv.org

  30. VanPool, T.L., VanPool, C.S. (eds.): Essential Tensions in Archaeological Method and Theory. University of Utah Press, Salt Lake City (2003)

    Google Scholar 

  31. Weinzierl, A.: Comparing Inconsistency Resolutions in Multi-Context Systems. In: Slavkovik, M. (ed.) Student Session of the European Summer School for Logic, Language, and Information, pp. 17–24 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, Los Angeles, United States of America

    Mark Burgin

  2. Centre for Law & ICT, University of Groningen, Groningen, The Netherlands

    Kees (C. N. J. ) de Vey Mestdagh

Authors
  1. Mark Burgin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kees (C. N. J. ) de Vey Mestdagh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Integrated Sensor Systems, University of Kaiserslautern, Erwin-Schroedinger-str. 12, 67663, Kaiserslautern, Germany

    Andreas König

  2. Knowledge-Based Systems Group, Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, 67653, Kaiserslautern, Germany

    Andreas Dengel

  3. School of Business, University of Applied Sciences Northwestern Switzerland, Riggenbachstr. 16, 4600, Olten, Switzerland

    Knut Hinkelmann

  4. Graduate School of Engineering, Osaka Prefecture University, 1-1 Gakuen-cho, 599-8531, Sakai,, Osaka, Japan

    Koichi Kise

  5. KES International, P.O. Box 2115, BN43 9AF, Shoreham-by-sea, UK

    Robert J. Howlett

  6. University of South Australia, Adelaide, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Burgin, M., de Vey Mestdagh, K.(.N.J.). (2011). The Representation of Inconsistent Knowledge in Advanced Knowledge Based Systems. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds) Knowlege-Based and Intelligent Information and Engineering Systems. KES 2011. Lecture Notes in Computer Science(), vol 6882. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23863-5_54

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23863-5_54

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23862-8

  • Online ISBN: 978-3-642-23863-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation