{"type":"ScholarlyArticle","title":"Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena","authors":[{"name":"Sui-ky Ringo Ling","slug":"sui-ky-ringo-ling","given":"Sui-ky Ringo","family":"Ling","affiliation":""}],"abstract":"Choosing appropriate models is crucial in analyzing complex physical phenomena, especially when supercomputing resources and complex partial differential equations are involved. This paper presents an approach to formulating mathematical models guided by the structure of a domain theory and the gross behavior of a physical problem. The approach is motivated by the observation that many physical domains, though complex and computationally expensive to analyze, have strong domain theories based on a few fundamental conservation laws and well-defined physical processes. Furthermore, modeling decisions have to be guided by the behavior specific to a physical problem that the system is trying to model. By exploiting a domain theory and using problem specific behavior, the approach offers an uniform and efficient way of formulating models of various complexity, ranging from algebraic, ordinary to partial differential equations. The approach has been implemented in a computer program, MSG, and tested in the heat transfer domain.","doi":null,"url":"https://ijcai.org/proceedings/1995/227","pdf":"https://ijcai.org/proceedings/1995/0227.pdf","markdown":"https://ijcai.org/proceedings/1995/227.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/227","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Qualitative Reasoning and Diagnosis","track":"Qualitative Reasoning and Diagnosis","number":227,"pages":{"first":1766,"last":1771},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}