Мене цікавлять формальні підходи до розв'язання задач (в принципі будь-яких,
але можна обмежитись задачами із сфери створення програмного забезпечення).
Зокрема цікавлять такі моменти:
1. Підходи до формалізованого представлення умови задачі (також і формалізоване
представлення розв'язків задач).
2. Формалізовані методи виявлення зв'язків між задачами (можливість
розв'язання однієї задачі через інші (більш масові)).
3. Підходи до автоматизованої кількісної оцінки розв'язку задачі.
4. Оцінка масовості (наскільки часто зустрічається задача на практиці) і
реалістичності задачі.
5. Підходи до формалізованої класифікації задач (або виявлення ступеню
"близькості" задач).
6. Конвертація задачі представленої природньою мовою у більш формалізовану форму
і навпаки. Автоматизована інтерпретація задач заданих природньою мовою.
7. Зв'язок теорії розв'язання задач та ситуативного числення.
Буду дуже вдячним, якщо хтось підкине інформацію і посилання на публікації, що
розглядають описану проблематику. В першу чергу цікавлять інтернет-джерела, буду
вдячним і за посилання на друковані матеріали.
Може хтось підкаже вдалі ключові слова які б вдало мене навели на потрібні
матеріали.
Деякі пункти нагадують мені дослідження у галузі експертних систем (притому не
сучасні, а трохи раніші, "класичні".
Проте я не настільки з ними знайомий, щоби щось чітко порадити
![[*]](images/xp/default_icon.gif){kind=icon}
.