State-based Duration Axioms

Grammar Name: state_dur.bnf

Extension Name: state_dur.def

Grammars required by Process Descriptions: actdur.bnf, state_precond.bnf

Process Descriptions

(conditional_duration ?a)

< cond_dur_spec > ::=	(forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< simple_state_axiom >)
					  < duration_literal >))

(context_duration ?a)

< context_dur_spec > ::=  (forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< state_axiom >)
					  < duration_literal >)) |
			  (forall (?occ)
				(if	  (and	(occurrence ?occ < term >)
						< simple_state_axiom >)
					  < interval_literal >))