Sound and complete qualitative simulation is impossible

DOI10.1016/S0004-3702(03)00077-8zbMATH Open1082.68862OpenAlexW2085051254MaRDI QIDQ814512FDOQ814512

Authors: A. C. Cem Say, H. Levent Akın 

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(03)00077-8

Recommendations

• Sound and complete qualitative simulation needs ``quantitative filtering
• Causes of ineradicable spurious predictions in qualitative simulation
• Qualitative simulation
• scientific article; zbMATH DE number 2010172
• Qualitative and quantitative simulation: bridging the gap

zbMATH Keywords

Hilbert's tenth problemQualitative reasoningQualitative simulationSpurious behaviors

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Cites Work

• Qualitative simulation
• Title not available (Why is that?)
• Algebraic simplification
• Qualitative and quantitative simulation: bridging the gap
• A theory of interactions: Unifying qualitative and quantitative algebraic reasoning
• Title not available (Why is that?)

Cited In (10)

• The scope and limits of simulation in automated reasoning
• Random generation of monotonic functions for Monte Carlo solution of qualitative differential equations
• Qualitative simulation
• Towards the qualitative, plan-based simulation of international crises
• Causes of ineradicable spurious predictions in qualitative simulation
• Duration consistency filtering for qualitative simulation
• Sound and complete qualitative simulation needs ``quantitative filtering
• Title not available (Why is that?)
• A dynamic systems perspective on qualitative simulation
• Fuzzy qualitative simulation with Gauss membership function

This page was built for publication: Sound and complete qualitative simulation is impossible

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814512)