Reasoning and Language at Work: A Critical Essay, Trillas Enric, Termini Settimo, Tabacchi Marco Elio

Автор: Diedrich Wolter
Название: Spatial Representation and Reasoning for Robot Mapping
ISBN: 3642088570 ISBN-13(EAN): 9783642088575
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental representations and processes involved. The book includes an extensive discussion of the literature.

Автор: Pietro Lio and Paolo Zuliani
Название: Automated Reasoning for Systems Biology and Medicine
ISBN: 3030172961 ISBN-13(EAN): 9783030172961
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Нет в наличии.
Описание: This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques to analyse complex models in systems biology and systems medicine. Automated reasoning is a field of computer science devoted to the development of algorithms that yield trustworthy answers, providing a basis of sound logical reasoning. For example, in the semiconductor industry formal verification is instrumental to ensuring that chip designs are free of defects (or "bugs").

Over the past 15 years, systems biology and systems medicine have been introduced in an attempt to understand the enormous complexity of life from a computational point of view. This has generated a wealth of new knowledge in the form of computational models, whose staggering complexity makes manual analysis methods infeasible. Sound, trusted, and automated means of analysing the models are thus required in order to be able to trust their conclusions.

Above all, this is crucial to engineering safe biomedical devices and to reducing our reliance on wet-lab experiments and clinical trials, which will in turn produce lower economic and societal costs. Some examples of the questions addressed here include: Can we automatically adjust medications for patients with multiple chronic conditions? Can we verify that an artificial pancreas system delivers insulin in a way that ensures Type 1 diabetic patients never suffer from hyperglycaemia or hypoglycaemia? And lastly, can we predict what kind of mutations a cancer cell is likely to undergo? This book brings together leading researchers from a number of highly interdisciplinary areas, including: * Parameter inference from time series * Model selection * Network structure identification * Machine learning * Systems medicine * Hypothesis generation from experimental data * Systems biology, systems medicine, and digital pathology * Verification of biomedical devices "This book presents a comprehensive spectrum of model-focused analysis techniques for biological systems ...An essential resource for tracking the developments of a fast moving field that promises to revolutionize biology and medicine by the automated analysis of models and data."Prof Luca Cardelli FRS, University of Oxford

Название: Subjective Logic: A Formalism for Reasoning Under Uncertainty (Artificial Intelligence: Foundations, Theory, and Algorithms) 1st ed. 2016 Edition, Kindle Edition by Audun J?sang (Author)
ISBN: 3319825550 ISBN-13(EAN): 9783319825557
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach, and in this book he first explains subjective opinions, opinion representation, and decision-making under vagueness and uncertainty, and he then offers a full definition of subjective logic, harmonising the key notations and formalisms, concluding with chapters on trust networks and subjective Bayesian networks, which when combined form general subjective networks. The author shows how real-world situations can be realistically modelled with regard to how situations are perceived, with conclusions that more correctly reflect the ignorance and uncertainties that result from partially uncertain input arguments.

The book will help researchers and practitioners to advance, improve and apply subjective logic to build powerful artificial reasoning models and tools for solving real-world problems. A good grounding in discrete mathematics is a prerequisite.

Автор: Dov M. Gabbay; Philippe Smets
Название: Reasoning with Actual and Potential Contradictions
ISBN: 9048150639 ISBN-13(EAN): 9789048150632
Издательство: Springer
Рейтинг:
Цена: 192860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Handbook was produced in the style of previous handbook series like the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning.

Автор: James P. Gunderson; Louise F. Gunderson
Название: Robots, Reasoning, and Reification
ISBN: 1441946802 ISBN-13(EAN): 9781441946805
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on a critical obstacle that is preventing the development of intelligent, autonomous robots: the gap between the ability to reason about the world and the ability to sense the world and translate that sensory data into a symbolic model.

Автор: Dov M. Gabbay; Philippe Smets
Название: Handbook of Defeasible Reasoning and Uncertainty Management Systems
ISBN: 9048156033 ISBN-13(EAN): 9789048156030
Издательство: Springer
Рейтинг:
Цена: 241310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism. This is even to some degree reflected in the two first chapters, which treat fundamental, general methods of computation in systems designed to represent uncertainty.

Автор: Harald Ganzinger; David McAllester; Andrei Voronko
Название: Logic Programming and Automated Reasoning
ISBN: 3540664920 ISBN-13(EAN): 9783540664925
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation.

Автор: Dov M. Gabbay; Philippe Smets
Название: Abductive Reasoning and Learning
ISBN: 9048155606 ISBN-13(EAN): 9789048155606
Издательство: Springer
Рейтинг:
Цена: 223610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself.

Автор: A. Clark; J. Ezquerro; Jes?s M. Larrazabal
Название: Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning
ISBN: 9048147107 ISBN-13(EAN): 9789048147106
Издательство: Springer
Рейтинг:
Цена: 153690.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the Second International Colloquium on Cognitive Science

Автор: Jaap Hage
Название: Reasoning with Rules
ISBN: 9048147735 ISBN-13(EAN): 9789048147731
Издательство: Springer
Рейтинг:
Цена: 245040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers an extensive analysis of the role of rules and principles in legal reasoning, which focuses on the close relationship between rules, principles, and reasons.

Автор: R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic
Название: Algebraic Foundations of Many-Valued Reasoning
ISBN: 9048153360 ISBN-13(EAN): 9789048153367
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Didier Dubois; Henri Prade; Erich Peter Klement
Название: Fuzzy Sets, Logics and Reasoning about Knowledge
ISBN: 9048153247 ISBN-13(EAN): 9789048153244
Издательство: Springer
Рейтинг:
Цена: 186290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.