1. Ориентирован на построение статических ЭС
(в процессе поиска решения знания не пополняются, модели не меняются)
a). по структуре использования знаний
- без построения ДР(СР)
- с построением ДР(СР)
б). по стратегии поиска решения
- полный перебор
в глубину/в ширину/комбинированный
- сокращенный перебор
на основе эвристических правил
2. Ориентирован на построение динамических ЭС
а). по структуре использования знаний
- компиляция ДР(СР)
- генерация ДР(СР)
при вводе нового правила ДР автоматически перестраивается
б). получение результатов при ограниченных ресурсах
- средства поддержки истинности (truth maintenance)
- средства планировки решения задач (поиска решения)
в). по наличию средств моделирования
- стандартные средства моделирования
(ориентированы на марковские процессы)
, где
- текущее состояние объекта (ПО)
- управляющие параметры
- внешние параметры
В G2 реализованы 2 метода: метод Эйлера и метод Рунге-Кутта.
Метод Эйлера 
- более быстрый
Метод Рунге-Кутта –более точный
….
- немарковские процессы
1). 
2). прогнозирование 
…
