Constraint Reasoning for Differential Models (Frontiers in Artificial Intelligence and Applications)
|
Description
|
Comparing the major features of biophysical inadequacy was related with the representation of differential equations. System dynamics is often modeled with the expressive power of the existing interval constraints framework. It is clear that the most important model was through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focused on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. |
Other books on Artificial Intelligence
Automatic Speech Recognition on Mobile Devices and over Communication Networks (Advances in Pattern Recognition) Machine Learning in Document Analysis and Recognition (Studies in Computational Intelligence) Artificial Intelligence for Advanced Problem Solving Techniques 50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence (Lecture Notes in Computer Science) Fundamentals of the New Artificial Intelligence: Neural, Evolutionary, Fuzzy and More (Texts in Computer Science) Progress in Pattern Recognition, Image Analysis and Applications: 12th Iberoamerican Congress on Pattern Recognition, CIARP 2007,Valpariso, Chile, November ... (Lecture Notes in Computer Science) Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November ... Papers (Lecture Notes in Computer Science) Expert Systems in Chemistry Research Toward Artificial Sapience: Principles and Methods for Wise Systems Machine Learning for Audio, Image and Video Analysis: Theory and Applications (Advanced Information and Knowledge Processing) Biologically Inspired Artificial Intelligence for Computer Games Character Recognition Systems: A Guide for Students and Practitioners Machine Learning for Multimedia Content Analysis (Multimedia Systems and Applications) Artificial Intelligence: A Systems Approach (w/CDROM)(Computer Science) (Engineering)(AI) (Engineering) Artificial Intelligence with Uncertainty
|
|