Publications in Scientific Journals:
"Shortest Path in a Multi-Modal Transportation Network";
KI Künstliche Intelligenz,
Location Based Services to assist travelers in wayfinding are a prime application for expert system techniques. The use of public transportation leads nearly always to a combination of different services from different providers (multi-modal transportation). Information systems must combine data for the different services and produce advice to navigate in space and to obtain the right tickets, reservations, etc. This information can be seen as two (or more) state-transition diagrams: one for the spatial navigation and one for the business (ticketing, validation, reservation) rules.
A (categorical) product combines two state-transition diagrams. The implementation is immediate using an intuitionistic logic reasoner built into the programming language, which infers typing for second order, polymorphic functions and allows their safe execution. The shortest path algorithm in this combined network produces sound advice and reminds the user to acquire tickets and plans the necessary navigation to ticket vending machines, etc.
The analysis shows how to specify the connections between the two graphs optionally. The approach combines typical expert system technologies like inference engines with object-oriented programing; recent advances increase the level of reasoning possible during compilation. The use of a high-level programming language with substantial inference power facilitates the formalization of domain knowledge and is a viable alternative to the classical expert system architecture.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.