ГОСТ Р ИСО 18629-44 - 2011
технологического процесса на языке PSL на этапе изготовления двигателя имеет
вид:
(subactivity make_block make_engine)
(subactivity make-harness make_engine)
(subactivity make-wires make_engine)
(subactivity assemble_engine make_engine)
(processor_activity make_engine)
(exists (?r1 ?r2 ?r3 ?r4)
(and (requires make_engine ?r1)
(requires make_engine ?r2)
(requires make_engine ?r3)
(requires make_engine ?r4)
(workcell ?r4)
(reusable ?r4 make_engine)
(processor_resource ?r4 make_engine)
(engine_block ?r1)
(input_material ?r1 make_engine)
(uses_quantity make_engine ?n 1)
(outputjnaterial ?r1 make_engine)
(possibly_consumable ?r1 make_engine)
(harness ?r2)
(input_material ?r2)
(consumable ?r2 make_engine)
(consumes_quantity make_engine ?r2 1)
(wire ?r3)
(input_material ?r3)
(consumes_quantity make_engine ?r3 5)
(wearable ?r3 make_engine)))
(forall (?r)
(implies (engine._block ?r)
(resource ?r)))
(forall (?r)
(implies (harness ?r)
(resource ?r))
(forall (?r ?s)
(implies (wire ?r)
(exists (?i)
(and (prior (resource_set ?i ?r) ?s)
(pile ?r make_engine)))))
(forall (?occ)
(iff (occurrence_of ?occ make_engine)
(exists (?occ1 ?occ2 ?occ3 ?occ4)
(and (occurrence_of ?occ1 make_block)
(occurrence_of ?occ2 make_harness)
(occurrence.^ ?occ3 make_wires)
(occurrence^ ?occ4 assemble_engine)
(subactivityoccurrence ?occ1 ?occ)
(subactivity_occurrence ?occ2 ?occ)
(subactivity_occurrence ?occ3 ?occ)
(subactivity_occurrence ?occ4 ?occ)
44