Results 231 to 240 of about 8,702,475 (256)

Thought Experiments in Model-Based Reasoning

2017
Thought experimentation is at least as old as Western philosophy. Scholars have made much use of it in many disciplines. For instance, philosophical discussions on ethics, morality, knowledge, and language abound with thought experiments. Likewise, great scientific developments, such as in physics and mathematics, have been achieved via thought ...
openaire   +2 more sources

Model-based reasoning for the management of telecommunication networks

Proceedings of ICC '93 - IEEE International Conference on Communications, 2002
Two questions are considered: what is the feedback of the telecom application to model-based reasoning and what is the benefit for managing telecom networks from using model-based reasoning. The first question is discussed by describing a model-based fault management system, the Generic Maintenance System (GMS), together with new issues arising from ...
H. Hopfmuller, W. Kehl
openaire   +2 more sources

Model-based reasoning for fault isolation

[1988] Proceedings. The Fourth Conference on Artificial Intelligence Applications, 2003
The author attempts to explore the promise or limitations of a model-based reasoning approach for a system of practical size and complexity. Specifically, a target system was chosen which contained the order of a hundred components and featured complex feedback looping. A prototype fault isolation system has been developed for the system.
openaire   +2 more sources

An integrated dynamic ship risk model based on Bayesian Networks and Evidential Reasoning

Reliability Engineering & System Safety, 2021
Q. Yu, Â. Teixeira, K. Liu, H. Rong, Carlos Soares   +4 more
semanticscholar   +1 more source

Model-Based Reasoning and Similarity in the World

2002
Scientific reasoning is commonly regarded as the core problem in science studies. This paper suggests that model-based reasoning is an important part of scientific creativity. I approach this problem from the standpoint of the origin of human thinking and genetic epistemology to understand representative practices of scientists.
openaire   +2 more sources

Model-based abductive reasoning in automated software testing

Logic Journal of IGPL, 2013
Automated Software Testing (AST) using Model Checking is in this paper epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified ...
openaire   +4 more sources

Using Computer Simulations for Promoting Model-based Reasoning

Science Education, 2017
Maria Develaki
semanticscholar   +1 more source

Model based reasoning in the aerospace domain [PDF]

8th Computing in Aerospace Conference, 1991
Mahmoud Pegah, W. E. Bond, Jon Sticklen
openaire   +1 more source

The EMBeRS project: employing model-based reasoning in socio-environmental synthesis

Journal of Environmental Studies and Sciences, 2016
D. Pennington, G. Bammer, Antje Danielson, D. Gosselin, J. Gouvea, Geoffrey Habron, David Hawthorne, R. Parnell, K. Thompson, S. Vincent, C. Wei   +10 more
semanticscholar   +1 more source

Model-Based Reasoning in Creative Processes

1999
Combining a contextual approach to problem solving with results on some recently developed (non-standard) logics, I present in this paper a general frame for the methodological study of model-based reasoning in creative processes. I argue that model-based reasoning does not require that we turn away from logic.
openaire   +2 more sources