- А2 относится к классам Действующее лицо и Собака.
- А3 относится к классам Предмет и Поводок.
- А4 относится к классам Действующее лицо и Кинолог.
6. Определим набор свойств-связей, которые понадобятся для описания взаимодействия объектов (названия свойств-связей выделены курсивом):
- А держит в руке Б. - А надет на Б.
- А сторожит Б. - А находится под стражей Б.
7. Опишем характеристики и ограничения для свойств.
- «Держит в руке» относится к объектам класса Человек, а его значениями являются объекты класса Статический предмет.
- «Надет на» относится к объектам класса Действующее лицо, а его значениями являются объекты класса Статический предмет.
- «Сторожит» и «Находится под стражей» относятся к объектам класса Действующее лицо, и их значениями являются также объекты класса Действующее лицо.
Все перечисленные свойства могут иметь от 0 до любого количества значений.
8. Опишем логические утверждения для свойств:
- Если А сторожит Б, то Б находится под стражей А.
9. Запишем значения свойств для наших объектов:
- А4 держит в руке А3. А3 надет на А2. А2 сторожит А1.
Таким образом, мы получили минимальное по содержанию, но полное по структуре описание сцены, изображенной на рис. 11. В приведенном виде модель позволяет нам сделать только один вывод – о том, что А1 находится под стражей А2. Для придания этой модели практического смысла ее нужно существенно расширить – например, описать те факты, что собака бросится на задержанного, если он попытается бежать, а кинолог даст команду и перестанет держать поводок. Полная с прагматической точки зрения модель должна содержать:
