Автор: Dov M. Gabbay; Karl Schlechta Название: A New Perspective on Nonmonotonic Logics ISBN: 3319468154 ISBN-13(EAN): 9783319468150 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.
Автор: Ribeiro Название: Belief Revision in Non-Classical Logics ISBN: 1447141857 ISBN-13(EAN): 9781447141853 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Автор: Murphy, Robin R. Название: Introduction to ai robotics ISBN: 0262133830 ISBN-13(EAN): 9780262133838 Издательство: Wiley Рейтинг: Цена: 10296.00 р. Наличие на складе: Поставка под заказ.
Описание:
A comprehensive introduction to the AI approach to robotics, combining theoretical rigor and practical applications; with case studies and exercises.
This text covers all the material needed to understand the principles behind the AI approach to robotics and to program an artificially intelligent robot for applications involving sensing, navigation, planning, and uncertainty. Robin Murphy is extremely effective at combining theoretical and practical rigor with a light narrative touch. In the overview, for example, she touches upon anthropomorphic robots from classic films and science fiction stories before delving into the nuts and bolts of organizing intelligence in robots.
Following the overview, Murphy contrasts AI and engineering approaches and discusses what she calls the three paradigms of AI robotics: hierarchical, reactive, and hybrid deliberative/reactive. Later chapters explore multiagent scenarios, navigation and path-planning for mobile robots, and the basics of computer vision and range sensing. Each chapter includes objectives, review questions, and exercises. Many chapters contain one or more case studies showing how the concepts were implemented on real robots. Murphy, who is well known for her classroom teaching, conveys the intellectual adventure of mastering complex theoretical and technical material. An Instructor's Manual including slides, solutions, sample tests, and programming assignments is available to qualified professors who are considering using the book or who are using the book for class use.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Loizos Michael; Antonis Kakas Название: Logics in Artificial Intelligence ISBN: 3319487574 ISBN-13(EAN): 9783319487571 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
Автор: H.B. Mitchell Название: Multi-Sensor Data Fusion: An Introduction ISBN: 3642090672 ISBN-13(EAN): 9783642090677 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Поставка под заказ.
Описание: This textbook provides a comprehensive introduction to the theories and techniques of multi-sensor data fusion. No previous knowledge of multi-sensor data fusion is assumed, although some familiarity with the basic tools of linear algebra, calculus and simple probability theory is recommended.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
