Duration Axioms based on State and Time

Grammar Name: mixed_dur.bnf

Extension Name: mixed_dur.def

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

Process Descriptions

(mixed_duration ?a)

< mix_dur_spec > ::=	(forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< simple_mix_axiom >)
					  < duration_literal >))

(nondet_mixed_duration ?a)

< nondet_mix_dur_spec > ::=  (forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< mix_formula >)
					  < duration_literal >)) |
			     (forall (?occ)
				(if	  (and	(occurrence ?occ < term >)
						< simple_mix_axiom >)
					  < interval_literal >))