TY  - BOOK
AU  - Вагин,Вадим Николаевич
AU  - Головина,Елена Юрьевна
AU  - Загорянская,Анастасия Анатольевна
AU  - Фомина,Марина Владимировна
AU  - Поспелов,Дмитрий Александрович
TI  - Достоверный и правдоподобный вывод в интеллектуальных системах
SN  - 5922104748
PY  - 2004///
CY  - М.
PB  - Физматлит
KW  - достоверный вывод
KW  - абдуктивный вывод
KW  - индуктивный вывод
KW  - интеллектуальные системы
KW  - граф связей
KW  - граф дизъюнктов
KW  - вывод на иерархических структурах
KW  - параллелизм
KW  - графовые структуры
KW  - модальные логики классические
KW  - модальные логики немонотонные
KW  - логики убеждения и знания
KW  - Мак-Дермотта немотонные логики
KW  - Дойла немонотонные логики
KW  - логики умолчаний
KW  - логики автоэпистемические
KW  - системы поддержки истинности
KW  - исчисление предикатов
KW  - логика вспомогательная
KW  - модальное исчисление высказываний
KW  - логическое программирование
KW  - семантика логических программ
KW  - данные и знания
KW  - семантические деревья
KW  - системы обучения
KW  - системы принятия решений
KW  - извлечение знаний из баз данных
KW  - алгоритмы
KW  - алгоритм распознавания объектов
KW  - Хемминга метрика
KW  - неполная информация
KW  - приближенные множества
KW  - модели представления знаний
KW  - Пролог
KW  - параллельные методы вывода
KW  - Мура автоэпистемические логики
KW  - Рейтера логики умолчания
KW  - теория аргументации
N1  - Библиогр. в конце глав; Предм. указ.: с. 663-699
ER  -