Introduction to Intelligent Network Routing Based on EVALPSN
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.
- 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.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
- 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.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