Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems
Galina Rybina, Alexey Mozgachev, Dmitry Demidov

TL;DR
This paper explores the integration of static solvers with temporal reasoning tools to enhance the development of dynamic expert systems, focusing on temporal knowledge representation and processing.
Contribution
It introduces an extended methodology for developing dynamic expert systems that effectively combines static problem-solving with temporal reasoning capabilities.
Findings
Enhanced temporal knowledge representation methods
Improved integration of static solvers with temporal reasoning tools
Frameworks for dynamic expert systems development
Abstract
The paper discusses scientific and technological problems of dynamic integrated expert systems development. Extensions of problem-oriented methodology for dynamic integrated expert systems development are considered. Attention is paid to the temporal knowledge representation and processing.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAI-based Problem Solving and Planning · Advanced Computational Techniques and Applications · Geographic Information Systems Studies
