Sound and complete qualitative simulation is impossible

DOI10.1016/S0004-3702(03)00077-8MaRDI QIDQ814512zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Hilbert's tenth problemQualitative reasoningQualitative simulationSpurious behaviors

Mathematics Subject Classification ID

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

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

Cites work

• A theory of interactions: Unifying qualitative and quantitative algebraic reasoning
• Algebraic simplification
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 2010172 (Why is no real title available?)
• Qualitative and quantitative simulation: bridging the gap
• Qualitative simulation

Cited in

(11)

• Qualitative and quantitative simulation: bridging the gap
• Towards the qualitative, plan-based simulation of international crises
• Sound and complete qualitative simulation needs ``quantitative filtering
• Duration consistency filtering for qualitative simulation
• The scope and limits of simulation in automated reasoning
• Random generation of monotonic functions for Monte Carlo solution of qualitative differential equations
• A dynamic systems perspective on qualitative simulation
• Causes of ineradicable spurious predictions in qualitative simulation
• scientific article; zbMATH DE number 2010172 (Why is no real title available?)
• 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)