О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями

О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2010
Автор:	Афонин, А.А.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2010
Назва видання:	Математичні машини і системи
Теми:	Нові інформаційні і телекомунікаційні технології
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями / А.А. Афонин // Мат. машини і системи. — 2010. — № 1. — С. 87-94. — Бібліогр.: 13 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями
за авторством: Афонин, А.А.
Опубліковано: (2010)

Трудоемкость интерфейса пользователя в задаче поиска образца в справочнике и ее оценка на основе модели GOMS
за авторством: Литвинов, В.А., та інші
Опубліковано: (2009)

Трудоемкость интерфейса пользователя в задаче поиска образца в справочнике и ее оценка на основе модели GOMS
за авторством: Литвинов, В.А., та інші
Опубліковано: (2009)

Интеллектуализованный интерфейс пользователя информационно-поисковой системы в задаче поиска по ключевому слову («образцу») с упреждающей подсказкой
за авторством: Кузьменко, Г.Е., та інші
Опубліковано: (2011)

Интеллектуализованный интерфейс пользователя информационно-поисковой системы в задаче поиска по ключевому слову («образцу») с упреждающей подсказкой
за авторством: Кузьменко, Г.Е., та інші
Опубліковано: (2011)

Моделирование в обучающих системах
за авторством: Литвинов, В.В., та інші
Опубліковано: (2009)

Моделирование в обучающих системах
за авторством: Литвинов, В.В., та інші
Опубліковано: (2009)

О распараллеливании пользовательских задач в распределенных компьютерных системах типа «процессор-в-памяти»
за авторством: Елисеева, Е.В.
Опубліковано: (2010)

О распараллеливании пользовательских задач в распределенных компьютерных системах типа «процессор-в-памяти»
за авторством: Елисеева, Е.В.
Опубліковано: (2010)

Аналіз методів підтримки прийняття рішень у лікувальних системах
за авторством: Шаховська, Н.Б., та інші
Опубліковано: (2011)

Аналіз методів підтримки прийняття рішень у лікувальних системах
за авторством: Шаховська, Н.Б., та інші
Опубліковано: (2011)

О корректных способах решения нечетких задач
за авторством: Лялецкий, А.А.
Опубліковано: (2011)

О корректных способах решения нечетких задач
за авторством: Лялецкий, А.А.
Опубліковано: (2011)

Метод построения моделей информационных атак
за авторством: Казимир, В.В., та інші
Опубліковано: (2010)

Метод построения моделей информационных атак
за авторством: Казимир, В.В., та інші
Опубліковано: (2010)

Роль базисов компьютерной науки и системно-кибернетического подхода в решении проблемы информационно-психологического влияния
за авторством: Морозов, А.А., та інші
Опубліковано: (2009)

Проблемно-ориентированный контент-анализ в структуре системы поддержки принятия решений (СППР)
за авторством: Морозов, А.А., та інші
Опубліковано: (2009)

Проблемно-ориентированный контент-анализ в структуре системы поддержки принятия решений (СППР)
за авторством: Морозов, А.А., та інші
Опубліковано: (2009)

Роль базисов компьютерной науки и системно-кибернетического подхода в решении проблемы информационно-психологического влияния
за авторством: Морозов, А.А., та інші
Опубліковано: (2009)

Многоуровневая система построения маршрута в сети дистанционного обучения
за авторством: Шевченко, А.И., та інші
Опубліковано: (2010)

Многоуровневая система построения маршрута в сети дистанционного обучения
за авторством: Шевченко, А.И., та інші
Опубліковано: (2010)

Біометричні технології. Методи дактилоскопії
за авторством: Мороз, А.О.
Опубліковано: (2011)

Подход к созданию базы знаний экспертной системы оценки, прогноза и анализа ситуаций на объектах повышенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2009)

Информационная технология и структура
за авторством: Рыбаков, Л.А.
Опубліковано: (2008)

Подход к созданию базы знаний экспертной системы оценки, прогноза и анализа ситуаций на объектах повышенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2009)

Информационная технология и структура
за авторством: Рыбаков, Л.А.
Опубліковано: (2008)

Біометричні технології. Методи дактилоскопії
за авторством: Мороз, А.О.
Опубліковано: (2011)

Задачи механики и компьютерная алгебра
за авторством: Банщиков, А.В., та інші
Опубліковано: (2008)

Задачи механики и компьютерная алгебра
за авторством: Банщиков, А.В., та інші
Опубліковано: (2008)

Об одном подходе к оценке эффективности нефтяной скважины
за авторством: Рзаев, Р.Р., та інші
Опубліковано: (2010)

Обзор аппаратных средств и API-сервисов определения времени в персональном компьютере
за авторством: Клименко, А.В., та інші
Опубліковано: (2009)

История Интернет в СССР и в Украине: основные этапы развития
за авторством: Гринченко, Т.А., та інші
Опубліковано: (2009)

Обзор аппаратных средств и API-сервисов определения времени в персональном компьютере
за авторством: Клименко, А.В., та інші
Опубліковано: (2009)

История Интернет в СССР и в Украине: основные этапы развития
за авторством: Гринченко, Т.А., та інші
Опубліковано: (2009)

Об одном подходе к оценке эффективности нефтяной скважины
за авторством: Рзаев, Р.Р., та інші
Опубліковано: (2010)

Логико-вероятностная модель пошаговой подсказки в интерфейсе пользователя поисковой системы по ключевому слову
за авторством: Литвинов, В.А., та інші
Опубліковано: (2011)

Технология и инструментарий реализации гиперпараметрических (квазипроизвольных) запросов к тематической базе данных
за авторством: Литвинов, В.А., та інші
Опубліковано: (2012)

Основные принципы проектирования и изготовления медицинских нанороботов
за авторством: Войтович, И.Д., та інші
Опубліковано: (2010)

Проблемно-ориентированные базы знаний – платформа саморазвития СППР
за авторством: Вьюн, В.И., та інші
Опубліковано: (2009)

Методы и средства оперативного распространения голосовой информации в IP-сетях
за авторством: Казимир, В.В., та інші
Опубліковано: (2009)