A computational logic is a logic that enables proofs on the computer, that is, mechanized reasoning: one of the foundations of artificial intelligence. This chapter advocates the use of computational logic as a unified and safe approach to both specifying and analyzing biological systems. It presents two applications areas of the approach: biomedicine and neuroscience. The chapter presents the use of logical frameworks, and more precisely linear logic, to model and analyzes biological systems in the biomedicine area. It then focuses on metastatic breast cancer, which is representative of the approach. The chapter also uses Coq to prove four important properties of neurons and archetypes. It provides a discrete version of the leaky integrate and fire model. The chapter presents the Coq model for neural networks, which includes definitions of neurons, operations on them and the combination of neurons into archetypes.

Computational logic for biomedicine and neurosciences / De Maria, E.; Despeyroux, J.; Felty, A.; Lio, P.; Olarte, C.; Bahrami, A.. - (2023), pp. 187-234. [10.1002/9781394229086.ch6].

Computational logic for biomedicine and neurosciences

Lio P.
;
2023

Abstract

A computational logic is a logic that enables proofs on the computer, that is, mechanized reasoning: one of the foundations of artificial intelligence. This chapter advocates the use of computational logic as a unified and safe approach to both specifying and analyzing biological systems. It presents two applications areas of the approach: biomedicine and neuroscience. The chapter presents the use of logical frameworks, and more precisely linear logic, to model and analyzes biological systems in the biomedicine area. It then focuses on metastatic breast cancer, which is representative of the approach. The chapter also uses Coq to prove four important properties of neurons and archetypes. It provides a discrete version of the leaky integrate and fire model. The chapter presents the Coq model for neural networks, which includes definitions of neurons, operations on them and the combination of neurons into archetypes.
2023
Symbolic Approaches to Modeling and Analysis of Biological Systems
9781789450293
9781394229086
Stochastic System; Signal Transduction; Computational Method
02 Pubblicazione su volume::02a Capitolo o Articolo
Computational logic for biomedicine and neurosciences / De Maria, E.; Despeyroux, J.; Felty, A.; Lio, P.; Olarte, C.; Bahrami, A.. - (2023), pp. 187-234. [10.1002/9781394229086.ch6].
File allegati a questo prodotto
File Dimensione Formato  
DeMaria_Computational_2023.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 56.5 MB
Formato Adobe PDF
56.5 MB Adobe PDF   Contatta l'autore
DeMaria_preprint_Computational_2023.pdf

accesso aperto

Note: https://onlinelibrary.wiley.com/doi/chapter-epub/10.1002/9781394229086.ch6
Tipologia: Documento in Pre-print (manoscritto inviato all'editore, precedente alla peer review)
Licenza: Creative commons
Dimensione 1.07 MB
Formato Adobe PDF
1.07 MB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1725193
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact