coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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 |
- [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
Archive powered by MHonArc 2.6.18.