Часть 2. Инструментальная среда ДЕКЛ
Инструментальная среда DECL, разработанная в конце 90-х годов, включает в себя язык DECL, предназначенный для обработки структур знаний (РСС), а также собственную базу данных - для хранения РСС и текстов. Позволяет быстро строить прикладные интеллектуальные системы, лингвистические процессоры, базы знаний, экспертные системы, оболочки экспертных систем. Если использовать для этих целей языки более низких уровней (PASCAL, C++), то получаются очень сложные программы, которые трудно отлаживать. На языке DECL эти программы оказываются достаточно простыми и компактными. Более того, они легко налаживаются и корректируются.
Демоны за круглым столом.
Язык DECL использует парадигму – демоны за круглым столом, которая широко используется в области «искусственный интеллект».
Имеется круглый стол с пищей. За ним сидят демоны, которые смотрят на стол (ЛЧ). И если имеется подходящая пища, то демон срабатывает и делает определенные действия (ПЧ). Например, он может положить новую пищу на стол.
Если эта пища подходящая для других демонов, то они смогут сработать и т.д..
Парадигма хороша в силу параллелизма: можно сажать все новых и новых демонов, которые будут делать все более сложную работу. Однако, в чистом виде парадигма не используется по следующим причинам. В один и тот же момент могут хотеть взять пищу сразу несколько демонов. Возникают коллизии от того, какой демон срабатывает первым, зависит, по какому пути пойдет дальнейший процесс. Поэтому, во-первых, вводят ранг каждого демона. В случае коллизии пищу берет демон наиболее высокого ранга. Во-вторых, делает демонов не активных (которые смотрят на стол) и спящих. Когда какой-либо демон срабатывает, то он может (кроме всего прочего) разбудить других демонов (или активизировать их), а сам – уснуть.
Именно такая схема используется в языке DECL. Круглый стол – база знаний – РСС. Демоны - это правило ЕСЛИ...ТО..., которые содержат правую (ПЧ) и левую (ЛЧ) части. Для ЛЧ ищутся сопоставимые структуры в БЗ .Подходящая пища демона, если в БЗ оказалась сеть (РСС), сопоставимая с ЛЧ правила. Тогда правило делается применимым и выполняются действия, записанные в ПЧ этого правила. В частности, могут быть вызваны другие правила (активизации демонов).
Язык DECL похож на PROLOG, в котором реализуется метод резолюций логики предикатов.
Язык DECL предназначен для обработки структур знаний - в виде РСС.
Для него есть интерпретатор и компилятор. Поддерживается на языке PASCAL.
Предыдущий раздел|Следующий раздел