1 год назад
«Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства» В настоящем сборнике представлены результаты многолетних исследований многозначных логик, начиная с пионерских работ одного из создателей многозначных логик Дмитрия Анатольевича Бочвара.В сборнике содержатся работы самого Д.А.Бочвара, его учеников и их последователей. Эти исследования начинались с анализа трехзначных логик (среди них особое место занимает трехзначная логика Бочвара В3); затем изложены общие результаты исследований многозначных (в том числе бесконечнозначных) логик. В последнее время активно исследуются специальные многозначные логики аргументации. Особенностью данных исследований является установленная полезность применения этих многозначных логик для интеллектуального анализа данных в компьютерных системах так называемого "искусственного интеллекта". В частности, бесконечнозначные логики (с конечным числом типов истинностных значений) используются в ДСМ-методе автоматического порождения гипотез. Более того, при анализе социологических данных оказались полезными многозначные логики аргументации. Книга предназначена логикам, специалистам в области искусственного интеллекта, а также философам, интересующимся проблемами логики. Это и многое другое вы найдете в книге Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства. Напишите свою рецензию о книге «Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства» http://izbe.ru/book/84374-mnogoznachnye-logiki-i-ih-primeneniya-tom-1-logicheskie-ischisleniya-algebry-i-funkcionalnye-svoystva/
779 читали · 5 лет назад
Основы формальной логики
Знакомы ли Вы с понятием "формальная логика"? Что такое конъюнкция и дизъюнкция? А импликация? В статье будут рассмотрены данные понятия. Надеюсь статья будет Вам полезна. Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики...