РК-1
1. Привести пример сложной системы. Подтвердить пример наличием свойств, присущих сложной системе. Указать особенности принятия решений в такой системе. Особенности иллюстрировать примером.
2. Описать при помощи логики предикатов модель для двух из следующих моделей:
- беспилотного автомобиля,
- робота – сортировщика деталей,
- робота-футболиста,
- робота-ассистента, выполняющего секретарские обязанности в отношении студента.
Показать минимум три вывода на данной модели. Правила вывода должны состоять не менее, чем из трех предикатов.
3. Выполнить описание моделей из задания 2 в виде семантической сети, в виде фреймов, предусматривающих процедуры вывода.
4. Определить наиболее подходящий для описания модели формализм, с точки зрения принятия решений.