3,182 research outputs found
COMPUTER SIMULATION AND COMPUTABILITY OF BIOLOGICAL SYSTEMS
The ability to simulate a biological organism by employing a computer is related to the
ability of the computer to calculate the behavior of such a dynamical system, or the "computability" of the system.* However, the two questions of computability and simulation are not equivalent. Since the question of computability can be given a precise answer in terms of recursive functions, automata theory and dynamical systems, it will be appropriate to consider it first. The more elusive question of adequate simulation of biological systems by a computer will be then addressed and a possible connection between the two answers given will be considered. A conjecture is formulated that suggests the possibility of employing an algebraic-topological, "quantum" computer (Baianu, 1971b)
for analogous and symbolic simulations of biological systems that may include chaotic processes that are not, in genral, either recursively or digitally computable. Depending on the biological network being modelled, such as the Human Genome/Cell Interactome or a trillion-cell Cognitive Neural Network system, the appropriate logical structure for such simulations might be either the Quantum MV-Logic (QMV) discussed in recent publications (Chiara, 2004, and references cited therein)or Lukasiewicz Logic Algebras that were shown to be isomorphic to MV-logic algebras (Georgescu et al, 2001)
A Topological-Based Method for Allocating Sensors by Using CSP Techniques
Model-based diagnosis enables isolation of faults of a system.
The diagnosis process uses a set of sensors (observations) and a model
of the system in order to explain a wrong behaviour. In this work, a
new approach is proposed with the aim of improving the computational
complexity for isolating faults in a system. The key idea is the addition of
a set of new sensors which allows the improvement of the diagnosability
of the system. The methodology is based on constraint programming
and a greedy method for improving the computational complexity of the
CSP resolution. Our approach maintains the requirements of the user
(detectability, diagnosability,. . .).Ministerio de Ciencia y Tecnología DPI2003-07146-C02-0
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
Model-based Diagnosis allows the identification of the parts
which fail in a system. The models are based on the knowledge of the
system to diagnose, and may be represented by constraints associated
to the components. The variables of these constraints can be observable
or non-observable, depending on the situation of the sensors. In order to
obtain the potential minimal diagnosis in a system, an important issue is
related to finding out the potential minimal conflicts in an efficient way.
We consider that Constraint Databases represent an excellent option in
order to solve this problem in complex systems.
In this work we have used a novel logical architecture of Constraint
Databases which has allowed obtaining these potential conflicts by means
of the corresponding queries. Moreover, we have considered Gröbner
Bases as a projection operator to obtain the potential minimal conflicts
of a system. The first results obtained on this work, which are shown in
a heat exchangers example, have been very promising.Ministerio de Ciencia y Tecnología DPI2003-07146-C02-0
Case Adaptation with Qualitative Algebras
This paper proposes an approach for the adaptation of spatial or temporal
cases in a case-based reasoning system. Qualitative algebras are used as
spatial and temporal knowledge representation languages. The intuition behind
this adaptation approach is to apply a substitution and then repair potential
inconsistencies, thanks to belief revision on qualitative algebras. A temporal
example from the cooking domain is given. (The paper on which this extended
abstract is based was the recipient of the best paper award of the 2012
International Conference on Case-Based Reasoning.
Changing a semantics: opportunism or courage?
The generalized models for higher-order logics introduced by Leon Henkin, and
their multiple offspring over the years, have become a standard tool in many
areas of logic. Even so, discussion has persisted about their technical status,
and perhaps even their conceptual legitimacy. This paper gives a systematic
view of generalized model techniques, discusses what they mean in mathematical
and philosophical terms, and presents a few technical themes and results about
their role in algebraic representation, calibrating provability, lowering
complexity, understanding fixed-point logics, and achieving set-theoretic
absoluteness. We also show how thinking about Henkin's approach to semantics of
logical systems in this generality can yield new results, dispelling the
impression of adhocness. This paper is dedicated to Leon Henkin, a deep
logician who has changed the way we all work, while also being an always open,
modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on
his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and
Alonso, E., 201
- …