iosr-JCE   Volume-6 ~ Issue-3

Abstract:Artificial intelligence (AI) is the study of how to make computers do things which, at the moment, people do better. Thus Strong AI claims that in near future we will be surrounded by such kinds of machine which can completely works like human being and machine could have human level intelligence. One intention of this article is to excite a broader AI audience about abstract algorithmic information theory concepts, and conversely to inform theorists about exciting applications to AI.The science of Artificial Intelligence (AI) might be defined as the construction of intelligent systems and their analysis.
Keywords: Artificial Intelligence, Algorithms

[1] http://www.hutter1.net/ai/uaibook.html.
[2] Elaine Rich, Kevin Knight, " Artificial Intelligence", Second Edition, page no.3.
[3] " Universal Artificial Intelligence"Subtitle: Sequential Decisions based on Algorithmic Probability.
[4] http://en.wikipedia.org/wiki/Artificial_intelligence.
[5] http://www.codeproject.com/Articles/16286/AI-Simple-Genetic-Algorithm-GA-to-solve-a-card-pro.
[6] http://artint.info/html/ArtInt_51.html.
[7] David Poole,AlanMackworth, "Artificial Intelligence: Foundations of Computational Agents",2010.
[8] http://www.kirupa.com/forum/showthread.php?72863-Tutorial-Path-Finding-Algorithms-AI.
[9] http://webdocs.cs.ualberta.ca/~lanctot/files/papers/pathfinding-orbius-2006.pdf.
[10] http://en.wikipedia.org/wiki/A*_search_algorithm.

Abstract:Wireless sensor network is important in sensing, Collecting and disseminating information about environmental Phenomenon. This paper contain emerging field to classify wireless micro sensor network according to different communication functions, data delivery models and network dynamics. This taxonomy will aid in defining appropriate communication infra structure for diff. sensor network application subspaces. It allows network designer to choose the Protocol architecture. According to their application this taxonomy will enable new sensor network models to define for use in further research in this area. The overall communication behavior in a wireless micro sensor Network is application driven. It is useful to decouple the application communication used for information dissemination from the infrastructure communication used to configure and optimize the Network. This separation will aid network designers in selecting the appropriate sensor network architecture that will best match the characteristics of the communication traffic of a given application.

[1] Sameer Tilak, Nael B, Abu-Ghazaleh and Wendi Heizelmn,"A Taxonomy of Wireless Micro Sensor Network Models",
[2] Sameer Tilak, Nael B, Abu-Ghazaleh and Wendi Heizelmn ," The Updatesd A Taxonomy of Wireless Micro Sensor Network
Models",ACM And Mobile Computing Review, April 2002,Volume 1,Number 2.

Abstract:In this paper we describe mobile network and efficient routing protocol for wireless ad hoc networks. We report on its implementation, on performance comparisons and on a formal validation result. Moreover we discuss Cellular system design, global System for mobile Communication, Formal Protocol Verification and operating over infrared or Bluetooth. This paper evaluates two model checking tools, SPIN and UPPAAL, using the verification of the Ad hoc Routing protocol as a case study. Insights are reported in terms of identifying important modeling considerations and the types of ad hoc protocol properties that can realistically be verified
Keywords:Cellular Phone network, mobile ad hoc networks, routing protocols, Wireless networks, ad hoc routing, routing protocol Implementation, formal validation, model checking, Infrared or Bluetooth, GSM.

[1] Bin Li, Lizhong Li, Bo Li and Xi-Ren Cao, "On Handoff Performance for an Integrated Voice/Data Cellular System", Journal of
Wireless Networks 9,393-402,2003
[2] Marcos A. C. Lima, Aluizio F.R. Araújo, and Amílcar C. César , "Dynamic channel assignment in mobile communications
based on genetic algorithm", 0-7803-7589-0/02 2002 IEEE
[3] Somnath Sinha Maha Patra, "Improved Genetic algorithm for channel allocation scheme with channel borrowing in Mobile
Computing", IEEE Transactions on Mobile Computing, vol-5, No.7, July 2006.
[4] Arup Acharya, Archan Misra and Sorav Bansal. .A Label-switching Packet Forwarding architecture for Multi-hop Wireless LANs.
[5] Proc WoWMoM'02, Sep 2002, Atlanta, USA Lundgren, H.: Implementation and Real-world Evaluation of Routing Protocols for
Wireless Ad hoc Networks. Licentiate thesis, Uppsala University (2002)
[6] IETF MANET Working Group: MANET charter. http://www.ietf.org/html. charters/manet-charter.html (2004
[7] Perkins, C., Belding-Royer, E., Das, S.: Request for Comments: Ad hoc on-demand distance vector (AODV) routing.
http://www.ietf.org/rfc/rfc3561.txt (2003).
[8] Johnson, D.B., Maltz, D.A., Hu, Y.C.: Internet draft: The dynamic source routing protocol for mobile ad hoc networks (DSR).
http://www.ietf.org/internet-drafts/draft-ietf-manet-dsr-09.txt (2003).
[9] Xiong, C., Murata, T., Tsai, J.: Modelling and simulation of routing protocol for mobile ad hoc networks using coloured Petri nets.
In: Proc. Workshop on Formal Methods Applied to Defence Systems in Formal Methods in Software Engineering and Defence
Systems. (2002)
[10] Tian-Tsair SutS, Po-Chiun Huangt, and Chung-Ju Changt,"A channel borrowing protection scheme for handoffs in a cellular
based pcs system" , 0-7803-2955-4/95/ IEEE