Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
A theory of interactions: unifying qualitative and quantitative algebraic reasoning
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Modeling digital circuits for troubleshooting
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
What's in SD?: Towards a theory of modeling for diagnosis
Readings in model-based diagnosis
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Artificial Intelligence
Reasoning about model accuracy
Artificial Intelligence
Artificial Intelligence
Creating abstractions using relevance reasoning
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Automated model selection for simulation
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Efficient compositional modeling for generating causal explanations
Artificial Intelligence
Algorithm synthesis through problem reformulation
Algorithm synthesis through problem reformulation
Semantic Abstractions in the Multimedia Domain
IEEE Transactions on Knowledge and Data Engineering
Abstraction and Phase Transitions in Relational Learning
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Linearly Bounded Reformulations of Unary Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Formalizing Approximate Objects and Theories: Some Initial Results
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Perception-Based Granularity Levels in Concept Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Perceptual Learning and Abstraction in Machine Learning
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
AI Communications
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Representation dependence in probabilistic inference
Journal of Artificial Intelligence Research
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Formalizing the abstraction process in model-based diagnosis
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Abstraction and complexity measures
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
A new efficient and flexible algorithm for the design of testable subsystems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Using abstractions to facilitate management of large ORM models and ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Hi-index | 0.00 |
In this paper we present a semantic theory of abstractions based on viewing abstractions as model level mappings. This theory captures important aspects of abstractions not captured in the syntactic theory of abstractions presented by Giunchiglia and Walsh [1992]. Instead of viewing abstractions as syntactic mappings, we view abstraction as a two step process: first, the intended domain model is abstracted and then a set of (abstract) formulas is constructed to capture the abstracted domain model. Viewing and justifying abstractions as model level mappings is both natural and insightful. This basic theory yields abstractions that are weaker than the base theory. We show that abstractions that are stronger than the base theory are model level mappings under certain simplifying assumptions. We provide a precise characterization of the abstract theory that exactly implements an intended abstraction, and show that this theory, while being axiomatizable, is not always finitely axiomatizable. We present an algorithm that automatically constructs the strongest abstract theory that implements the intended abstraction.