Qualitative
Reasoning, Dimensional Analysis and Computer Algebra. (com
Waldir L. Roque), In: Proceedings of the ISSAC '91 – International Symposium on Symbolic and
Algebraic Computation, Bonn, 15 a 17 de Julho de 1991.
Abstract
Qualitative Reasoning about physical processes has become very
important in various applications involving modeling, design and
simulation of devices. Many approachs to qualitative reasoning about
physical processes have appeared in the literature of artificial
intelligence (AI). Among them, we can cite Naive Physics, Qualitative
Process Theory, Qualitative Physics based in Confluences and
Qualitative Simulation. More recently, the Theory of Dimensional
Analysis (TDA) has been applied as a supporting technique to
Qualitative Reasoning about Physical Processes. The main works in this
direction have been forwarded by Kokar, and in a much formal and
systematic approach by Bhaskar and Nigam. The intention of this short
progress report is to give an account of a system, in development,
which is being particularly designed to compute all the relevant
informations to qualitative reasoning about physical processes through
the intra and inter-regime analyses obtained from dimensional analysis.
Referências
Voltar a Artigos Científicos.
Voltar ao começo desta página
Voltar à página principal de Física Interessante
