Skip to main content
SpringerLink
Log in

A Discrete Event Control Based on EVALPSN Stable Model Computation

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

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

Abstract

In this paper, we introduce a discrete event control for Cat and Mouse example based on a paraconsistent logic program EVALPSN stable model computation. Predicting and avoiding control deadlock states are crucial problems in discrete event control systems. We show that the EVALPSN control can deal with prediction and avoidance of control dadlock states in the Cat and Mouse by defining general rules to represent the deadlock states in EVALPSN, and is much more flexible than the previous version of EVALPSN Cat and Mouse control. We also show how to translate the control properties of the Cat and Mouse into 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. Blair, H.A., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science 68, 135–154 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  2. da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The Paraconsistent Logics P\({\cal T}\). Zeitschrift für Mathematische Logic und Grundlangen der Mathematik 37, 139–148 (1991)

    Article  MATH  Google Scholar 

  3. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. 5th IEEE Int’l Conf. and Symp. Logic Programming, pp. 1070–1080 (1989)

    Google Scholar 

  4. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  5. Nakamatsu, K., Suzuki, A.: Annotated Semantics for Default Reasoning. In: Proc. 3rd Pacific Rim Int’l Conf. AI, pp. 180–186. Academic Press, London (1994)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

  9. Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming. In: Proc. the Fifth International Conference on Computing Anticipatory Systems, AIP Conference Proceedings, vol. 627, pp. 490–500. American Institute of Physics, New York (2002)

    Google Scholar 

  10. Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Paraconsistent Logic Program Based Safety Verification for Air Traffic Control. In: Proc. 2002 IEEE International Conference on Systems, Man and Cybernetics. IEEE, Los Alamitos (2002) (CD-ROM)

    Google Scholar 

  11. 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. IOS Press, Amsterdam (2002)

    Google Scholar 

  12. Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALP. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol. 2639, pp. 719–723. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Nakamatsu, K., Komaba, H., Suzuki, A.: Defeasible Deontic Control for Discrete Events Based on EVALPSN. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 310–315. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Ramadge, J.G.P., Wonham, W.M.: The Control of Discrete Event Systems. In: Proc. IEEE 77(1), 81–98 (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of H.S.E., University of Hyogo, Himeji, 670-0092, Japan

    Kazumi Nakamatsu

  2. Dept. Electrical Eng., NTUST, Taipei, 106, Taiwan

    Sheng-Luen Chung

  3. Dept. Information, Shizuoka University, Hamamatsu, 432-8011, Japan

    Hayato Komaba & Atsuyuki Suzuki

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sheng-Luen Chung
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hayato Komaba
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Atsuyuki Suzuki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Regina, Regina, SK, S4S 0A2 Canada, Polish-Japanese Institute of Information Technology, Koszykowa 86, 02-008 Warsaw, P.O. Box, Poland

    Dominik Ślęzak

  2. School of Information Science and Technology, Southwest Jiaotong University, 610031, Chengdu, P.R. China

    Guoyin Wang

  3. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Marcin Szczuka

  4. Department of Computer Science, Brock University, St. Catharines, L2S 3A1, Ontario, Canada

    Ivo Düntsch

  5. Department of Computer Science, University of Regina, S4S 0A2, Regina, Saskatchewan, Canada

    Yiyu Yao

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nakamatsu, K., Chung, SL., Komaba, H., Suzuki, A. (2005). A Discrete Event Control Based on EVALPSN Stable Model Computation. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds) Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. RSFDGrC 2005. Lecture Notes in Computer Science(), vol 3641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11548669_69

Download citation

  • DOI: https://doi.org/10.1007/11548669_69

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28653-0

  • Online ISBN: 978-3-540-31825-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation