Computational Aspects of Model-Based Reasoning
Book chapter, 2017

Computational models and tools provide increasingly solid foundations for the study of cognition and model-based reasoning, with knowledge generation in different types of cognising agents, from the simplest ones like bacteria to the complex human distributed cognition. After the introduction of the computational turn, we proceed to models of computation and the relationship between information and computation. A distinction is made between mathematical and computational (executable) models, which are central for biology, and cognition. Computation as it appears in cognitive systems is physical, natural, embodied and distributed computation, and we explain how it relates to the symbol manipulation view of classical computationalism. As present day models of distributed, asynchronous, heterogeneous and concurrent networks are becoming increasingly well suited for modelling of cognitive systems with their dynamic properties, they can be used to study mechanisms of abduction and scientific discovery. We conclude the chapter with the presentation of software modelling with computationally automated reasoning and the discussion of model transformations and separation between semantics and ontology.

modelling

model-based reasoning

infocomputation

Author

Gordana Dodig Crnkovic

Chalmers, Applied Information Technology (Chalmers), Cognition and Communication

SPRINGER HANDBOOK OF MODEL-BASED SCIENCE

1200-

Areas of Advance

Information and Communication Technology

Driving Forces

Sustainable development

Subject Categories

Computer and Information Science

Roots

Basic sciences

ISBN

978-3-319-30525-7

More information

Created

10/7/2017