Inventory Resource Sets

Extension Name: inventory_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:

(inventory_resource ?r)
(inventory_pool ?r ?a)
(inventory_contains ?r1 ?r2)

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

Definitions

Inventory is either input material or output material for some activity.

(forall (?r) (iff (inventory_resource ?r) 
(exists (?a)
	(or	(input_material ?r ?a)
		(output_material ?r ?a)))))

An inventory 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 inventory pool is equal to the maximum cardinality of the associated set.
The aggregate demand of the resource pool before an activity occurrence is equal to the cardinality of the set associated with the resource in that state.
The demand for the resource pool by an activity is equal to the cardinality of a set 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 (inventory_pool ?r ?a) 
(forall (?i ?occ)
	(if  (holds (resource_set ?i ?r) ?occ)
            (and  (inventory_resource ?r)
                  (homogeneous_set ?r ?a) 
                  (forall (?q1)
                          (if  (holds (resource_point ?r ?q1) ?occ)
                                    (greaterEq ?q1 (cardinality ?i))))
                  (stock ?r ?a)
                  (forall (?a1 ?q4)
                          (if  (holds (min_capacity ?a1 ?r ?q4) ?occ)
                               (lesserEq ?q4 (cardinality ?i)))))))))

A resource is contained in an inventory pool iff it is a member of the resource set associated with the inventory pool.

(forall (?r1 ?r2 ?occ)
	(iff	(holds (inventory_contains ?r1 ?r2) ?occ)
		(exists (?a ?i)
			(and	(inventory_pool ?r2 ?a)
				(holds (resource_set ?i ?r2) ?occ)
				(holds (in ?r1 ?i) ?occ)))))