Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract)

作者: Duc N. Nguyen , William C. Regli , Marcello Balduccini

DOI:

关键词:

摘要: Traditional AI reasoning techniques have been used successfully in many domains, including logistics, scheduling and game playing. This paper is part of a project aimed at investigating how such can be extended to coordinate teams unmanned aerial vehicles (UAVs) dynamic environments. Specifically challenging are real-world environments where UAVs other network-enabled devices must communicate -- communication actions neither reliable nor free. Such network-centric common military, public safety commercial applications, yet most research (even multi-agent planning) usually takes communications among distributed agents as given. We address this challenge by developing an agent architecture algorithms based on Answer Set Programming (ASP). Although ASP has number the best our knowledge first practical application complete ASP-based architecture. It also involving combination centralized reasoning, decentralized execution monitoring, about network communications.

参考文章(16)
David Šišlák, Přemysl Volf, Štěpán Kopřiva, Michal Pěchouček, None, AgentFly: Scalable, High‐Fidelity Framework for Simulation, Planning and Collision Avoidance of Multiple UAVs Sense and Avoid in UAS: Research and Applications. pp. 233- 264 ,(2012) , 10.1002/9781119964049.CH9
Anand S. Rao, Michael P. Georgeff, Modeling rational agents with a BDI-architecture principles of knowledge representation and reasoning. pp. 317- 328 ,(1997)
Mirek Truszczynski, Victor W. Marek, Krzysztof R. Apt, David S. Warren, The Logic Programming Paradigm: A 25-Year Perspective The Logic Programming Paradigm: A 25-Year Perspective 1st. pp. 472- 472 ,(2011)
Chitta Baral, Michael Gelfond, Reasoning agents in dynamic domains Logic-based artificial intelligence. pp. 257- 279 ,(2000) , 10.1007/978-1-4615-1567-8_12
D. V. Pynadath, M. Tambe, The communicative multiagent team decision problem: analyzing teamwork theories and models Journal of Artificial Intelligence Research. ,vol. 16, pp. 389- 423 ,(2002) , 10.1613/JAIR.1024
Michael J. Wooldridge, Reasoning about Rational Agents ,(2000)
Jeff Ahrenholz, Comparison of CORE network emulation platforms military communications conference. pp. 166- 171 ,(2010) , 10.1109/MILCOM.2010.5680218
Michael Gelfond, Vladimir Lifschitz, Representing action and change by logic programs Journal of Logic Programming. ,vol. 17, pp. 301- 321 ,(1993) , 10.1016/0743-1066(93)90035-F
MARCELLO BALDUCCINI, MICHAEL GELFOND, Diagnostic reasoning with A-Prolog Theory and Practice of Logic Programming. ,vol. 3, pp. 425- 461 ,(2003) , 10.1017/S1471068403001807