Технический форум по робототехнике.
Duhas » 20 окт 2009, 20:35
ну тут это обсуждение пошло уже ).. мб я чего-то не понял в вашем подходе..
ПС какая стрельба? давайте жить дружно
![Drinks or Beer :beer:](http://roboforum.ru/images/smilies/drinks.gif)
Виктор Казаринов » 21 окт 2009, 11:23
Я начал писать описание RBIL (RoboBrain Interchange Language), с пом. которого модули будут обмениваться информацией между собой. Этот формат будет универсальным, различия будут лишь в том, какой поднабор понятий общей онтологии RBO (RoboBrain Ontology) входит в диапазон взаимодействия конкретных модулей.
С пом. RBIL можно описывать в т.ч. и модели миров, что необходимо, в частности, для зрительной подсистемы робота.
RBIL должен содержать человекочитаемую нотацию и бинарную - для реальной работы в МК.
=DeaD= » 21 окт 2009, 11:35
Пример бы системы в сборе - хотя-бы в минимальном наборе. Хотя-бы сильно упрощенной, чтобы понять что оно вообще будет работать и не содержит принципиальных проблем к которым пока даже не знаем как подходить.
Виктор Казаринов » 21 окт 2009, 11:43
Честно сказать - не пойму, что я должен сделать, чтобы вам доходчиво объяснить то, что разрабатываю. Намекните хотя бы на аналогию. Если я буду описывать свойства "сильного ИИ", то это описание будет противно мне самому, т.к. это - чистой воды прожектерство. Сейчас задача - минимум:
1. Создать простейшие зачатки личности робота чтобы он самостоятельно принимал хотя бы навигационные решения. Например, сдвинулся в сторону, чтобы лучше разузнать местность и свое положение относит. нее, а также чтобы умел достигать примитивную цель путешествия.
2. Распознавание простейших геометрических элементов местности и увязывание их в модель наблюдаемого мира. Карта местности - часть этого мира.
=DeaD= » 21 окт 2009, 11:45
Ну вот уже постановка задачи какая-то началась
![Smile :)](http://roboforum.ru/images/smilies/smile.gif)
всё вперед
Виктор Казаринов » 21 окт 2009, 21:29
Я завикизировал формальную грамматику RoboBrain Interchange Language, но выложу м.б. завтра с работы, т.к. мой домашний IP заблокирован в wiki из- за кого-то в нашей сети. За основу взял язык ACL описанный в рекомендации FIPA. Добавлю в него онтологию и можно будет хотя бы на бумажке писать сообщения, включающие модели мира.
setar » 21 окт 2009, 21:55
в вике блоков пока мало, скиньте в личку ip домашний - проверю
Добавлено спустя 5 минут 39 секунд:
нашел сам, разблокировал, это был глюк вики из за кластерной конфигурации
Виктор Казаринов » 22 окт 2009, 09:01
Я взял за основу язык ACL - Agent Communication Language. Побитовое представление сообщений размещу на Wiki. Но это - всего лишь оболочка для содержания сообщения. Сейчас приступаю к формализации онтологии.
Последний раз редактировалось
Виктор Казаринов 22 окт 2009, 09:56, всего редактировалось 1 раз.
setar » 22 окт 2009, 09:51
проверте пожалуйста сейчас доступ к вики
Виктор Казаринов » 22 окт 2009, 09:59
Большое спасибо, setar, все заработало.
Можем обсуждать
wiki/RoboBrain_Interchange_Language если кому-то это будет интересно
=DeaD= » 22 окт 2009, 11:05
2Виктор: Надо 3-5 примеров сообщений, чтобы можно было их разобрать. Если они по синтаксису недостаточно очевидны - лучше сделать их разбор, как примеров.
Виктор Казаринов » 22 окт 2009, 11:39
Формат сообщения на языке 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
)
=DeaD= » 22 окт 2009, 11:45
а пример request'а?
Виктор Казаринов » 22 окт 2009, 11:53
Агент по имени 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)
=DeaD= » 22 окт 2009, 11:57
а чего в последнем запросе такие навороченные отправитель и получатель? С чем это связано? И какая разница?