Skip to Content.
Sympa Menu

coq-club - RE: [Coq-Club] Applications to medicine

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Applications to medicine


Chronological Thread 
  • 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




Archive powered by MHonArc 2.6.18.

Top of Page