Declarative Representation of Uncertainty in Mathematical Models
نویسندگان
چکیده
منابع مشابه
Declarative Representation of Uncertainty in Mathematical Models
An important aspect of multi-scale modelling is the ability to represent mathematical models in forms that can be exchanged between modellers and tools. While the development of languages like CellML and SBML have provided standardised declarative exchange formats for mathematical models, independent of the algorithm to be applied to the model, to date these standards have not provided a clear ...
متن کاملTransforming Mathematical Models Using Declarative Reformulation Rules
Reformulation is one of the most useful and widespread activities in mathematical modeling, in that finding a “good” formulation is a fundamental step in being able so solve a given problem. Currently, this is almost exclusively a human activity, with next to no support from modeling and solution tools. In this paper we show how the reformulation system defined in [15] allows to automatize the ...
متن کاملMathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.
متن کاملClinical Careflows Aided by Uncertainty Representation Models
Choosing an appropriate support for Clinical Decision Support Systems is a complicated task, and dependent on the domain in which the system will intervene. The development of wide solutions, which are transversal to different clinical specialties, is impaired by the existence of complex decision moments that reflect the uncertainty and imprecision that are often present in these processes. The...
متن کاملDeclarative Representation of Revision Strategies
We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a mono...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLoS ONE
سال: 2012
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0039721