This paper presents the theory and implementation of a logic based discrete event simulation system ECSIM, Event Calculus SIMulation. ECSIM’s representation language is PROLOG extended with temporal predicates derived from the event calculus. The theory defines the truth value of a property given a history of events. ECSIM can represent actions that happen at a particular point in time, and activities that happen over a period of time; it can represent properties that change discretely and continuously over time. ECSIM’s scheduling algorithm uses activity scanning to generate event notices for all future activities. ECSIM’s major distinction with other simulation systems is its reference to the complete history of simulated time. A given event schedule can be analyzed by deriving the properties of the world at any time in the simulated history. ECSIM’s logic programming framework enables classical simulation to be extended with explanation generation, inductive learning, planning, decision support, simulation of intelligent agents, and symbolic simulation.
A Discrete Event Simulation Framework for Utility Accrual Scheduling Algorithm in Uniprocessor Environment
