The KM ('Knowledge Machine') is a mature frame system for knowledge representation that has been developed at the University of Texas at Austin. One existing extension of the system provides a representation for actions and change using the situation calculus, with a capacity for 'prediction' or 'simulation' in the environment at hand. In this M.Sc. project, Markus Ingevall has generalized this facility to allow for postdiction reasoning, concurrent actions, and several other facilities.
This master's project was completed in February, 2005. The resulting master's thesis is listed below.