Фейс Р. Модальная логика

Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективам...

М.: Наука, Гл. ред. физ-мат. литературы, 1984. —280 с. Проблематика книги связана с известным вопросом искусственного интеллекта: "может ли машина мыслить? ", который понимается авторами как вопрос: "может ли машина формулировать и проверять гипотезы? ". Книга содержит две части: "логика индукции" и "логика открытия". В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозна...

Учеб. пособие для вузов. – М.: Изд-во МГТУ им. Н.Э.Баумана, 2001. –352 с. Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентноcть, нечеткость, модальность и т. п. С помощью аппарата логики показано что входит в дисциплину искусственного интеллекта, начиная с решения методами...

Ташкентский университет информационных технологий, 7 семестр, направления Информационные технологии и информационная безопасность. Содержание: Общие сведения об интеллектуальных системах, модели представления знаний, организация знаний, вероятность и нечеткая логика в экспертных системах, самообучающиеся системы, инструментальные средства построения экспертных систем, аспекты получения знаний, прямая и обратная цепочка рассужденийrn

Основные понятия, связанные с интеллектуальными информационными системами. Нечеткая логика, система декомпозиции. Экспертные системы. Алгебра факторов уверенности. НЕ-факторы.

Предложенный материал может служить фундаментом для дальнейшего изучения как теоретических и прикладных вопросов математической логики и теории алгоритмов в целом, так и отдельных ее направлений при изучении специальных дисциплин 1. Интеллектуальный анализ данных 2. Нечеткая логика 3. Распознавание образов 4. Базы знаний и экспертные системы

Подборка структурирована по модулям Методы извлечения знаний, Методы представления знаний (семантич. сети, фреймы, правила продукции, нечеткая логика), Экспертное оценивание, Структура экспертной системы, Жизненный цикл интеллектуальной системы и модуль Нейрокибернетика

Искусственный интеллект. Агенты - носители искусственного интеллекта. Среды и агенты. Логические рассуждения. Логика высказываний. Исчисление высказываний. Рассуждения в терминах интервалов. Логика предикатов. Исчисление предикатов. Прямой и обратный вывод. Полнота и непротиворечивость исчисления. Вывод на основе правила резолюции. Автомат и среда. Язык и автомат. Вопросы и упражнения. Куцый Н. Н. Системы искусственного интеллекта. - Иркутск, изд...

Основные понятия интеллектуальных систем. Знания. Модели представления знаний. Экспертные системы. Нечеткие множества. Нечеткая логика. Нечеткие системы логического вывода. Нейронные сети. (с) Липецкий Государственный Технический Университет, факультет Автоматизации и информатики

Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание...