Answers.Body: <p>This is an active research topic.</p>
  <p>Consider reading</p>
  <ul>
  <li><p>J.Pitrat's <a href="https://rads.stackoverflow.com/amzn/click/com/1848211015" rel="nofollow noreferrer" rel="nofollow noreferrer"><em>Artificial Beings, the conscience of a conscious machine</em></a> book</p>
  </li>
  <li><p>This <a href="https://www.cs.huji.ac.il/%7Eshais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf" rel="nofollow noreferrer"><em>Understanding machine learning</em></a> book</p>
  </li>
  <li><p>old Lenat's papers on <a href="https://en.wikipedia.org/wiki/Eurisko" rel="nofollow noreferrer">Eurisko</a>.</p>
  </li>
  <li><p>and recent papers such as <a href="https://infoscience.epfl.ch/record/192344/files/Bordes_AAAI_2011.pdf" rel="nofollow noreferrer"><em>Learning Structured Embeddings of Knowledge Bases</em></a> and several others in <a href="https://www.journals.elsevier.com/artificial-intelligence" rel="nofollow noreferrer"><em>Artificial Intelligence Journal</em></a></p>
  </li>
  <li><p>about the <a href="https://en.wikipedia.org/wiki/MILEPOST_GCC" rel="nofollow noreferrer">MILEPOST GCC</a> and <a href="http://ctuning.org/" rel="nofollow noreferrer">Ctuning</a> projects</p>
  </li>
  <li><p><a href="https://www.sciencedirect.com/science/article/pii/S2352154618301943" rel="nofollow noreferrer">this paper</a> on <em>Reconciling deep learning with symbolic artificial intelligence: representing objects and relations</em></p>
  </li>
  </ul>
  <p>My hope is to get funded so that <a href="http://refpersys.org/" rel="nofollow noreferrer">RefPerSys</a> could (in a few years) be able to deduce some rules and metarules.</p>
  
Answers.ContentLicense: CC BY-SA 4.0
Answers.CreationDate: 2020-10-31T08:32:47.077Z
Answers.LastActivityDate: 2020-10-31T18:14:17.640Z
Answers.LastEditDate: 2020-10-31T18:14:17.640Z
Answers.UserDisplayName: Basile Starynkevitch
Body: <p>Being by no means an expert in the field, I do however know of solvers such as <a href="https://en.wikipedia.org/wiki/Z3_Theorem_Prover" rel="nofollow noreferrer">Z3</a> that can generate a correct program, provided you can express your constraints as a set of logical rules, such as <a href="http://barghouthi.github.io/articles/17/synthesis-primer.html#test-driven-synthesis" rel="nofollow noreferrer">here</a>.</p>
  <p>However, in the example given above, logical rules are designed &quot;by hand&quot; from a set of examples, so the &quot;compilation step&quot; from the examples to the set of rules must be done in the user's head.</p>
  <p>Does a system automating this &quot;compilation step&quot; exist (i.e automated rule set deduction from a set of examples), that would allow the user to see and make use of the set of rules?</p>
  
Tags: <logic><automated-theorem-proving><z3>
Title: Is there a system that automatically designs a set of rules from the examples?
UserDisplayName: Raoul
ThreadText: # Is there a system that automatically designs a set of rules from the examples?
  
  (Asked by: username_0 on 2017-10-04)
  
  Being by no means an expert in the field, I do however know of solvers such as [Z3](https://en.wikipedia.org/wiki/Z3_Theorem_Prover) that can generate a correct program, provided you can express your constraints as a set of logical rules, such as [here](http://barghouthi.github.io/articles/17/synthesis-primer.html#test-driven-synthesis).
  
  However, in the example given above, logical rules are designed "by hand" from a set of examples, so the "compilation step" from the examples to the set of rules must be done in the user's head.
  
  Does a system automating this "compilation step" exist (i.e automated rule set deduction from a set of examples), that would allow the user to see and make use of the set of rules?
  
  **Tags:** logic, automated-theorem-proving, z3
  
  
  ---
  
  ## 1 answers
  
  ### Answer by username_1 on 2020-10-31. Score: 2 | Accepted answer
  
  This is an active research topic.
  
  Consider reading
  
  * J.Pitrat's [*Artificial Beings, the conscience of a conscious machine*](https://rads.stackoverflow.com/amzn/click/com/1848211015) book
  * This [*Understanding machine learning*](https://www.cs.huji.ac.il/%7Eshais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf) book
  * old Lenat's papers on [Eurisko](https://en.wikipedia.org/wiki/Eurisko).
  * and recent papers such as [*Learning Structured Embeddings of Knowledge Bases*](https://infoscience.epfl.ch/record/192344/files/Bordes_AAAI_2011.pdf) and several others in [*Artificial Intelligence Journal*](https://www.journals.elsevier.com/artificial-intelligence)
  * about the [MILEPOST GCC](https://en.wikipedia.org/wiki/MILEPOST_GCC) and [Ctuning](http://ctuning.org/) projects
  * [this paper](https://www.sciencedirect.com/science/article/pii/S2352154618301943) on *Reconciling deep learning with symbolic artificial intelligence: representing objects and relations*
  
  My hope is to get funded so that [RefPerSys](http://refpersys.org/) could (in a few years) be able to deduce some rules and metarules.
  
  
  ---
  
  