Символические вычисления
- 4.1. Символическое
представление
- 4.2. Физическая символическая
система
- 4.3. Реализация символических
структур на языке LISP
- 4.4. Почему LISP не
является языком представления знаний
- 4.5. Языки представления
знаний
- Рекомендуемая литература
- Упражнения
В этой главе читатель найдет:
- объяснение, почему
исследования в области искусственного интеллекта и создание соответствующих
приложений требуют применения языков программирования определенного вида;
- обсуждение специфических
свойств таких языков, отличающих их от широко используемых в практике программирования
задач обработки данных и научных расчетов;
- вводные сведения об
основных концепциях языка LISP, который на определенном этапе стал основным
языком программирования задач искусственного интеллекта;
- объяснение, почему
LISP редко выбирается в качестве базового языка при построении экспертных
систем;
- объяснение, почему
чаще используются более специализированные языки вроде CLIPS (подробное описание
этого языка приведено в Приложении).
Одна из причин, по которой мы уделяем такое внимание языку LISP в этой главе, состоит в том, что многие языки, появившиеся на свет после него, имеют синтаксис, очень близкий синтаксису LISP (в частности, это относится к языку CLIPS), и включают очень много языковых конструкций, заимствованных из LISP. Однако при построении экспертных систем иногда используются языки, существенно отличающиеся от LISP, например PROLOG, которому будет уделено особое внимание в главе 8 при рассмотрении концепции логического программирования. Синтаксис, основанный на логическом формализме, который уже упоминался в главе 3 при обсуждении системы SRTIPS, имеет много общего с синтаксисом языка PROLOG.
Содержание |