coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Applications to medicine

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "cl-isabelle-users AT lists.cam.ac.uk" <cl-isabelle-users AT lists.cam.ac.uk>
Cc: "metamath AT googlegroups.com" <metamath AT googlegroups.com>
Subject: RE: [Coq-Club] Applications to medicine
Date: Fri, 3 Aug 2018 12:12:38 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga06.intel.com
Ironport-phdr: 9a23:o30dlRHW4tWgTTc/HtvU+51GYnF86YWxBRYc798ds5kLTJ7ypc+wAkXT6L1XgUPTWs2DsrQY07SQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDuwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOT4n/m/Klsx+gqFVoByjqBx+34Hbb5qYO+Bicq7ZZ94WWXZNU8RXWidcAo28dYwPD+8ZMOpWsof9oEUBrRSiBQm2A+Pv0idEjWLx0607z+shERvJ0xIkH94ArX/Zq9D1NKYOXuC11qbH0zHDY+lN2Tf69ofIfQwhoeuLXbJoasfRyE8vFx/bgVWUs4DqIzSV1uEUvmWd8uFuW+Wvi2s9pAFwpDii3sYsio/Vho0LzlDI7zh2z5gzKNalS0B7ecapHIZeuiyVLYd6X80vTm5ytConxLALuIS3cSYXxJg/2hLSavKKf5KG7x/tTuqdPzl1iXZ/dL6ihBu+7VCsxvD9W8SwylpGsCpIn9bWunwTzRDf99WLRud780y8wziAzRrT5ftBIU0slarUNZohwrkom5oWvkTMBDP6lUTsgK+XcEUk5van6+D9brr6oZ+cMpd4igD4MqswhsyyGfk0PwYBUmSB5Oix2rLu8VfkTLhEj/A6iKfUvI3CKcQevKG5AgtV0og56xa4CjeryNEYnXgbI1JFYh2IkYzpN0vVIPD/E/i/jEiskC1sx/DeJbDhA5PNLmTdn7flZ7py90lcyA8rwdBF+51UEq0BIO70WkLpqNPYCQY5PxWozObjFdVyzZgTWXmPA6+cKKPdq0WE5uMpI+mWZY8aoizxK/Y/562msXhs01QaZOyi2YYdQHG+BPVvZUuDKzK4idAYVGwOowAWTerwiVTEXyQFIz74VKZ55yoyAo+iCYqGW5ugmqep2CagAoYQbWlDTFmHV2rrPc3QUPNJaTmbKMJlljFBSKOsUZQJ0RC1qBS8wLNiaOPfvDAb48HNzt9wsqfokhw96SZzF4DV9mCGT2h5milAEzo316B2rEg70VCO3rRihORwFNpP6vcPWQA/Y82Ph9dmAsz/D1qSNuyCT0yrF43/UGMBC+kpytpLWH5TXtCrjxTNxS2vWuZHlrqXCZhy+aXZjSGoe5RNjk3e3axktGEIB9NVPDT/1K956wXXQYXOlhfBzvv4ReEnxCfIsVy74y+OsUVfCVEiVKrMBS5ZZ03KoNC/7UTHHeej

Dear José,

do you mean using e.g. Coq as framework for reasoning based on oncological/medical/genetic ontologies?

I don’t think Coq would be very useful for such an application because logical structures you find in medical ontologies are (as far as my imagination reaches) rarely based on induction and recursion, which is what Coq is good at. I guess a SAT/SMT solver like Z3 would be much more appropriate for such tasks. Also you typically want such things to be highly automated.

I have some friends specialized in medical ontological reasoning and medical NLP processing. If you are interested in connections in this area, please send me a private mail.

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Applications to medicine, José Manuel Rodriguez Caballero, 08/03/2018
- RE: [Coq-Club] Applications to medicine, Soegtrop, Michael, 08/03/2018
- Re: [Coq-Club] Applications to medicine, Tej Chajed, 08/03/2018
  - Re: [Coq-Club] Applications to medicine, Bas Spitters, 08/03/2018