Интеллектуальные информационные системы. Макаренко С.И. - 67 стр.

    Логика направлений оперирует с понятиями «справа», «слева»,
«впереди», «сзади» или «на восток», «на запад» и т.п.
    В логике взаимного расположения объектов описываются следующие
базовые отношения: унарные – «иметь горизонтальное положение», «иметь
вертикальное положение», бинарные – «находиться внутри», «находиться
вне».
    Из базовых отношений с помощью логических связок строятся
производные отношения, такие как «не соприкасаться» (отрицание
«соприкасаться»), «быть вместе..» (следствие от «находиться там же..»),
«висеть» (конъюнкция «иметь вертикальное положение» и «висеть на…»),
«стоять» (конъюнкция «иметь вертикальное положение» и «иметь точку
опоры на..») и т. п. Эти отношения описываются в виде правил,
определяющих с помощью импликации сложное отношение через базовые.
Кроме того, в псевдофизической логике в виде правил описываются свойства
отношений и взаимосвязи между ними.
    Например, свойства рефлексивности (например, рядом (x, x)),
симметричности (например, рядом (x, y) → рядом (y, x)) и транзитивности
(например, выше (x, y) → выше (x, z) & выше (z, y)).
     Временная псевдофизическая логика имеет дело с отношениями
«происходить одновременно», «пересекаться во времени» (n-арные), «быть
раньше», «быть позже» (бинарные), «давно», «недавно», «скоро" (унарные)
и т.п.
    Более подробно особенности использования нечеткой логики при
анализе и представлении данных и знаний представлены в главах 9 и 17.

            7.4 Сетевая модель представления знаний

    В основе сетевой модели лежит идея о том, что любые знания можно
представить в виде совокупности объектов (понятий) и связей (отношений)
между ними.
    Известно, что любую конкретную ситуацию в реальном мире, всегда
можно представить в виде совокупности взаимосвязанных понятий.
Причем число базовых отношений не может быть бесконечным (оно
заведомо меньше 300); все остальные отношения выражаются через
базовые в виде их комбинаций. Эта гипотеза служит основой утверждения
о том, что семантические сети являются универсальным средством для
представления знаний в интеллектуальных системах.
    Семантической сетью называется ориентированный граф с
помеченными вершинами и дугами, где вершинам соответствуют
конкретные объекты, дугам - отношения между ними.




                                   66