Спасибо за вопрос.
На данный момент метаязыки только сравниваются между собой на предмет соответствия поставленной задаче.
В дальнейшем мы планируем рассмотреть анализ самих языков, основываясь на правилах и законах логики предикатов (в качестве предикатов первого порядка выступают связи в онтологии).
Ответить
Обсуждение работ закрыто!
Обсуждение работ закрыто!
Мы используем файлы cookies для улучшения работы сайта. Оставаясь на нашем сайте, вы соглашаетесь с условиями
использования файлов cookies. Чтобы ознакомиться с нашей Политикой использования файлов cookie,
нажмите здесь.
Ответить
Обсуждение работ закрыто!
Ответить
Обсуждение работ закрыто!
Ответить
Обсуждение работ закрыто!