 | Mobile Agents |
 |
 | Temporal Logic Motion Planning
Author : Seotsanyana, Motlatsi
Source : Defence Science Journal ; Vol:60(1) ; 2010 ; pp 023-038
Subject : 53 Applied Physics;Defence Science Journal
Keywords : Motion Planning;Temporal Logic;Real-Time;Formal Languages;Automata;Mobile Agents
Abstract : In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain and ever-changing environment, and (b) The accomplishment of high-level specification tasks which are more than just the traditional planning problem (i.e., start at initial state A and go to the goal state B) are considered. The use of theory of computation and formal methods, tools and techniques present a promising direction of research in solving motion planning problems that are influenced by high-level specification of complex tasks. The review, therefore, focuses only on those papers that use the aforementioned tools and techniques to solve a motion planning problem. A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented. |
| | Agent oriented programming in defence domain
Author : Doiphode, Sunil
Source : Defence Science Journal ; Vol:53(3) ; 2003 ; pp 267-273
Subject : 681.3:355 Computer Applications in Defence;681.3 Computer Science
Keywords : Agent oriented programming;Distributed artificial intelligence;Artificial intelligence;Decision support system;Object oriented programming;JAVA;Intelligent agents;Mobile agents;BDI agent
Abstract : Research in distributed artificial intelligence has given rise to agent-oriented programming (AOP), an advanced software modelling paradigm. It has several benefits when compared with the existing development approaches, in particular, the ability to let agents represent high-level abstractions of active entities in a software system. Although still young and under evolution, this paradigm has already shown particular promise in a number of areas. This paper gives an overview of this paradigm, its benefits over the other conventional programming paradigms being used. It also proposes the decision support system model for the military domain. In the proposed system there are certain critical issues, which need to be focused upon. The existing conventional paradigms are inadequate to deal with these issues. This paper identifies these critical issues and discusses how AOP can address these issues. |
|
