Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Do the right thing: studies in limited rationality
Do the right thing: studies in limited rationality
Artificial Intelligence - Special issue on knowledge representation
A Bayesian approach to relevance in game playing
Artificial Intelligence - Special issue on relevance
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Automated instructor assistant for ship damage control
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Scientific Computing: An Introductory Survey
Scientific Computing: An Introductory Survey
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Interval Timed Coloured Petri Nets and their Analysis
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Envisionment-based scheduling using time interval petri networks: representation, inference, and learning
Machine learning for time interval petri nets
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
TeMAS–a multi-agent system for temporally rich domains
Knowledge and Information Systems
Machine learning for time interval petri nets
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
This paper presents a formalism called Time Interval Petri Nets (TIPNs), which are designed to support a qualitative simulation of temporal concurrent processes. One of the key features of TIPNs is a uniform use of time intervals throughout the model. This enables a natural and efficient representation of temporal uncertainty in inputs, outputs, and intermediate states of the qualitative simulation. This is required because the exact time of key events, such as the start time of a fire crisis, is typically not known with certainty. Likewise, output conclusions of the qualitative simulation include earliest time and guaranteed time of key events that can be used by a decision maker to select the most appropriate action.Results are described of a TIPN-based qualitative simulator constructed in the domain of ship damage control. The simulator was created to replace an existing quantitative simulator which was too slow to support envisionment-based real-time decision making in this domain. The experimental results showed a speedup of four to five orders of magnitude which enables hyper-real time qualitative prediction of consequences of multiple competing actions. An automated shipboard damage control decision-making system incorporating a TIPN-based qualitative simulator achieved a 318% improvement over human subject matter experts in a large-scale simulated exercise of over 500 scenarios.