Cтраница 3
В основе разработанного формализованного языка представления ФР лежит использование Л - конвсрсин, основными достоинствами которой являются простота понимания и универсальность. В данной системе поддерживается предикатная трактовка ФР и конкретизируется его понятие. ФР рассматривается как ориентированный граф, в котором помечены вершины и дуги. Одна из вершин выделена для предикатного символа. Остальные вершины предназначены для аргументов, находящихся в некотором падежном отношении ( метка на дуге) с выделенным предикатом. Каждая вершина имеет область допустимых значений, называемую сортом. В исчислении предикатов сорта переменных не рассматриваются, а поэтому исчисление предикатов можно рассматривать как одно-сортную логику. С принципиальной точки зрения, сорта переменных могут быть исключены путем введения соответствующих одноместных предикатов. Однако с введением таких дополнительных предикатов падает эффективность алгоритмов поиска решений и вывода. [31]