Agent iSolutions - Language - Consequence (CON)

Documentation

Language Specification - Consequence (CON) - Syntax

Syntax

consequence	::=	conclude ( ( resultcomparison ) { , fact-certainty } { , belief-certainty } ) ;
resultcomparison	::=	[ result-val-comp \| PRE.rel-comp ]
result-val-comp	::=	BEL.obj-attr BEL.equality-operator PRE.expression \| BEL.obj-attr BEL.equality-operator ID.literal-symbol \| BEL.obj-attr BEL.equality-operator ID.literal-string \| BEL.obj-attr BEL.equality-operator BEL.sgl-object-ref \| BEL.tuple-object-ref BEL.equality-operator BEL.sgl-object-ref
fact-certainty	::=	fc : ID.unsigned
belief-certainty	::=	bc : ID.unsigned