The Modelling of Enterprise Production Management Process Based on Situation Calculus
Dai Yi-sheng · Manufacture Information Engineering of China · 2006
In order to model for enterprise management process by ontology, the theory of situation calculus is thought as the basis of dynamic activity specification in modeling. The theory that solves frame problem of situation calculus is used for representation of dynamic process of enterprise production management and it is applied to formally describe the process of material requirement plan in detail. The method is helpful to model ontology-based enterprise.