roboforum.ru

Я начал писать описание RBIL (RoboBrain Interchange Language), с пом. которого модули будут обмениваться информацией между собой. Этот формат будет универсальным, различия будут лишь в том, какой поднабор понятий общей онтологии RBO (RoboBrain Ontology) входит в диапазон взаимодействия конкретных модулей.
С пом. RBIL можно описывать в т.ч. и модели миров, что необходимо, в частности, для зрительной подсистемы робота.
RBIL должен содержать человекочитаемую нотацию и бинарную - для реальной работы в МК.

Честно сказать - не пойму, что я должен сделать, чтобы вам доходчиво объяснить то, что разрабатываю. Намекните хотя бы на аналогию. Если я буду описывать свойства "сильного ИИ", то это описание будет противно мне самому, т.к. это - чистой воды прожектерство. Сейчас задача - минимум:
1. Создать простейшие зачатки личности робота чтобы он самостоятельно принимал хотя бы навигационные решения. Например, сдвинулся в сторону, чтобы лучше разузнать местность и свое положение относит. нее, а также чтобы умел достигать примитивную цель путешествия.
2. Распознавание простейших геометрических элементов местности и увязывание их в модель наблюдаемого мира. Карта местности - часть этого мира.

Я завикизировал формальную грамматику RoboBrain Interchange Language, но выложу м.б. завтра с работы, т.к. мой домашний IP заблокирован в wiki из- за кого-то в нашей сети. За основу взял язык ACL описанный в рекомендации FIPA. Добавлю в него онтологию и можно будет хотя бы на бумажке писать сообщения, включающие модели мира.

Я взял за основу язык ACL - Agent Communication Language. Побитовое представление сообщений размещу на Wiki. Но это - всего лишь оболочка для содержания сообщения. Сейчас приступаю к формализации онтологии.

Большое спасибо, setar, все заработало.
Можем обсуждать wiki/RoboBrain_Interchange_Language если кому-то это будет интересно

Формат сообщения на языке RBIL:

(<Тип сообщения>
:sender// Отправитель сообщения
:receiver// Получатель(и)сообщения
:content// Содержание сообщения
:reply-with// Метка исходящего сообщения
:in-reply-to// Ссылка на входящее сообщение
:replyBy// Лимит времени на ответ
:language// Язык сообщения
: ontology// Онтология
:protocol// Используемый протокол общения
:conversation-id// Идентификаторразговора
)

"Inform" и "Request" -два базовых типа сообщений (performatives) в RBIL.
Все остальные являются макроопределениями, определенными в терминах этих речевых акта
Значение "Inform" и "Request" определяется в двух частях:
–предусловия, которые должны быть истинны для того, чтобы речевой акт достигал цели;
–"рациональный эффект" ("rational effect") -чего надеется достичь отправитель сообщения.

Речевой Речевой акт "Inform".
Содержание представляет собой утверждение(statement).
Предусловие заключается в том, что отправитель:
–считает, что содержание является истинным;
–имеет намерение, чтобы получатель поверил в это содержание;
–еще не считает, что получатель осведомлен о том, является ли содержание истинным или нет.

Речевой акт "Request".
Содержание представляет собой действие (action).
Предусловие заключается в том, что отправитель:
–имеет намерение, чтобы было выполнено действие, указанное в содержании;
–считает, что получатель способен выполнить это действие;
–не считает, что получатель уже намеревается выполнить действие.

Пример в текстовой нотации:
(inform
:sender agent1
:receiver agent5
:content (price good200 150)
:language sl
: ontology hpl-auction
)

Добавлено спустя 4 минуты 21 секунду:
(inform
:sender Victor1
:receiver Pavel
:content Сегодня хорошая погода
:language russian
)

Агент по имени i просит на языке vb у агента по имени j открыть файл db.txt
(request
:sender (agent-identifier :name i)
:receiver (set (agent-identifier :name j))
:content "open \"db.txt\" for input"
:language vb)