Petri net techniques for process planning cost estimation
Advances in Engineering Software
Back to the Future for Consistency-Based Trajectory Tracking
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Incremental state based diagnosis
Advanced Engineering Informatics
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Pervasive diagnosis: the integration of diagnostic goals into production plans
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Editorial: Informatics for cognitive robots
Advanced Engineering Informatics
Editorial: Enabling technologies for collaborative design
Advanced Engineering Informatics
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Mini-bucket heuristics for improved search
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Hybrid estimation of complex systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Compiling AI engineering models for probabilistic inference
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Hi-index | 0.01 |
In a cognitive factory setting, product manufacturing is automatically planned and scheduled, exploiting a knowledge base that describes component capabilities and behaviors of the factory. However, because planning and scheduling are computationally hard, they must typically be done offline using a simplified system model, and are thus unaware of online observations and potential component faults. This leads to a problem: given behavior models and online observations of possibly faulty behavior, how likely is each manufacturing process plan to still succeed? In this work, we first formalize this problem in the context of probabilistic reasoning as plan assessment. Then we contribute a solution which computes plan success probabilities based on most likely system behaviors retrieved from solving a constraint optimization problem. The constraint optimization problem is solved using well-optimized off-the-shelf solvers. Results obtained with a prototype show that our method can guide systems away from plans which rely on suspect components.