Facoltà di Ingegneria Corso di Laurea Magistrale in Ingegneria ...

Ambiente di sviluppo
2.5.2. FIPA SL Content Languages Specification
Questa specifica definisce una sintassi concreta per il FIPA Semantic Language (SL) (la quale
può essere considerata una sotto-grammatica di una sintassi molto più generale che è quella
s-expression). Tale linguaggio può essere impiegato nell’espressione dei contenuti, in quanto
capace di definire la semantica intenzionale per gli atti comunicativi. Questa sintassi e la
semantica associata sono proposte per l’uso congiunto con il FIPA Agent Communication
Language. Un’espressione di contenuto, nella forma del FIPA-SL, usata come contenuto di un
messaggio ACL, può assumere tre forme:
1. Proposizione, che può avere assegnato un valore di verità in un dato contesto. Nel
dettaglio essa è una formula ben-formata (fbf) usando le opportune regole di
produzione. Una proposizione è usata nel CA inform e in altri CA derivati da esso.
2. Azione, che può essere eseguita. Si può trattare di una singola azione o di un’azione
composta, costruita usando operatori di sequenzializzazione (sequencing - ;) e di scelta
fra alternative (alternative - |). Un’azione è usata come espressione di contenuto quando
l’atto è request e altri CA derivati da esso.
3. Espressione di riferimento identificativo (IRE), che identifica un oggetto nel dominio. Si
ottiene con l’uso di un operatore referenziale (iota, any, all) ed è usata nel gruppo di
comandi inform-ref e negli altri CA derivati da esso.
Altre espressioni di contenuto valide si possono ottenere come composizione dei casi
precedenti. Ad esempio:
- Una coppia action-condition (rappresentata da un’azione seguita da una fbf) è usata
nell’atto comunicativo propose.
- Una terna action-condition-reason (rappresentata da una azione seguita da due fbf) è
usata nell’atto comunicativo reject-proposal.
L’esempio illustra un’interazione fra due agenti A e B che fanno uso dell’operatore iota, dove
si suppone che l’agente A abbia la seguente base di conoscenza
– KB = {P(A), Q(1, A), Q(1, B)}.
27