О некоторых семантических дефектах в логике интеллектуальных систем
Разработка больших международных проектов по созданию ИИ-систем автоматизации всего процесса математического познания на основе доказательства теорем. Значение "сколемизации" формальных выражений и искажение семантики их неформальных прототипов.
Подобные документы
Понятие интеллектуальных информационных систем, их основные функции, цели и задачи. Характеристика и свойства некоторых систем искусственного интеллекта: на основе нейрокомпьютерных технологий, на основе генетических алгоритмов и на базе нечеткой логики.
лекция, добавлен 13.08.2013Неформальные этапы разработки автоматических систем управления (внешнее и внутреннее планирование). Разработка систем, не имеющих аналогов. Распределение функций между специалистами при разработке неформальных систем (взаимодействие между группами).
реферат, добавлен 27.10.2010Исследование математического аппарата описания нечетких семиотических систем управления, лежащего в основе интеллектуальных систем. Разработка и реализация программного средства Trincon настройки нечеткого регулятора на Т-нормы и модели пользователя.
статья, добавлен 17.01.2018Математические и алгоритмические основы интеллектуальных информационных систем: модели представления знаний, семантических фреймов. Построения информационных систем для решения неформализованных задач в различных сферах творческой деятельности человека.
лекция, добавлен 17.07.2013Разработка интеллектуальных технологий рассмотрения с позиций системного анализа задач измерения характеристик и моделирования предпочтений. Решение проблемы идентификации организационных систем и синтеза управлений процессами разработки проектов.
дипломная работа, добавлен 27.04.2017Характеристика метода вывода на основе прецедентов для интеллектуальных систем поддержки принятия решений. Технологическая схема парового компенсационного объема. Этапы модифицированного CBR-цикла для интеллектуальных систем поддержки принятия решений.
статья, добавлен 19.01.2018Методики разработки интеллектуальных геоинформационных систем (ГИС): создание программного средства визуальной разработки и интерпретатора встроенного в объектную модель языка программирования SOML для управления ГИС-объектами из прикладных задач.
автореферат, добавлен 10.12.2013Отличительные черты нечеткого подхода к моделированию систем управления и распознавания. Развитие интеллектуальных систем обработки и представления знаний. Логический вывод в интеллектуальных системах. Мониторинг образовательного процесса вуза.
статья, добавлен 18.01.2018Исследование метода проектирования корпоративных информационных систем, основанного на формализации семантики предметной области и процесса проектирования. Анализ необходимости автоматизации процесса разработки и модификации программного обеспечения.
доклад, добавлен 17.01.2018Построение имитационных моделей больших систем и проведение машинных экспериментов с этими моделями. Рассмотрение подходов к созданию имитационных моделей. Функционирование систем массового обслуживания. Реализация процесса построения графа модели.
статья, добавлен 17.06.2018Разработка новых подходов к созданию современных интеллектуальных технологий повышения эффективности информационных систем. Архитектура компьютерных систем и сетей. Изучение эффективности ИС как технической системы и как средства обработки информации.
статья, добавлен 27.04.2017Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
автореферат, добавлен 02.05.2018Анализ методов планирования поведения интеллектуальных агентов и подходов по созданию многоагентных систем. Разработка методики оценки эффективности использования интеллектуальной автоматизированной системы обработки информации в обучающей системе.
автореферат, добавлен 02.07.2018Разработка новых интеллектуальных методов оптимизации, позволяющих решать задачи в on-line режиме с привлечением математического аппарата виртуального объекта. Классификация виртуальных объектов, их применение для механических и гидравлических систем.
статья, добавлен 29.06.2016Спектр функциональных задач процесса создания систем технической диагностики, базирующихся на обработке визуальной информации. Создание систем технической диагностики, согласно разрабатываемых методов создания интеллектуальных информационных технологий.
статья, добавлен 29.07.2016Разработка современных радиоэлектронных систем. Автоматизации планирования процессов создания изделий в целях эффективного использования ресурсов предприятия. Стандарты описания процессов создания технических систем. Назначение стендового оборудования.
статья, добавлен 08.12.2018Угроза разрушения или уничтожения информации для незащищенных компьютеров систем музейной или библиотечной автоматизации в современных условиях. Разработка программно-алгоритмического комплекса повышения степени защищенности информационных систем.
автореферат, добавлен 22.10.2018Возникновение искажений при передаче и хранении информации, обусловленные присутствием помех в канале связи или сбоями в приемопередающей аппаратуре. Оценка помехоустойчивости кодов с помощью аналитических выражений; модель системы с биномиальным кодом.
статья, добавлен 26.10.2010Способ организации работы интеллектуальной системы на основе гибридизаций нескольких технологий интеллектуальных вычислений. Разработка моделей гибридной системы. Модели вычислений, используемые в технологии экспертных систем и нейронных сетей.
статья, добавлен 29.04.2017Классификация и облик компьютерных систем имитационного моделирования, позволяющих на отдельных этапах разработки бортовых интеллектуальных систем отрабатывать их базы знаний. Разработка информационной системы "Ситуационная осведомленность экипажа".
статья, добавлен 18.01.2018Рассмотрение проблемы построения формальных систем оперирования темпоральной информацией. Оценка существующих подходов представления времени и временных зависимостей в программных системах. Характеристика задачи согласования временных ограничений.
статья, добавлен 19.01.2018Понятие интеллектуального агента (ИА) как одного из основных в области искусственного интеллекта (ИИ). Место и значение исследований систем взаимодействующих ИА, называемых многоагентными системами. Обучающиеся автономные интеллектуальные агенты.
статья, добавлен 28.05.2017Использование технологии OSTIS при разработке прикладных интеллектуальных систем. Смысловое представление информации в памяти КС. Семантика sc-кода. Унификация и совместимость различных моделей решения задач. Интеграция нейросетевых моделей с БЗ.
статья, добавлен 29.08.2021- 25. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016