"Записки научных семинаров ПОМИ"
Том 499, стр. 38-52
Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта
Т. М. Косовская
С.-Петербургский государственный университет,
Университетская наб. 7/9,
199304 С.-Петербург
kosovtm@gmail.com
- Аннотация:
В работе излагается применение понятия изоморфизма элементарных конъюнкций формул
исчисления предикатов к решению некоторых задач Искусственного Интеллекта
и уменьшению их вычислительной сложности. Даны основные определения,
необходимые для понимания. Описаны основные идеи решения таких задач,
как ``задание метрики в пространстве элементарных конъюнкций предикатных формул'';
построение ``многоуровневого описания классов в задачах распознавания'',
существенно снижающего вычислительную сложность задач при их многократном решении;
построение ``логических баз данных''; построение ``логических онтологий'';
формирование ``предикатной сети''; формирование ``нечёткой предикатной сети''.
Библ. -- 15 назв.
- Ключевые слова: формулы исчисления предикатов, изоморфизм предикатных формул,
вычислительная сложность алгоритма, задачи Искусственного Интеллекта
[ predicate formulas, isomorphism of predicate formulas,
computational complexity of an algorithm, Artificial Intelligence problems]
Полный текст(.pdf)