4.2.4.2. Концептуальный язык описания сложноструктурированной проблемной области

Для разработки системы моделирования проблемной области очень важным фактором является выбор языка представления знаний, т.к. от этого будет зависеть выразительная мощность самой системы. Однако, чем мощнее будет язык представления знаний, тем более опытным должен быть пользователь, который будет в дальнейшем работать с данной системой. Ему необходимо будет знать данный язык для построения запросов и ввода аксиом.

В качестве языка представления знаний используется язык MLL. И хотя пользователь, не зная его, может описать классы объектов и отношения между ними, используя программное инструментальное средство «Инфолог», тем не менее, для создания запросов знание синтаксиса MLL ему необходимо. Это, разумеется, предъявляет ряд определенных требований к пользователю.

Поэтому в программном инструментальном средстве «Инфолог» реализован концептуальный язык запросов. Его использование позволяет пользователю вводить запрос не на языке MLL, а на ограниченном естественном языке, который для неподготовленного пользователя несомненно проще, т.к. не требует от него знания языка MLL.

В ходе исследований были разработаны 9 шаблонов. Таким образом, следуя какому-либо из данных шаблонов пользователь, может построить запрос. При этом сам текст запроса он вводит на естественном языке. Пользователь не заботится о том, какой язык представления знаний используется в данной системе, это позволяет ему “подняться” на один уровень выше. Таким образом, после описания проблемной области создавать запросы и получать результаты может уже практически неподготовленный пользователь.

Например, следующий запрос на естественном языке «Определить программные компоненты проектируемой системы P, обеспечивающие взлет-посадку самолетов, являющихся частью объекта управления О», выражается в виде формулы на языке MLL:

($(x/ПК_обработки):#P)($(y/самолет):#O)

обесп_взлет_посадку(x,y), где символ «$»используется для задания квантора  и символ «:» – для задания отношения Part of.

Этот запрос более понятно для пользователя будет представлен в следующем виде:

«Определить ПК_обработки, являющиеся частью проектируемая_система P, и самолеты, являющиеся частью объект_управления О, находящиеся в отношении обесп_взлет_посадку» .

Ниже представим разработанные шаблоны, в которых символы «<» и «>» используются для задания места записи реальных объектов.

1. Определить имеет ли <#объект1>, который является частью <#объект2>, атрибут <G> со значением <#R>

2. Определить находится ли <#объект11>, который является частью <#объект1>, в отношении <G> с <#объект22>, который является частью <#объект2>

3. Определить значение атрибута <G> <#объект1>, который является частью <#объект2>

4. Определить <объекты>, являющиеся частью <#объект1>, с которыми <# объект2>, являющийся частью <#объект3>, находится в отношении <G>

5. Определить <объекты>, являющиеся частью <#объект1>, имеющие атрибут <G> и значение атрибута <#R>

6. Определить <объекты>, являющиеся частью <#объект1>, и <объекты>, являющиеся частью <#объект2>, находящиеся в отношении <G>

7. Определить <объекты>, которые имеют атрибут <P> со значением <R>, являющиеся частью <#объект1>, содержащегося в <#объект2>

8. Определить <объекты>, которые имеют атрибут <P>, и значение атрибута, являющиеся частью <#объект1>, содержащегося в <#объект2>

9. Определить <объекты>, которые имеют атрибут <P>, и значение атрибута, которых {<,>,,,,} <#R>, являющиеся частью <# объект1>, содержащегося в <#объект2>