Introduction to Intelligent Network Routing Based on EVALPSN

  • Kazumi Nakamatsu
  • Jair Minoro Abe
  • Takashi Watanabe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6278)


The goal of our work is to make up an EVALPSN based multi-path ad-hoc network routing protocol system in which various kinds of protocols can be dealt with uniformly. In this paper, as the first step to our goal we introduce a single-path ad-hoc mobile network routing protocol based on a paraconsistent annotated logic program EVALPSN with a simple example of ad-hoc network routing, which is a translation of the DSR(Dynamic Source Routing) protocol into EVALPSN. Mainly route discovery is focused on in this paper.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Johnson, D.B., Maltz, D.A.: Dynamic Source Routing in Ad-Hoc Wireless Networks. In: Mobile Computing, ch. 5, pp. 153–181. Kluwer Academic Publishers, Dordrecht (1996)Google Scholar
  2. 2.
    Johnson, D.B., Maltz, D.A., Hu, A.Y., Jetcheva, J.G.: The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks. Internet draft, draft-ietfmanet-dsr-0.9.txt (2003)Google Scholar
  3. 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)CrossRefGoogle Scholar
  4. 4.
    Nakamatsu, K.: Pipeline Valve Control Based on EVALPSN Safety Verification. J. Advanced Computational Intelligence and Intelligent Informatics 10, 647–656 (2006)Google Scholar
  5. 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. 6.
    Nakamatsu, K., Abe, J.M., Akama, S.: An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 869–876. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Nakamatsu, K.: The Paraconsistent Annotated Logic Program EVALPSN and its Application. In: Computational Intelligence: A Compendium. Studies in Computational Intelligence, vol. 115, pp. 233–306. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Nakamatsu, K., Abe, J.M., Akama, S.: Paraconsistent Before-after Relation Reasoning Based on EVALPSN. In: New Directions in Intelligent Interactive Multimedia. Studies in Computational Intelligence, vol. 142, pp. 265–274. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Nakamatsu, K., Imai, T., Abe, J.M., Akama, S.: An Introduction to Plausible Reasoning Based on EVALPSN. In: New Advances in Intelligent Decision Technologies. Studies in Computational Intelligence, vol. 199, pp. 363–372. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Int’l J. Reasoning-based Intelligent Systems 1, 92–112 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Kazumi Nakamatsu
    • 1
  • Jair Minoro Abe
    • 2
  • Takashi Watanabe
    • 3
  1. 1.School of H.S.E.University of HyogoHimejiJapan
  2. 2.Paulista University, University of Sao PauloSao PauloBrazil
  3. 3.Faculty of InformationShizuoka UniversityHamamatsuJapan

Personalised recommendations