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.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.