Coherent Integration of Databases by Abductive Logic Programming

We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method is implemented by an abductive solver, called Asystem, that applies SLDNFA-resolution on a meta-theory that relates different, possibly contradicting, input databases. We also give a pure model-theoretic analysis of the possible ways to `recover' consistent data from an inconsistent database in terms of those models of the database that exhibit as minimal inconsistent information as reasonably possible. This allows us to characterize the `recovered databases' in terms of the `preferred' (i.e., most consistent) models of the theory. The outcome is an abductive-based application that is sound and complete with respect to a corresponding model-based, preferential semantics, and -- to the best of our knowledge -- is more expressive (thus more general) than any other implementation of coherent integration of databases

Epistemological Foundations for Neuroeconomics

Neuroeconomics is an emerging field crossing neuroscientific data, the use of brain-imaging tools, experimental and behavioral economics, and an attempt at a better understanding of the cognitive assumptions that underlie theoretical predictive economic models. In this paper the authors try two things: 1) To assess the epistemological biases that affect Neuroeconomics as it is currently done. A number of significant experiments are discussed in that perspective. 2) To imagine an original way - apart from what is already being done - to run experiments in brain-imaging that are relevant to the discussion of rationality assumptions at the core of economic theory.Neuroeconomics, Rationality Assumptions, Abduction

Knowledge-based Design:

The assumptions underlying this book are that urban & regional design can be developed into a societally relevant science, that this depends on the view held regarding the significance of urban & regional design to society, and what is considered to be the object of the discipline derived from this view. The author bases these assumptions on the knowledge and insights she has acquired during the last fifteen years; the first ten years within the Chair of Urban & Regional Design, and after that within the Chair of Spatial Planning, both of the Faculty of Architecture of the Delft University of Technology

Epistemological Foundations for Neuroeconomics

Neuroeconomics is an emerging field crossing neuroscientific data, the use of brain-imaging tools, experimental and behavioral economics, and an attempt at a better understanding of the cognitive assumptions that underlie theoretical predictive economic models. In this paper the authors try two things: 1) To assess the epistemological biases that affect Neuroeconomics as it is currently done. A number of significant experiments are discussed in that perspective. 2) To imagine an original way - apart from what is already being done - to run experiments in brain-imaging that are relevant to the discussion of rationality assumptions at the core of economic theory

Epistemological Foundations for Neuroeconomics

Neuroeconomics is an emerging field crossing neuroscientific data, the use of brain-imaging tools, experimental and behavioral economics, and an attempt at a better understanding of the cognitive assumptions that underlie theoretical predictive economic models. In this paper the authors try two things: 1) To assess the epistemological biases that affect Neuroeconomics as it is currently done. A number of significant experiments are discussed in that perspective. 2) To imagine an original way - apart from what is already being done - to run experiments in brain-imaging that are relevant to the discussion of rationality assumptions at the core of economic theory

At the Biological Modeling and Simulation Frontier

We provide a rationale for and describe examples of synthetic modeling and simulation (M&S) of biological systems. We explain how synthetic methods are distinct from familiar inductive methods. Synthetic M&S is a means to better understand the mechanisms that generate normal and disease-related phenomena observed in research, and how compounds of interest interact with them to alter phenomena. An objective is to build better, working hypotheses of plausible mechanisms. A synthetic model is an extant hypothesis: execution produces an observable mechanism and phenomena. Mobile objects representing compounds carry information enabling components to distinguish between them and react accordingly when different compounds are studied simultaneously. We argue that the familiar inductive approaches contribute to the general inefficiencies being experienced by pharmaceutical R&D, and that use of synthetic approaches accelerates and improves R&D decision-making and thus the drug development process. A reason is that synthetic models encourage and facilitate abductive scientific reasoning, a primary means of knowledge creation and creative cognition. When synthetic models are executed, we observe different aspects of knowledge in action from different perspectives. These models can be tuned to reflect differences in experimental conditions and individuals, making translational research more concrete while moving us closer to personalized medicine