|
|
libcats.org
Automated deduction in multiple-valued logicsReiner HähnleThis book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL). It is the first overview of this area, and it contains a virtually complete account of other approaches to automated reasoning in MVL. Efficient theorem proving methods in MVL are essential for many applications, however existing approaches are inadequate. Here, the author shows how automated reasoning in infinitely valued logics can be done uniformly and efficiently for the first time. Automated reasoning in non-classical logics is a key subtask of many artificial intelligence operations. Applications of MVL in particular include hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. The book will thus be a valuable resource for theoretical computer scientists, researchers, and graduate students, as well as for logicians.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
A Recursive Introduction to the Theory of Computation (Graduate Texts in Computer Science)Автор: Carl H. SmithКатегория: Компьютеры
Размер книги: 1.12 Mb
Gendered Sexualities, Volume 6 (Advances in Gender Research, V. 6)Автор: Patricia Gagne, Автор: Richard TewksburyКатегория: Наука (общее)
Размер книги: 15.93 Mb
New Horizons in Mobile and Wireless Communications: Reconfigurability (Artech House Mobile Communications)Автор: Ramjee Prasad, Автор: Albena MihovskaКатегория: Экономика
Размер книги: 8.14 Mb
Emotion, Place and CultureАвтор: Mick Smith, Автор: Joyce Davidson, Автор: Laura Cameron, Автор: Liz Bondi
Размер книги: 3.53 Mb
|
|
|