As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.
C. J. PRICE a1, L. TRAVÉ-MASSUYÈS a2, R. MILNE , L. IRONI a3, K. FORBUS a4, B. BREDEWEG a5, M. H. LEE a1, P. STRUSS a6, N. SNOOKE a1, P. LUCAS a7, M. CAVAZZA a8andG. M. COGHILL a9 a1 Department of Computer Science, University of Wales, Aberystwyth SY23 3DB, UK; email: firstname.lastname@example.org a2 CNRS-LAAS, Toulouse a3 IMATI-CNR, Pavia a4 Northwestern University a5 Universiteit van Amsterdam a6 Technische Universität München a7 Radboud Universiteit Nijmegen a8 University of Teesside a9 University of Aberdeen
This paper reviews the state of the art in model-based systems and qualitative reasoning, and considers where the field will be in 20 years time. It highlights six areas where developments in model-based systems in general, and in qualitative reasoning in particular, have the potential to provide significant computer-based help. The paper also examines where further technological developments might be needed in order to achieve these qualitative futures.