1 Background The basis for the material in this book centers around research done in an ongoing long-term project which focuses on the development of highly au- 1 tonomousunmannedaerialvehiclesystems. Theactualplatformwhichserves as a case study for the research in this book will be described in detail later in this chapter. Before doing that, a brief background of the motivations - hind this research will be provided. One of the main research topics in the project is knowledge representation and reasoning and its use in Uav pl- forms. A very strong constraint has been placed on the nature of research done in the project where theoretical results, to the greatest extent possible, should serve as a basis for tractable reasoning mechanisms for use in a fully deployed autonomous Uav operating under soft real-time constraints asso- ated with the types of mission scenarios envisioned. Considering that much of the work with knowledge representation in this context focuses on application domains where one can only hope for an incomplete characterization of such domains, this methodological constraint has proven to be quite challenging since, in essence, the focus is on tractable approximate and nonmonotonic reasoning systems. As is well known, until recently, nonmonotonic formalisms have had a notorious reputation for lack of tractable and scalable reasoning systems.

Most important feature of our book is a new methodology and new methods for approximate reasoning leading from experimental knowledge (e.g. sensor measurements) to conclusions in natural language. The new results include foundations of our approach built using rough set approach for inducing concept approximations and reasoning with them, methods for embadding background knowledge as well as non-monotonic reasoning in reasoning engines of intelligent systems Readers interested in constructing intelligent systems can learn a novel methodology crucial for development of such systems

Klappentext

The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle systems. One of the main research topics in the project is knowledge representation and reasoning. The focus of the research has been on the development of tractable combinations of approximate and nonmonotonic reasoning systems. The techniques developed are based on intuitions from rough set theory. Efforts have been made to take theory into practice by instantiating research results in the context of traditional relational database or deductive database systems. This book contains a cohesive, self-contained collection of many of the theoretical and applied research results that have been achieved in this project and for the most part pertain to nonmonotonic and approximate reasoning systems developed for an experimental unmanned aerial vehicle system used in the project. This book should be of interest to the theoretician and applied researcher alike and to autonomous system developers and software agent and intelligent system developers.

Inhalt
and Preliminaries.- Basic Notions.- Rough Sets.- Relational and Deductive Databases.- Non-Monotonic Reasoning.- From Relations to Knowledge Representation.- Rough Knowledge Databases.- Combining Rough and Crisp Knowledge.- Weakest Sufficient and Strongest Necessary Conditions.- CAKE: Computer Aided Knowledge Engineering.- Formalization of Default Logic Using CAKE.- A UAV Scenario: A Case Study.- From Sensors to Relations.- Information Granules.- Tolerance Spaces.- A Rough Set Approach to Machine Learning.- UAV Learning Process: A Case Study.