Спецификация плохо формализованных ЗПР

 

1.Отсутствие явно (или количественно) выраженной целевой функции.

2.Отсутствие (априори) алгоритма поиска решения. Алгоритм строится и уточняется в процессе решения задачи.

3.Алгоритм существует, но его реализация очень сложна.

4.Существенная комбинаторность процесса поиска решения.

5.Диапазон данных и знаний, используемых в процессе решения задачи.

6.Возможность диалогового поиска решения (обращение к ЛПР в процессе решения).

 

Пункты 1-6 влияют на процесс решения и мешают использовать методы оптимизации.

 

 

Спецификация человеческого мышления при поиске решения.

 1. Л.П. - рациональное мышление = дедукция + классическая аргументация.

         (-> A, A->B, |-B).

           В этом случае гипотеза принимается, если

           S аргументов “за” - S аргументов “против”  q,

                                          где q – некоторое пороговое значение.     

 2. П.П. – образное мышление (правдоподобный вывод).=

           индукция + абдукция + аргументация(justification)

          A->B                                  

          B___

              A?        

 

      Аргументация:                        

         Пусть есть аргументы “за” и аргументы “против”

                                       

                        

        

 

       - веса, значения которых устанавливаются в зависимости

                             от важности гипотез.

 

3. Case-based reasoning (рассуждение на основе здравого смысла).

 

4. Belief  (вера, убеждение(мнение)).

   ®L             -Квантор необходимости

 

      - Квантор возможности

 

  p ® Lp

  Lp ® LLp

  Mp® LMp