Tuzhilin, Alexander - 2008
We advocate the use of temporal logic instead of the first-order logic in rules ofknowledge-based simulation systems. We argue that this provides several advantagesthat will be discussed in the paper. We show how temporal logic is used in simulationby considering language PTL based on temporal...