Agent iSolutions - Language - Initial Belief (BEL)

Documentation

Language Specification - Initial Belief (BEL) - Syntax

Syntax

initial-belief	::=	( [ value-expression \| relational-expression ] ) ;
value-expression	::=	obj-attr equality-operator value \| obj-attr equality-operator sgl-object-ref
equality-operator	::=	= \| !=
evaluation-operator	::=	equality-operator \| > \| >= \| < \| <=
obj-attr	::=	tuple-object-ref . ATT.attribute-name { ( collection-index ) }
tuple-object-ref	::=	AGT.agent-name \| OBJ.object-name \| COB.conceptual-object-name \| ARE.area-name \| VAR.variable-name \| PAC.param-name \| current
collection-index	::=	ID.literal-string \| ID.unsigned \| VAR.variable-name \| PAC.param-name
sgl-object-ref	::=	AGT.agent-name \| OBJ.object-name \| COB.conceptual-object-name \| ARE.area-name \| VAR.variable-name \| PAC.param-name \| unknown \| current
value	::=	ID.literal-string \| ID.number \| PAC.param-name \| unknown
relational-expression	::=	tuple-object-ref REL.relation-name sgl-object-ref { is ID.truth-value }