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.

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.