Skip to main content
SpringerLink
Log in
Book cover

Innovations in Intelligent Systems pp 257–283Cite as

Intelligent Information Systems Based on Paraconsistent Logic Programs

  • Chapter

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 140))

Summary

This chapter provides two intelligent system frameworks, an action control framework and a safety verification framework, based on a paraconsistent logic program called EVALPSN. Two examples for the EVALPSN based intelligent frameworks, an intelligent robot action control system and an automated safety verification system for railway interlocking, are introduced.

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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Billington, D. (1993): Defeasible Logic is Stable. J. Logic and Computation 3, 379–400

    Article  MathSciNet  MATH  Google Scholar 

  2. Billington, D. (1997): Conflicting Literals and Defeasible Logic. Nayak, A. and Pagnucco, M. (eds.) Proc. 2nd Australian Workshop on Commonsense Reasoning, The Australian Computer Society, 1–15

    Google Scholar 

  3. Blair, H.A. and Subrahmanian, V.S. (1989): Paraconsistent Logic Programming. Theoretical Computer Science 68, 135–154

    Article  MathSciNet  MATH  Google Scholar 

  4. da Costa, N.C.A., Subrahmanian, V.S., and Vago, C. (1989): The Paraconsistent Logics PT. Zeitschrift für Mathematische Logic und Grundlangen der Mathematik 37, 139–148

    Article  Google Scholar 

  5. Gelder, A.V., Ross, K.A. and Schlipf, J.S. (1991): The Well-Founded Semantics for General Logic Programs. J. the Association for Computing Machinery 38, 620–650

    MATH  Google Scholar 

  6. Gelfond, M. and Lifschitz, V. (1989): The Stable Model Semantics for Logic Programming. Proc. 5th International Conference and Symposium on Logic Programming, MIT Press, 1070–1080

    Google Scholar 

  7. Gordon, M.J.C. and Melham, T.F. (1993), Introduction to HOL, Cambridge Univ. Press

    Google Scholar 

  8. Kifer, M. and Subrahmanian, V.S. (1992): Theory of Generalized Annotated Logic Programming and its Applications. J.Logic Programming 12, 335–368

    Article  MathSciNet  Google Scholar 

  9. Lloyd, J.W. (1987): Foundations of Logic Programming 2nd edition. Springer-Verlag

    Google Scholar 

  10. Morley, J.M. (1996): Safety Assurance in Interlocking Design. Ph.D Thesis, University of Edinburgh

    Google Scholar 

  11. Nakamatsu, K. and Suzuki, A. (1994): Annotated Semantics for Default Reasoning. Dai, R. (ed.) Proc. 3rd Pacific Rim International Conference on Artificial Intelligence, International Academic Publishers, 180–186

    Google Scholar 

  12. Nakamatsu, K. and Suzuki, A. (1998): A Nonmonotonic ATMS Based on Annotated Logic Programs. Agents and Multi-Agents Systems, LNAI 1441, Springer-Verlag, 79–93

    Google Scholar 

  13. Nakamatsu, K. and Abe, J.M. (1999): Reasonings Based on Vector Annotated Logic Programs. Computational Intelligence for Modelling, Control & Automation, Concurrent Systems Engineering Series 55, IOS Press, 396–403

    Google Scholar 

  14. Nakamatsu, K., Abe, J.M., and Suzuki, A. (1999): Defeasible Reasoning Between Conflicting Agents Based on VALPSN. Proc. AAAI Workshop Agents’ Conflicts, AAAI Press, 20–27

    Google Scholar 

  15. Nakamatsu, K., Abe, J.M., and Suzuki, A. (1999): Defeasible Reasoning Based on VALPSN and its Application. Proc. The Third Australian Commonsense Reasoning Workshop, 114–130

    Google Scholar 

  16. Nakamatsu, K., Abe, J.M., and Suzuki, A. (2001): A Defeasible Deontic Reasoning System Based on Annotated Logic Programming. Proc. the Fourth International Conference on Computing Anticipatory Systems, American Institute of Physics, AIP Conference Proceedings 573, 609–620

    Google Scholar 

  17. Nakamatsu, K., Abe, J.M., and Suzuki, A. (2001): Annotated Semantics for Defeasible Deontic Reasoning. Proc. the Second International Conference on Rough Sets and Current Trends in Computing, LNAI 2005, Springer-Verlag, 432–440

    Google Scholar 

  18. Nute, D. (1987): Defeasible Reasoning. Proc. Hawaii International Conference on System Science, 470–477

    Google Scholar 

  19. Nute, D. (1992): Basic Defeasible Logics. Intensional Logics for Programming. Oxford University Press, 125–154

    Google Scholar 

  20. Nute, D. (ed.) (1997): Defeasible Deontic Logic. Kluwer Academic Publisher, 287–316

    Google Scholar 

  21. Subrahmanian, V.S. (1994): Amalgamating Knowledge Bases. ACM Transactions on Database Systems 19, 291–331

    Article  MathSciNet  Google Scholar 

  22. Subrahmanian, V.S. (1987): On the Semantics of Qualitative Logic Programs. Proc. 4th IEEE Symposium on Logic Programming, 178–182

    Google Scholar 

Download references

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Oklahoma State University, 700 N Greenwood Avenue, 74106, Tulsa, OK, USA

    Ajith Abraham

  2. Knowledge-Based Intelligent Engineering Systems Centre (KES), University of South Australia, 5095, Adelaide, Mawson Lakes, South Australia, Australia

    Lakhmi Jain

  3. Department of Electrical Engineering, University of Twente, P.O. Box 217, 7500AE, Enschede, The Netherlands

    Berend Jan van der Zwaag

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Nakamatsu, K. (2004). Intelligent Information Systems Based on Paraconsistent Logic Programs. In: Abraham, A., Jain, L., van der Zwaag, B.J. (eds) Innovations in Intelligent Systems. Studies in Fuzziness and Soft Computing, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39615-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39615-4_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05784-7

  • Online ISBN: 978-3-540-39615-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation