Принцип резолюции или вариации этого принципа используются во многих системах по автоматическому доказательству теорем или ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Чэн.Ш.К. Принципы проектирования систем визуальной информации


Принцип резолюции или вариации этого принципа используются во многих системах по автоматическому доказательству теорем или для нахождения доказательства или проведения вывода. Отметим только, что хотя принцип резолюции очень простой, его практическое применение во многом зависит от того, каким образом уменьшить пространство перебора, когда мы пытаемся провести сравнение. Мы также отметим, что принцип резолюции тесно связан с графическим сравнением. Фактически мы можем представить предложение ( или дизъюнкты) с помощью ( модифицированной) семантической сети и провести логические выводы путем применения принципа резолюции к семантической сети.

(cкачать страницу)

Смотреть книгу на libgen

Принцип резолюции или вариации этого принципа используются во многих системах по автоматическому доказательству теорем или для нахождения доказательства или проведения вывода. Отметим только, что хотя принцип резолюции очень простой, его практическое применение во многом зависит от того, каким образом уменьшить пространство перебора, когда мы пытаемся провести сравнение. Мы также отметим, что принцип резолюции тесно связан с графическим сравнением. Фактически мы можем представить предложение ( или дизъюнкты) с помощью ( модифицированной) семантической сети и провести логические выводы путем применения принципа резолюции к семантической сети.