Time-based Conditional Activity Axioms

Grammar Name: time_variation.bnf

Extension Name: time_variation.def

Grammars required by Process Descriptions: time_precond.bnf, variation.bnf

Process Descriptions

< time_conditional_activity > ::=    (forall (?s ?s2)
                                        (iff    (do ?a ?s ?s2)
                                                < simple_time_conditional >))

< partial_time_conditional > ::=  (forall (?s ?s2)
                                        (iff    (do ?a ?s ?s2)
                                                < time_conditional_formula >))

Auxiliary Rules

< simple_time_conditional > ::=  (if	  < simple_time_axiom >
					  < variation_formula >)

< time_conditional_formula > ::=  (if	  < time_axiom >
					  < variation_formula >)