Home

Products

Documentation

Download

Support

 

Documentation

Language Specification - Initial Belief (BEL) - Syntax


Prev

Description

Syntax

Semantics

Next


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 }

 


Questions or problems regarding this web site should be directed to the Webmaster.
Copyright © 2000-2012 All rights reserved.
Last modified: Wednesday January 18, 2012.