Titlebook: Logical and Computational Aspects of Model-Based Reasoning; Lorenzo Magnani,Nancy J. Nersessian,Claudio Pizzi Book 2002 Springer Science+B

Glossy

Diagrammatic Inference and Graphical Proofheory of abstraction markers and notational keys for explaining how abstraction can be incorporated in the interpretation of graphics through both syntactic and semantic means. We also explore how the process of reinterpretation of graphics is essential for learning and proving graphical theorems. T

anaerobic

连接

GENUS

Model-Guided Proof Planningalled methods. In this paper we propose a strategy for heuristically restricting the set of methods to be applied in proof search. It is based on the idea that the plausibility of a method can be estimated by comparing the model class of proof lines newly generated by the method with that of the ass

subacute

rheumatism

Scientific Explanation and Modified Semantic Tableauxthat to abduction problem, paying attention to some versions given in [Aliseda, 1997]. Our approach of abduction in semantic tableaux faces up to the problem of the existence of infinite branches. Defined Cn, a basic logical operation, a new operation Cn* is obtained. An abduction problem 〈θ, ϕ〉 can

Collected

FISC

Encoding and Using Domain Knowledge on Population Dynamics for Equation Discoveryic systems. The approach presented here includes methods for equation discovery: Unlike mainstream system identification methods, which work under the assumption that the form of the equations is known, equation discovery systems explore a space of possible equation structures. We propose a formalis

murmur

Reasoning about Models of Nonlinear Systemsr of the target system. PRET is a computer program that automatically builds such models. Its inputs are a set of observations of some subset of the outputs of a nonlinear system, and its output is an ordinary differential equation that models the internal dynamics of that system. Modeling problems

absolve

Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generationneration of potential diagnoses as minimal hitting sets of current conflicts. This paper analyzes the problems concerning systematic and efficient conflict generation in the case of continuous systems described with causal graphs and differential equations. The main idea of the paper is to introduce