A formal knowledge base representation for automated rail traffic control (IM-OCU-001)

This report presents a knowledge base representation designed for a proposed rail traffic control expert system which is to be implemented as a decision support system initially. Some of the facets of control knowledge are identified and modelled using high level concepts, techniques, and tools for depicting structural and...