Algebraic Foundations of Many-Valued Reasoning, R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic

Автор: Cignoli
Название: Algebraic Foundations of Many-Valued Reasoning
ISBN: 0792360095 ISBN-13(EAN): 9780792360094
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang`s MV algebras and Abelian lattice-ordered groups with unit.

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 2
ISBN: 3642084176 ISBN-13(EAN): 9783642084171
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.

Автор: Guy Bessonet
Название: A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence
ISBN: 0792391381 ISBN-13(EAN): 9780792391388
Издательство: Springer
Рейтинг:
Цена: 20956.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces an approach that can be used to ground a variety of intelligent systems, ranging from simple fact based systems to highly sophisticated reasoning systems. As the popularity of AI related fields has grown over the last decade, the number of persons interested in building intelligent systems has increased exponentially.

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 1
ISBN: 3642081452 ISBN-13(EAN): 9783642081453
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. Fuzzy logics,approximation logics, and probability logics all addressquestions that classical logic alone cannot answer.