Knowledge Representation and Unmanned Aerial Vehicles

Knowledge representation technologies play a fundamental role in any autonomous system that includes deliberative capability and that internalizes models of its internal and external environments. Integrating both high- and low-end autonomous functionality seamlessly in autonomous architectures is currently one of the major open problems in robotics research. UAVs offer especially diflcult challenges in comparison with ground robotic systems due to the ofen tight time constraints and safety considerations that must be taken into account. This article provides an overview of some of the knowledge representation technologies and deliberative capabilities developed for a fully deployed autonomous unmanned aerial vehicle system to meet some of these challenges.

[1]  Patrick Doherty.  Advanced Research with Autonomous Unmanned Aerial Vehicles , 2004, KR.

[2]  Jonas Kvarnström,et al.  TALplanner in the Third International Planning Competition: Extensions and Control Rules , 2003, J. Artif. Intell. Res..

[3]  Patrick Doherty,et al.  Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases , 2004, Rough-Neural Computing: Techniques for Computing with Words.

[4]  Patrick Doherty,et al.  Approximate databases: a support tool for approximate reasoning , 2006, J. Appl. Non Class. Logics.

[5]  Patrick Doherty,et al.  Tolerance Spaces and Approximative Representational Structures , 2003, KI.

[6]  Patrick Doherty,et al.  Probabilistic roadmap based path planning for an autonomous unmanned helicopter , 2006, J. Intell. Fuzzy Syst..

[7]  Patrick Doherty,et al.  Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas , 2001, IJCAI.

[8]  Patrick Doherty,et al.  Managing Dynamic Object Structures using Hypothesis Generation and Validation , 2004 .

[9]  Patrick Doherty,et al.  TALplanner: A Temporal Logic-Based Planner , 2001, AI Mag..

[10]  Patrick Doherty,et al.  DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems , 2004, MSRAS.

[11]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[12]  Simone Duranti,et al.  Autonomous Landing of an Unmanned Helicopter based on Vision and Inertial Sensing , 2004, ISER.

[13]  Jonas Kvarnström,et al.  TALplanner and Other Extensions to Temporal Action Logic , 2005 .

[14]  Patrik Haslum,et al.  A Distributed Architecture for Intelligent Unmanned Aerial Vehicle Experimentation , 2004 .

[15]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[16]  Patrick Doherty,et al.  Declarative PTIME Queries for Relational Databases using Quantifier Elimination , 1999, J. Log. Comput..

[17]  Steven M. LaValle,et al.  RRT-connect: An efficient approach to single-query path planning , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[18]  Patrick Doherty,et al.  Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle , 2006, 2006 International Conference on Hybrid Information Technology.

[19]  A. Szałas,et al.  A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory , 1999 .

[20]  Patrick Doherty,et al.  Communication between agents with heterogeneous perceptual capabilities , 2007, Inf. Fusion.

[21]  Patrick Doherty,et al.  DyKnow: An approach to middleware for knowledge processing , 2004, J. Intell. Fuzzy Syst..

[22]  Krzysztof Kuchcinski,et al.  The WITAS Unmanned Aerial Vehicle Project , 2000, ECAI.

[23]  Patrick Doherty,et al.  Computing Circumscription Revisited: A Reduction Algorithm , 1997, Journal of Automated Reasoning.

[24]  Patrick Doherty,et al.  Information Granules for Intelligent Knowledge Structures , 2003, RSFDGrC.

[25]  Andrzej Szałas,et al.  ELIMINATION OF PREDICATE QUANTIFIERS , 1999 .

[26]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

[27]  Patrick Doherty,et al.  TALplanner: an empirical investigation of a temporal logic-based forward chaining planner , 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.

[28]  Patrick Doherty,et al.  CAKE: A Computer-Aided Knowledge Engineering Technique , 2002, ECAI.

[29]  Andrzej Skowron,et al.  Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge , 2004, Rough-Neural Computing: Techniques for Computing with Words.

[30]  Patrik Haslum,et al.  A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation , 2004, DARS.

[31]  Torsten Merz.  Building a System for Autonomous Aerial Robotics Research , 2004 .

[32]  Patrick Doherty,et al.  On the Correspondence between Approximations and Similarity , 2004, Rough Sets and Current Trends in Computing.

[33]  Simone Duranti,et al.  Dynamic 3D path following for an autonomous helicopter , 2004 .

[34]  Andrzej Skowron,et al.  Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence , 2005 .

[35]  Andrzej Szałas,et al.  An Experimental Platform for Approximate Databases , 2005 .

[36]  Patrick Doherty,et al.  A knowledge processing middleware framework and its relation to the JDL data fusion model , 2005, 2005 7th International Conference on Information Fusion.