2) Функция «.Add_annot»

Добавляет аннотацию к литералу. Работает с 3-мя параметрами. Первый – литерал или список литералов, к которым требуется добавить аннотацию. Второй – добавляемая аннотация. Третий – переменная, в которую будет помещен результат работы функции.

Примеры использования

a) .add_annot(a,source(jomi),B): в переменную B будет помещено «a[source(jomi)]».

b) .add_annot(a,source(jomi),b[jomi]): приведет к ошибке, поскольку третий аргумент не является переменной.

c) .add_annot([a1,a2], source(jomi), B): в переменную B будет помещен список

«[a1[source(jomi)], a2[source(jomi)]]».

3) Функция «.At»

Генерирует событие через какое-то время в будущим. Идея взята из планировщиков операционных систем.

Функция оперирует 2-мя аргументами. Первый – строка, кодирующая время события относительно текущего времени. Второй – строка, содержащая имя события, которое будет сгенерировано. Обратите внимание: в записи первого аргумента важно соблюдать структуру – сначала слово «now», потом пробел, потом «+n», где n – величина паузы, затем пробел, и, наконец слово, обозначающее размерность времени, – «ms», «s», «m», «h», - миллисекунды, секунды, минуты, часы.

Примеры использования

a) .at("now +1 m", "+!g"): генерируется событие «+!g» через 1 минуту от текущего момента.

b) .at("now +2 h", "+!g"): генерируется событие «+!g» через 2 часа.

4) Функция «.Count»

Подсчитывает количество вхождений убеждений, заданных шаблоном, в базу убеждений агента. Может использоваться как для определения этого количества, так и для его проверки.

Примеры использования

a).count(a(2,_),N) – подсчитывает количество убеждений со структурой «a(2,_)» и помещает это количество в переменную N.

b) .count(a(2,_),5) – проверяет, имеется ли в базе убеждений ровно 5 убеждений со структурой «a(2,_)».

5) Функция «.Create_agent»

Функция предназначена для создания другого агента. Функция требует 3-х аргументов. Первый – имя агента, которое может быть параметрическим предикатом, индивидной константой или строкой. Второй – это путь к файлу с программой работы агента. Третий – список необязательных параметров. Работа со списком необязательных параметров требует углубленного понимания среды Jason и языка Java. Полное описание данной функции приведено в [,стр.252], а в данном вводном пособии мы ограничимся лишь основным синтаксисом.

Примеры использования

a) .create_agent(bob,"x.asl"): создает агента с именем «bob» и программой поведения, определенной в файле "x.asl".

b) .create_agent(customer(N),"x.asl"): создает агента, чье имя определяется значением переменной N в предикате «customer(N)» и программой поведения, определенной в файле "x.asl".

c) .create_agent(S,"x.asl"): создает агента, чье имя определяется переменной S.

6) Функция «.Kill_agent»

Уничтожает агента, чье имя задано параметром. Параметр может быть индивидной константой, предметной переменной. Данная команда рассматривается авторами среды как подлежащая доработке, поскольку ее текущая реализация не учитывает параметров безопасности. Поэтому любой агент может уничтожить любого другого агента и ответственность за это лежит разработчиках прикладной МАС.

Примеры использования

a) .kill_agent(Agent), где Agent имя переменной

b) .kill_agent(customer), где customer константа.

7) Функция «.date»

Возвращает текущую дату в формате (год, месяц, день). Может использоваться как для получения текущей даты, так и для ее проверки.

Примеры использования

a) .date(Y,M,D): помещает в Y текущий год, в M текущий месяц, в D текущее число.

b) .date(2006,12,30): возвращает истину, если выполняется 30 декабря 2006, иначе - ложь.

8) Функция «.time»

Аналогично предыдущей функции, только работает со временем. Возвращает текущее время в формате (часы, минуты, секунды). Может использоваться как для получения текущего времени, так и для его проверки.

Примеры использования

a) .time(H,M,S): помечает в H текущий час, в M текущее значение минут, в S текущее количество секунд.

b) .time(15,_,_): возвращает истину, если сейчас от 15.00 до 16.00, иначе возвращает ложь.

9) Функция «.fail»

Будучи помещена в тело плана, функция приводит к его преднамеренному ошибочному завершению с генерацией события отказа от цели «-!g», где «g» - цель, на которую был ориентирован данный план. Это событие может быть, в свою очередь обнаружено и обработано специальными планами. Смотри также функцию «.fail_goal».

10) Функция «.findall»

Возвращает список возможных конкретизаций для заданного предиката. Работает с тремя аргументами. Первый – терм, содержащий переменные, означивания которых должны привести к построению списка. Второй – предикат, в котором участвуют эти переменные, и который является шаблоном для поиска в базе убеждений. Третий – переменная, в которую будет помещен результирующий список.

Примеры использования

Предположим, что база убеждений содержит следующие предикаты:

{a(30),a(20),b(1,2),b(3,4),b(5,6)}, тогда

a) .findall(X,a(X),L): список L будет содержать варианты означиваний переменной X, которые определяются предикатом «a(X)», и будет равен «[30,20]».

b) .findall(c(Y,X),b(X,Y),L): список L будет содержать варианты означиваний предиката «c(Y,X)», которые определяются предикатом «b(X,Y)», и будет равен [c(2,1),c(4,3),c(6,5)].