модель, позволяющая осуществлять эвристические методы вывода на правилах, которая может обрабатывать неопределенности в виде условных вероятностей, а также выполнять монотонный или немонотонный вывод, это