28
Кибернетика
У1816
975. Представление и обработка
знаний в одном семействе интеллектуальных
информационных систем / Миронов А.С. //
Информ. технологии. — 2004. — № 3. — С. 39-45. —
Библиогр.: 7 назв.
Рассмотрены вопросы представления
и обработки знаний в статических банках
знаний, использующихся в качестве систем-консультантов
в различных областях.
Р3181
976. Системы аргументации и
абдуктивный вывод / Вагин В.Н., Загорянская А.А.
// Изв. АН. Теория и системы упр. — 2004. — № 1. —
С. 125-137. — Библиогр.: 10 назв.
Представлены особенности
современной теории аргументации,
рассмотрены способы построения систем
пересматриваемой аргументации. Изложена
процедура доказательства для аргументации
применительно к логическим программам,
приведен пример применения этой процедуры
для генерации абдуктивных объяснений.
См. также №№ 967, 969, 980, 987, 1015, 1037, 1038,
1041
|