Логика умолчаний как альтернатива модификационных исчислений
Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 18.01.2018 |
| Размер файла | 22,7 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Формирование и зарождение научного понятия алгоритма и его трансформация в современное понимание интуитивного алгоритма: изложение традиционных теорий и их дальнейшее уточнение. Исследование логических теорий алгоритмов с философской точки зрения.
книга [315,7 K], добавлен 10.12.2009Разработка модели процессора, выполняющего набор машинных команд. Структурная схема процессора (операционного и управляющего автоматов), анализ принципа работы. Содержательный алгоритм микропрограммы, синтез управляющего автомата на основе жесткой логики.
курсовая работа [871,9 K], добавлен 16.09.2010Анализ особенностей управляющих операционных устройств, которые позволяют выполнить преобразование некоторых кодов в соответствии с логикой выполняемой операции. Изучение основных типов управляющих устройств: с жесткой логикой; с микропрограммной логикой.
контрольная работа [49,1 K], добавлен 05.09.2010Интеллектуальные системы и искусственный интеллект. Рассмотрение моделей рассуждений и целей их создания. Знания и их представление, логические, сетевые, фреймовые и продукционные модели. Моделирование рассуждений на основе прецедентов и ограничений.
курсовая работа [74,0 K], добавлен 26.12.2010Использование нечеткой логики при управлении техническими объектами, основанными на имитации действия человека-оператора при помощи ЭВМ, в соединении с пропорционально-интегрально-дифференциальным регулированием и алгоритмах управления процессом флотации.
доклад [74,7 K], добавлен 21.12.2009FAR Manager - файловый менеджер с поддержкой самых разнообразных расширений и функций - бесплатная альтернатива программе Total Commander. Способы запуска FAR-manager. Работа с папками. Физическое и логическое понятие папки. Форма хранения информации.
реферат [77,9 K], добавлен 01.05.2010- Автоматизированная информационная система программирования логики промышленных роботов для ООО "ВМЗ"
Организационно-штатная структура конструкторского отдела систем управления технологическим оборудованием предприятия. Обоснование технологии разработки автоматизированной системы программирования логики промышленных роботов. Моделирование данных.
дипломная работа [7,8 M], добавлен 23.06.2012 Разработка программы замены столбца с минимальным элементом на последний столбец, написанной на языке С++. Результаты откладки и тестирования программы. Алгоритм, входные и выходные параметры и логика работы программы, ее функциональное назначение.
курсовая работа [155,2 K], добавлен 25.03.2012Рождение искусственного интеллекта. История развития нейронных сетей, эволюционного программирования, нечеткой логики. Генетические алгоритмы, их применение. Искусственный интеллект, нейронные сети, эволюционное программирование и нечеткая логика сейчас.
реферат [78,9 K], добавлен 22.01.2015Ознакомление с основными средствами архивации данных, антивирусными программами, криптографическими и другими программными средствами защиты информации. Аппаратные ключи защиты, биометрические средства. Способы охороны информации при работе в сетях.
дипломная работа [2,4 M], добавлен 06.09.2014