ГОСТ Р ИСО 18629-13-2011
3.1.22 ядро PSL (PSL-Core): Набор аксиом для понятий деятельности,
события деятельности, момента времени и объекта.
П р и м е ч а н и е - Мотивацией для ядра PSL является наличие любых двух
приложений,имеющихотношениекпроцессу,которыедолжнысовместно
использовать упомянутые аксиомы в целях обмена информацией о процессе. Поэтому
ядро PSL является адекватным для описания основных концепций производственных
процессов. Следовательно, эта характеристика основных процессов имеет несколько
допущений в отношении их характеристик, за исключением тех, которые необходимы
для описания процессов. Поэтому ядро PSL ограничено с точки зрения выражения
логической возможности. При этомядро PSL обеспечивает определение многих
вспомогательных понятий, которые необходимы для описания всех интуитивных
понятий в производственном процессе.
[ИСО 18629-1]
3.1.23 теория (theory): Набор аксиом и определений, относящийся к
данному понятию или набору понятий.
Примечание-Данное определение отражает подход искусственного
интеллекта, где теория - это набор предположений, на которых основано значение
соответствующего понятия.
[ИСО 18629-1]
3.1.24 область обсуждения (universe of discourse): Совокупность
конкретных или абстрактных вещей, относящихся к области реального мира,
которые выбраны в соответствии с интересом, который они представляют
для системы, подлежащей моделированию, и ее окружением.
[ИСО 15531-1]
3.2 Сокращения
В настоящем стандарте применены следующие сокращения:
- FOL — логика первого порядка (First-Order Logic);
- BNF —формализм Бэкуса - Наура (Backus-Naur Formalism);
7