Логическое программирование — это направление современного про­грам­мирования, возникшее первоначально в рамках работ по ис­кусствен­ному интеллекту и получившее свое развитие во второй половине вось­мидесятых годов, благодаря японскому проекту ЭВМ пятого по­ко­ле­ния. Наиболее полное выражение идеи логического программирования наш­ли в языке Prolog (PROgramming in LOGic — программирование в терминах логики). Первоначальный вариант языка Prolog был разработан под руководством Алэна Кольмероэ (Alain Colmerauer) в Марсельском уни­верситете в 1972 году. В настоящее время существуют разнообразные версии   для DOS (PDC Prolog, Arity Prolog и др.), Windows (Visual Prolog,  Strawberry Prolog,   Trinc Prolog и др.), Linux (Arity Prolog, Visual Prolog и др.).

Области применения систем, основанных на знаниях, весьма раз­но­об­разны: бизнес, производство, военные приложения, медицина, со­ци­о­ло­гия, геология, космос, сельское хозяйство, управление, юриспру­ден­ция и др.

Проблема автоматизированного приобретения знаний связана с разработкой специальных информационных технологий, обеспечивающих поддержку процедур извлечения и структурирования знаний. К настоящему времени автоматизированные системы приобретения знаний прошли в своем развитии три стадии.

Знания, полученные от эксперта в прямом диалоге, имеют поверхностный характер и не отражают сложных механизмов мышления специалиста. Альберт Эйнштейн говорил: «Слова, написанные или произнесенные, не играют, видимо, ни малейшей роли в механизме моего мышления». Известный психолог Л.С. Выготский научно обосновал, что мышление и речь имеют разные корни. В настоящее время известно, что язык выступает в качестве материального носителя результатов мышления на предварительной и завершающей его стадиях. Ранее многие ученые придерживались иной точки зрения, например древнегреческий мыслитель Платон полагал, что если человек не может представить свое знание в виде правил, то это уже не знание, а вера, Зигмунд Фрейд, отводя главную роль в человеческом поведении бессознательному, считал, что оно ни при каких обстоятельствах не может стать сознательным, тем самым отвергая возможность извлечения скрытых знаний.

Семиотический подход к моделированию человеческих знаний считается в настоящее время одним из самых перспективных. На рис. 8.1 показана схема, известная в семиотике как треугольник Фреге. Объекты реального мира, называемые денотатами, отражаются в сознании человека (ментальном мире), и в результате этого отражения возникают представления о денотатах. Представление — это интегрированный образ денотата (называемый в психологии гештальтом), полученный на основе ощущений и других источников информации.