Часть 1. Общие проблемы теории интеллектуальных систем

Введение в логические процессы. Алгоритмический язык ЛОС

А. С. Подколзин

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: В статье описывается алгоритмический язык ЛОС (логическое описание ситуаций). Описываются основные операторы языка, редактор программ ЛОС, и показано как можно отлаживать программы на ЛОС.

Ключевые слова: решатель математических задач, логические процессы, логический язык, логическая формализация задач