Skip to main content
SpringerLink
Log in

A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN

  • Conference paper
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2009)

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

  • 1468 Accesses

Abstract

A paraconsistent annotated logic program called bf-EVALPSN has been developed for dealing with before-after relations between time intervals (processes) and applied to real-time process order control. In this paper, we introduce a logical before-after relation reasoning system based on two inference rules for before-after relation with simple examples.

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. Allen, J.F.: Towards a General Theory of Action and Time. Artificial Intelligence 23, 123–154 (1984)

    Article  MATH  Google Scholar 

  2. Allen, J.F., Ferguson, G.: Actions and Events in Interval Temporal Logic. J. Logic and Computation 4, 531–579 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  3. 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 

  4. Nakamatsu, K.: Pipeline Valve Control Based on EVALPSN Safety Verification. JACIII 10, 647–656 (2006)

    Google Scholar 

  5. Nakamatsu, K., Mita, Y., Shibata, T.: An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation. J. Intelligent Automation and Soft Computing 13, 289–304 (2007)

    Google Scholar 

  6. Nakamatsu, K., Abe, J.M., Akama, S.: Paraconsistent Before-after Relation Reasoning Based on EVALPSN. Studies in Computational Intelligence, vol. 142, pp. 265–274. Springer, Heidelberg (2008)

    Google Scholar 

  7. Nakamatsu, K., Akama, S., Abe, J.M.: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008, Part II. LNCS (LNAI), vol. 5178, pp. 474–482. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Intl. J. Reasoning-based Intelligent Systems 1, 92–110 (2009)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hyogo, Himeji, Japan

    Kazumi Nakamatsu

  2. Paulista University, Sao Paulo, Brazil

    Jair Minoro Abe

  3. University of Tsukuba, Tsukuba, Japan

    Seiki Akama

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Aided Sciences, Kyushu Institute of Technology, 804-8550, Tobata, Kitakyushu, Japan

    Hiroshi Sakai

  2. Department of Pure Mathematics, University of Calcutta, 35 Ballygunge Circular Road, 700019, Kolkata, India

    Mihir Kumar Chakraborty

  3. Information Technology Department, University of Cairo, 5 Ahmed Zewal St. Orman, Giza, Egypt

    Aboul Ella Hassanien

  4. University of Warsaw & Infobright Inc., Poland

    Dominik Ślęzak

  5. University of Electronic Science and Technology of China, Chengdu, China

    William Zhu

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nakamatsu, K., Abe, J.M., Akama, S. (2009). A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. In: Sakai, H., Chakraborty, M.K., Hassanien, A.E., Ślęzak, D., Zhu, W. (eds) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. RSFDGrC 2009. Lecture Notes in Computer Science(), vol 5908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10646-0_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-10646-0_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-10645-3

  • Online ISBN: 978-3-642-10646-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation