Computational Aspects of Model-Based Reasoning
Kapitel i bok, 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

Författare

Gordana Dodig Crnkovic

Chalmers, Tillämpad informationsteknologi, Kognition och kommunikation

SPRINGER HANDBOOK OF MODEL-BASED SCIENCE

1200-

Styrkeområden

Informations- och kommunikationsteknik

Drivkrafter

Hållbar utveckling

Ämneskategorier

Data- och informationsvetenskap

Fundament

Grundläggande vetenskaper

ISBN

978-3-319-30525-7