问题标签 [progol]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - 如何在归纳逻辑编程中生成反例?
我试图通过观察使用归纳逻辑编程的人来学习拼图和棋盘游戏的规则。我使用 PROGOL,它是一个用 Prolog 编写的 ILP 程序。虽然对于某些游戏,它能够正确地给我规则,但对于其他一些游戏,由于缺乏反面例子,它不能。
例如,在河内塔谜题中,规则之一是较大的块不会放在较小的块之上。这是一个消极的规则。但是由于在训练期间没有发生此事件,因此没有可以从中学习此规则的明确负面示例。
简而言之,如何在 ILP 中生成负面示例?
prolog - 良好的归纳逻辑编程系统
你能推荐一个归纳逻辑编程系统吗?最好使用 Prolog 语法。是否有系统可以进行谓词发明和学习递归规则?我对 Aleph 和 Prolog 有点熟悉。什么是最先进的?
坦克!JCR