Agent Program
Op a(arg1,…,argn) <= <code call condition> &
+/- Op1 a1(<args>) & … & +/- Opn an(<args>).
Op is a “deontic modality” and is either
- P - permitted
- O - obligatory
- Do - do
- F - forbidden
- W - obligation is waived.
If the code call condition is true and the deontic modalities in the rule body are true, then Op a(arg1,…,argn) is true.
Web Accessibility