A Static Model-Based Engine for Model-Based Reasoning
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Diagnosis and Qualitative Reasoning. Pages 466-472.
Abstract
Most systems for model-based reasoning record justifications during the search for solutions. In the popular ATMS systems this can lead to an explosion of recorded information when solving complicated problems. We propose an engine for modelbased reasoning which works directly on logical models, uses static precompiled information on the structure of the underlying theory and does no further recording during search. This engine (DRUMII) solves large complicated problems with attractive time and space complexity. To demonstrate the efficiency of the engine we give a new characterization of a popular benchmark suite, solve it with our engine and compare the performance to previous results.
@inproceedings{ijcai1997p69,
title = {A Static Model-Based Engine for Model-Based Reasoning},
author = {Fröhlich, Peter and Nejdl, Wolfgang},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {466--472},
year = {1997},
note = {Diagnosis and Qualitative Reasoning},
url = {https://ijcai.org/proceedings/1997/69},
}
TY - CPAPER TI - A Static Model-Based Engine for Model-Based Reasoning AU - Fröhlich, Peter AU - Nejdl, Wolfgang T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 466 EP - 472 UR - https://ijcai.org/proceedings/1997/69 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
