Plan Activity Axioms

Grammar Name: plan.bnf

Extension Name: plan.def

Grammars required by Process Descriptions: embedding.bnf, state_precondition.bnf

Process Descriptions

< plan_axiom > ::=	(forall (?s ?occ < variable >*) 
				< simple_plan_axiom >)

< nondet_plan_axiom > ::=  (forall (?s ?occ < variable >+) 
				< nondet_plan_axiom >))

Auxiliary Rules

< plan_formula > ::=	(if	 < subocc_formula >
				 < simple_state_axiom >)

< simple_plan_axiom > ::=	< plan_formula> |
				(and < simple_plan_axiom > < simple_plan_axiom >+)

< nondet_plan_formula > ::=	(if	 < subocc_formula >
				 	< state_axiom >)

< nondet_plan_axiom > ::=	< nondet_plan_formula> |
				(and < nondet_plan_axiom > < nondet_plan_axiom >+)