mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Computational Aspects of Model-Based Reasoning
Chalmers University of Technology, Göteborg, Sweden.ORCID iD: 0000-0001-9881-400X
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0416-1787
2017 (English)In: Springer Handbook of Model-Based Science / [ed] Magnani, Lorenzo and Bertolotti, Tommaso, Springer International Publishing , 2017, 695-718 p.Chapter in book (Other academic)
Abstract [en]

Computational models and tools provide increasingly solid foundations for the study of cognition and model-based reasoning, with knowledge generation in different types of cognizing 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 modeling 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 modeling with computationally automated reasoning and the discussion of model transformations and separation between semantics and ontology.

Place, publisher, year, edition, pages
Springer International Publishing , 2017. 695-718 p.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-37024DOI: 10.1007/978-3-319-30526-4_32ISBN: 978-3-319-30526-4 OAI: oai:DiVA.org:mdh-37024DiVA: diva2:1157862
Available from: 2017-11-16 Created: 2017-11-16 Last updated: 2017-11-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Cicchetti, Antonio

Search in DiVA

By author/editor
Dodig-Crnkovic, GordanaCicchetti, Antonio
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf