Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Système expert

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Système expert


Chronological Thread 
  • From: emile lunardon <emile.lunardon AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Système expert
  • Date: Sun, 4 Jan 2015 10:42:41 +0100

Can  Coq be used to implement an "Expert System" ?. I wonder what are the advantages (and inconvenients) of Coq with regards to a Forward Chain Resolution software like CLIPS.

Can Coq bring interesting capabilities in the treatment (if not the understanding) of natural language ?


  • [Coq-Club] Système expert, emile lunardon, 01/04/2015

Archive powered by MHonArc 2.6.18.

Top of Page