Resource Pools

Extension Name: res_pool.def

Primitive Lexicon: none

Theories Required by this Extension: res_set.th, requires.th, psl_core.th, act_occ.th, subactivity.th,interval.th, complex_act.th, sitcalc.th

Defined Lexicon:

(resource_pool ?r ?a)
(conservative_pool ?a ?r)
(material_pool ?r ?a)

Definitional Extensions Required by this Extension: homogeneous_set.def,subst_res.def,res_set_action.def, states.def

Definitions

A resource pool is a resource set which is homogeneous with respect to some activity ?a, and whose capacity constraints satisfy the following conditions:

The resource point of the resource pool is equal to the cardinality of the associated set.
The demand for the resource pool by an activity is equal to the cardinality of the subset of resources required by the activity.
The minimum capacity of the resource pool is equivalent to the minimum cardinality of the associated set.

(forall (?r ?a) (iff (resource_pool ?r ?a) 
(forall (?i ?occ)
	(if  (holds (resource_set ?i ?r) ?occ)
		  (and 	(pile ?r ?a)
			(pool ?r ?a)
			(forall (?q3)
				(if  (holds (min_capacity ?a ?r ?q3) ?occ)
					  (lesser ?q3 (cardinality ?i)))))))))

A resource pool is conservative with respect to an activity iff the demand for the pool is equal to the quantity which is used or consumed.

(forall (?a ?r) (iff (conservative_pool ?a ?r) 
(and	(resource_pool ?r ?a)
	(forall (?q)
		(iff	(pool_demand ?a ?r ?q)
			(or	(uses_pile ?a ?r ?q)
				(consumes_pile ?a ?r ?q)))))))

A resource pool is a material pool with respect to some activity iff the pool is provided with respect to the activity.

(forall (?r ?a) (iff (material_pool ?r ?a) 
(and	(resource_pool ?r ?a) 
	(exists (?q)
		(provides_quantity ?a ?r ?q)))))