<На страницу назад | На страницу вперед>
А.5.1 Расширение ядра языка детального описания
Первоочередной задачей является расширение ядра языка детального описания до
полного языка детального описания IDEF3, включая новый класс термов инфонов.
Для этого добавляется следующее предложение:
<infonterm> ::= (<term> <term>+) |
(and <infonterm> <infonterm>+) |
(or <infonterm> <infonterm>+) |
(<quant> <var> <infonterm>)
Термы инфонов, имеющие форму (<term> <term>+), называются атомарными термами инфонов.
Кроме того, категория <compterm> модифицируется таким образом, чтобы включать категорию <infonterm>. Для получения более надежной версии можно добавить аппарат теории множеств в явной форме, включенный в KIF (формат обмена знаниями), но в данном случае в этом нет необходимости; детально теория множеств, включенная в KIF, рассматривается в работе (Genesereth & Fikes, 1992).