Dynamic Logic. New Trends and Applications, Areces
Название: Logical writings of karl popper ISBN: 3030949257 ISBN-13(EAN): 9783030949259 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access book is the first ever collection of Karl Popper`s writings on deductive logic. Karl R.
Автор: Johannes Stern Название: Toward Predicate Approaches to Modality ISBN: 3319225561 ISBN-13(EAN): 9783319225562 Издательство: Springer Рейтинг: Цена: 79170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Toward Predicate Approaches to Modality
Автор: Maria Luisa Dalla Chiara; Roberto Giuntini; Robert Название: Quantum Computation and Logic ISBN: 303004470X ISBN-13(EAN): 9783030044701 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.
Автор: Hans van Ditmarsch; Wiebe van der Hoek; Barteld Ko Название: Dynamic Epistemic Logic ISBN: 1402069081 ISBN-13(EAN): 9781402069086 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.
Автор: Leonid Perlovsky; Ross Deming; Roman Ilin Название: Emotional Cognitive Neural Algorithms with Engineering Applications ISBN: 3642269389 ISBN-13(EAN): 9783642269387 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Bogoslovsky, Boris B. Название: The Technique of Controversy ISBN: 0415225434 ISBN-13(EAN): 9780415225434 Издательство: Taylor&Francis Рейтинг: Цена: 193950.00 T Наличие на складе: Нет в наличии.
Автор: Bogoslovsky, Boris B. Название: The Technique of Controversy ISBN: 0415614295 ISBN-13(EAN): 9780415614290 Издательство: Taylor&Francis Рейтинг: Цена: 46950.00 T Наличие на складе: Нет в наличии.
Автор: Marko N?hren Название: Enterprise Software Sourcing Performance ISBN: 3319239244 ISBN-13(EAN): 9783319239248 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book opens the "black box" of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes.
This book focuses on the fields of fuzzy logic and metaheuristic algorithms, particularly the harmony search algorithm and fuzzy control. There are currently several types of metaheuristics used to solve a range of real-world of problems, and these metaheuristics contain parameters that are usually fixed throughout the iterations. However, a number of techniques are also available that dynamically adjust the parameters of an algorithm, such as probabilistic fuzzy logic.
This book proposes a method of addressing the problem of parameter adaptation in the original harmony search algorithm using type-1, interval type-2 and generalized type-2 fuzzy logic. The authors applied this methodology to the resolution of problems of classical benchmark mathematical functions, CEC 2015, CEC2017 functions and to the optimization of various fuzzy logic control cases, and tested the method using six benchmark control problems - four of the Mamdani type: the problem of filling a water tank, the problem of controlling the temperature of a shower, the problem of controlling the trajectory of an autonomous mobile robot and the problem of controlling the speed of an engine; and two of the Sugeno type: the problem of controlling the balance of a bar and ball, and the problem of controlling control the balance of an inverted pendulum. When the interval type-2 fuzzy logic system is used to model the behavior of the systems, the results show better stabilization because the uncertainty analysis is better. As such, the authors conclude that the proposed method, based on fuzzy systems, fuzzy controllers and the harmony search optimization algorithm, improves the behavior of complex control plants.
Автор: Pavel Arazim Название: The Problem of Plurality of Logics: Understanding the Dynamic Nature of Philosophical Logic ISBN: 1350258229 ISBN-13(EAN): 9781350258228 Издательство: Bloomsbury Academic Рейтинг: Цена: 30610.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: As the foundation of our rationality, logic has traditionally been considered fixed, stable and constant. This conception of the discipline has been challenged recently by the plurality of logics and in this book, Pavel Arazim extends the debate to offer a new view of logic as dynamic and without a definite, specific shape. The Problem of Plurality of Logics examines the origins of our standard view of logic alongside Kant’s theories, the holistic view, the issue of logic’s pragmatic significance and Robert Brandom’s logical expressivism. Arazim then draws on proof-theoretical approaches to present a convincing argument for a dynamic version of logical inferentialism, which opens space for a new freedom to modify our own logic. He explores the scope, possibilities and limits of this freedom in order to highlight the future paths logic could take, as a motivation for further research.Marking a departure from logical monism and also from the recent doctrine of logical pluralism in its various forms, this book addresses current debates concerning the expressive role of logic and contributes to a lively area of discussion in analytic philosophy.
Автор: Remo Pareschi; Bertram Fronh?fer Название: Dynamic Worlds ISBN: 0792355350 ISBN-13(EAN): 9780792355359 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, and human/computer interfaces. This book features topics including logics for reasoning about actions and planning, and belief revision and the reconciliation of logically conflicting inputs.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
