Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2010
1. Verfasser:	Афонин, А.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2010
Schlagworte:	Нові інформаційні і телекомунікаційні технології
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/47360
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями / А.А. Афонин // Мат. машини і системи. — 2010. — № 1. — С. 87-94. — Бібліогр.: 13 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Трудоемкость интерфейса пользователя в задаче поиска образца в справочнике и ее оценка на основе модели GOMS
von: Литвинов, В.А., et al.
Veröffentlicht: (2009)

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

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

Моделирование в обучающих системах
von: Литвинов, В.В., et al.
Veröffentlicht: (2009)

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

О корректных способах решения нечетких задач
von: Лялецкий, А.А.
Veröffentlicht: (2011)

Объем порции пошаговой подсказки и эффективность интерфейса пользователя системы поиска по ключевому слову
von: Литвинов, В.А., et al.
Veröffentlicht: (2012)

Метод построения моделей информационных атак
von: Казимир, В.В., et al.
Veröffentlicht: (2010)

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

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

Многоуровневая система построения маршрута в сети дистанционного обучения
von: Шевченко, А.И., et al.
Veröffentlicht: (2010)

Информационная технология и структура
von: Рыбаков, Л.А.
Veröffentlicht: (2008)

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

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

Задачи механики и компьютерная алгебра
von: Банщиков, А.В., et al.
Veröffentlicht: (2008)

Обзор аппаратных средств и API-сервисов определения времени в персональном компьютере
von: Клименко, А.В., et al.
Veröffentlicht: (2009)

История Интернет в СССР и в Украине: основные этапы развития
von: Гринченко, Т.А., et al.
Veröffentlicht: (2009)

Об одном подходе к оценке эффективности нефтяной скважины
von: Рзаев, Р.Р., et al.
Veröffentlicht: (2010)

Проблемно-ориентированные базы знаний – платформа саморазвития СППР
von: Вьюн, В.И., et al.
Veröffentlicht: (2009)

Основные принципы проектирования и изготовления медицинских нанороботов
von: Войтович, И.Д., et al.
Veröffentlicht: (2010)

Технология и инструментарий реализации гиперпараметрических (квазипроизвольных) запросов к тематической базе данных
von: Литвинов, В.А., et al.
Veröffentlicht: (2012)

Методы и средства оперативного распространения голосовой информации в IP-сетях
von: Казимир, В.В., et al.
Veröffentlicht: (2009)

Логико-вероятностная модель пошаговой подсказки в интерфейсе пользователя поисковой системы по ключевому слову
von: Литвинов, В.А., et al.
Veröffentlicht: (2011)

Некоторые методы ускорения обработки словаря допустимых слов при автоматической идентификации и исправлении ошибок пользователя
von: Литвинов, В.А., et al.
Veröffentlicht: (2010)

Про національну систему індикаторів інформаційного суспільства
von: Баховец, О.Б., et al.
Veröffentlicht: (2009)

Алгоритм прогнозування розвитку вибухопожежної ситуації на потенційно небезпечному об’єкті та її вплив на навколишнє середовище
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2010)

Захист інформації в корпоративних USB-флеш накопичувачах для хмарних обчислень
von: Корольов, В.Ю.
Veröffentlicht: (2012)

Аналіз існуючих застосувань систем підтримки прийняття рішень в галузі юриспруденції
von: Різник, О.М., et al.
Veröffentlicht: (2010)

Технологія обробки просторових даних засобами ГІС для використання в розподілених гідрологічних моделях
von: Бойко, О.В.
Veröffentlicht: (2012)

Проблеми захисту від негативного інформаційно-психологічного впливу противника
von: Алещенко, В.І., et al.
Veröffentlicht: (2010)

Оценка дифракции и диссипации волновой энергии в модели SWAN при исследовании трансформации нерегулярных волн на неоднородностях дна и генерации вдольбереговых течений
von: Демченко, Р.И., et al.
Veröffentlicht: (2011)

Сингулярна декомпозиція матриці семантичних ознак в алгоритмі ієрархічної кластеризації текстових масивів
von: Павлишенко, Б.М.
Veröffentlicht: (2012)

Регіональний пошук для множини рухомих точок
von: Терещенко, В.М., et al.
Veröffentlicht: (2011)

Формалізація операцій над інформаційними продуктами
von: Вовк, О.Б.
Veröffentlicht: (2012)

Графова інтерпретація інформаційних систем на основі баз даних та знань в рамках концепції задоволення обмежень та правил
von: Випасняк, Л.І., et al.
Veröffentlicht: (2010)

Методика визначення вимірності та похибки рішення системи лінійних рівнянь математичної моделі випадкового сигналу лінії зв’язку системи охорони військових та інших важливих об’єктів
von: Бєлявін, В.Ф.
Veröffentlicht: (2009)

Опыт построения информационно-технологической инфраструктуры распределенного предприятия
von: Лисецкий, Ю.М., et al.
Veröffentlicht: (2009)

Методика комплексного исследования адаптивного человеко-машинного интерфейса
von: Курзанцева, Л.И.
Veröffentlicht: (2011)

Методика распознавания состояния артерий глаза
von: Федоров, Е.Е., et al.
Veröffentlicht: (2011)

Онтологическая модель ситуаций для баз знаний систем поддержки принятия решений
von: Еременко, Т.К., et al.
Veröffentlicht: (2010)