Издательство — Школьные технологии — Выпуск №3/2010

В СИСТЕМАХ, ИСПОЛЬЗУЮЩИХ МЕХАНИЗМ ЛОГИЧЕСКОГО ВЫВОДА РЕШЕНИЯ, ОСНОВНУЮ РОЛЬ ИГРАЕТ СПОСОБ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ. НАИБОЛЕЕ РАСПРОСТРАНЕНЫ ЛОГИЧЕСКАЯ, ПРОДУКЦИОННАЯ, ФРЕЙМОВАЯ МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ, А ТАК ЖЕ СЕМАНТИЧЕСКАЯ СЕТЬ. РАССМОТРИМ ПРИМЕНЕНИЕ ФРЕЙМОВОЙ МОДЕЛИ НА ПРИМЕРЕ РАЗРАБОТКИ ПРОГРАММНОГО МОДУЛЯ РЕШЕНИЯ ЗАДАЧИ ЭЙНШТЕЙНА.