Bruce LeSourd - c473ak
9040433

CSE 473, Spring 1991
Project 1 - Informal Domain Specification

5/8/91

1.	GCCONS - General Contractor Construction Site Planning

2.	(available <resource> <from-time> <to-time> <floor> <grid>)
	(at <floor> <grid>)
	(share <user> <user> <resource>)
	(framed <floor> <grid>)
	(budget <value>)

3.	SLAB must precede FRAMING (or vice-versa)
	a resource is AVAILABLE if its current users SHARE with the "requesting" user

4.	(frame <floor> <grid> <time>)
	(move <obj> <from-floor> <from-grid>
		    <to-floor>   <to-grid>)
	(activate <resource> <from-time> <to-time>)
	(idle <resource> <from-time> <to-time>)
	(deactivate <resource> <time>)

5.	(FRAME
		(params <floor> <grid> <time>)
		(preconds (and	(framers <sub>)
				(available <sub> <time> <stop-time> <floor> <grid>)
				(less-than <time + *framing-time*> <stop-time>)
				(available *steel* <time> *framing-time* <floor> <grid>) ) )
		(effects  (	(del (available <sub> <time> *framing-time* <floor> <grid>))
				(del (available *steel* <time> *framing-time* <floor> <grid>))
				(add (framed <floor> <grid>))
				(add (available <sub> <time + *framing-time*> <stop-time> <floor> <grid>))
			) )  )

6.	This is a classic planning domain, and not at all original.  There are many commmercially available
computer planners for this domain.  However, this is one of the few real-world domains that really benefits
from both search and control.  The "world" of the job-site is very deterministic:  unlike "planning" problems
involving large numbers of people and their wants and needs, everything on the job-site conforms to well-
understood patterns.  Furthermore, it is fairly realistic to say that the construction of a building is not
so much a matter of optimization as simply finishing on time and under budget.  Thus, two simple pieces of
domain information can determine the difficulty of the search.  On the job-site, many operations are
concurrent, but only one operation at a time can take place on any particular resource (space, material, etc.).
The challenge of this domain is to incorporate the consumption of budget and the progress of time in a semi-
concurrent but discrete environment.





