Skip to main content
SpringerLink
Log in

An Intelligent Safety Verification Based on a Paraconsistent Logic Program

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2005)

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

Abstract

We introduce an intelligent safety verification method based on a paraconsistent logic program EVALPSN with a simple example for brewery pipeline valve control. The safety verification is carried out by paraconsistent logic programming called EVALPSN.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Nakamatsu, K., Abe, J.M., Suzuki, A.: A Defeasible Deontic Reasoning System Based on Annotated Logic Programming. In: Proc. the 4th Int’l Conf. Computing Anticipatory Systems, AIP Conf. Proc., vol. 573, pp. 609–620 (2001)

    Google Scholar 

  2. Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, pp. 432–440. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  3. Nakamatsu, K., Abe, J.M., Suzuki, A.: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. In: Soft Computing Systems. Frontiers in AI Applications, vol. 87, pp. 775–784 (2002)

    Google Scholar 

  4. Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALP. In: Proc. the 9th Int’l Conf. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. LNCS, vol. 2639, pp. 719–723. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hyogo, Himeji, Japan

    Kazumi Nakamatsu

  2. Teikyo Heisei University, Chiba, Japan

    Seiki Akama

  3. University of Sao Paulo, Paulista University, Sao Paulo, Brazil

    Jair Minoro Abe

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business, La Trobe University, 3086, Melbourne, Victoria, Australia

    Rajiv Khosla

  2. Centre for SMART systems Engineering Research Centre, University of Brighton, BN2 4GJ, Moulsecoomb, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nakamatsu, K., Akama, S., Abe, J.M. (2005). An Intelligent Safety Verification Based on a Paraconsistent Logic Program. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_97

Download citation

  • DOI: https://doi.org/10.1007/11552451_97

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28895-4

  • Online ISBN: 978-3-540-31986-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation