Виктор Казаринов » 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
)