Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic --- Modality (Logic) --- Formal languages. --- Reasoning --- Logique --- Modalité (Logique) --- Langages formels --- Raisonnement --- Commonsense reasoning. --- Modality (Logic). --- Modalité (Logique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Knowledge representation (Information theory) --- Rough sets. --- Représentation des connaissances --- Ensembles approximatifs --- Knowledge representation (Information theory). --- Rough sets --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Applied Mathematics --- Computer Science --- Civil Engineering --- Rough set theory --- Theory of rough sets --- Representation of knowledge (Information theory) --- Computer science. --- Artificial intelligence. --- Engineering. --- Applied mathematics. --- Engineering mathematics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Appl.Mathematics/Computational Methods of Engineering. --- Engineering, general. --- Set theory --- Artificial intelligence --- Information theory --- Artificial Intelligence. --- Mathematical and Computational Engineering. --- Construction --- Industrial arts --- Technology --- Engineering --- Engineering analysis --- Mathematical analysis --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematics --- Knowledge Representation (Information Theory) --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)