Progress within many areas of Artificial Intelligence, including natural language processing (NLP), vision and expert systems, depends heavily on the proper formalization of common- sense reasoning. A fundamental of this kind of reasoning is its nonmonotonicity, that is its ability to draw conclusions which can be invalidated by new information. In a systematic survey of the leading approaches to the problem of formalizing various nonmonotonic inference patterns, the book carefully blends leading edge research ideas with readability. The author has taken great care to ensure that it is a totally self-contained work, incorporating chapters on automatic theorem proving, main approaches to nonmonotonic reasoning, presenting and analysing several nonmonotonic formalisms: it is addressed to research workers in AI and many related disciplines, as well as practitioners and those involved with expert and intelligent knowledge-based systems. The book will be of benefit to researchers and practitioners interested in artificial intelligence, intelligent systems, expert systems, natural language processing, knowledge engineering and computer vision.

Non-Monotonic Reasoning: Formalization of Commonsense Reasoning (Ellis Horwood Series in Artificial Intelligence)

Computers & Technology

Lukaszewicz, Witold

Computer Science

Ellis Horwood, Ltd.

This book contains a cohesive, self-contained collection of theoretical and applied research results that have been achieved in this project which pertain to nonmonotonic and approximate easoning 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 Techniques: A Rough Set Approach (Studies in Fuzziness and Soft Computing, 202)

Doherty, Patrick

Szalas, Andrzej

Springer

See the best price to sell, buy, or rent books by Lukaszewicz, Witold. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Lukaszewicz, Witold