Описание: The general problem addressed in this book is a large and important one: how to usefully deal with huge storehouses of complex information about real-world situations.
Автор: Lech Polkowski Название: Approximate Reasoning by Parts ISBN: 3642269850 ISBN-13(EAN): 9783642269851 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree.
Автор: Olivetti Название: Automated Reasoning ISBN: 3319402285 ISBN-13(EAN): 9783319402284 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.
Автор: Ortiz Название: Web Reasoning and Rule Systems ISBN: 3319452754 ISBN-13(EAN): 9783319452753 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Web Reasoning and Rule Systems, RR 2016, held in Aberdeen, Scotland, UK, in September 2016.The 10 full papers and 3 technical communications presented were carefully reviewed and selected from 17 submissions.
Описание: This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.
Автор: Leonid Perlovsky; Ross Deming; Roman Ilin Название: Emotional Cognitive Neural Algorithms with Engineering Applications ISBN: 3642269389 ISBN-13(EAN): 9783642269387 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Dynamic logic (DL) recently had a highest impact on the development in several areas of modeling and algorithm design. Emerging areas include cognitive, emotional, intelligent systems, data mining, modeling of the mind, higher cognitive functions, evolution of languages and other.
Автор: Lagkas, Sarigiannidis, Louta & C Название: Evolution Of Cognitive Networks And Self-Adaptive Communication Systems ISBN: 1466641894 ISBN-13(EAN): 9781466641891 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: <em>Evolution of Cognitive Networks and Self-Adaptive Communication Systems</em> overviews innovative technologies combined for the formation of self-aware, self-adaptive, and self-organising networks. By aiming to inform the research community and the related industry of solutions for cognitive networks, this book is essential for researchers, instructors, and professionals interested in clarifying the latest trends towards a unified realisation for cognitive networking and communication systems.
Автор: Roumen Kountchev; Kazumi Nakamatsu Название: Advances in Reasoning-Based Image Processing Intelligent Systems ISBN: 364244623X ISBN-13(EAN): 9783642446238 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Foregrounding contemporary techniques for reasoning-based image processing and analysis, the 14 chapters in this book are self-contained monographs covering a broad spectrum of complementary topics, all written by leading experts working in the field.
Автор: Walton Название: Goal-based Reasoning for Argumentation ISBN: 1107119049 ISBN-13(EAN): 9781107119048 Издательство: Cambridge Academ Рейтинг: Цена: 12670.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Practical argumentation is intelligent reasoning from an agent`s goals and known circumstances, and from an action selected as a means, to arrive at a decision on what action to take. This book will appeal to a wide audience, from designers of multi-agent and robotics systems to social scientists.
Автор: Sven Helmer; Alexandra Poulovassilis; Fatos Xhafa Название: Reasoning in Event-Based Distributed Systems ISBN: 3642267866 ISBN-13(EAN): 9783642267864 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Event-based distributed systems are playing an increasingly important role in a broad range of application domains. This book presents a thorough review of reasoning in event-based distributed systems. It also contains new research and extensive references.
Автор: Eccles Название: An Introduction to Mathematical Reasoning ISBN: 0521597188 ISBN-13(EAN): 9780521597180 Издательство: Cambridge Academ Рейтинг: Цена: 5702.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. Over 250 problems include questions to interest and challenge the most able student and plenty of routine exercises to help familiarize the reader with the basic ideas.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
