恶心 发表于 2025-3-25 10:07:46
http://reply.papertrans.cn/47/4639/463899/463899_22.png渐强 发表于 2025-3-25 12:41:19
ILP for Mathematical Discoveryion, deduction, calculation and invention. We describe the HR system which performs a novel ILP routine called automated theory formation. This combines inductive and deductive reasoning to form clausal theories consisting of classification rules and association rules. HR generates definitions usingemployor 发表于 2025-3-25 17:16:12
An Exhaustive Matching Procedure for the Improvement of Learning Efficiency as a component of larger systems (e.g., learning systems). Hence, the need of techniques that can speed up such a process. This paper proposes a new algorithm for matching first-order logic descriptions under .-subsumption that is able to return the set of all substitutions by which such a relationDefault 发表于 2025-3-25 22:30:13
http://reply.papertrans.cn/47/4639/463899/463899_25.pngabysmal 发表于 2025-3-26 01:21:15
Graph Kernels and Gaussian Processes for Relational Reinforcement Learningironment that has no natural representation as a tuple of constants. In this case, the learning algorithm used to approximate the mapping between state-action pairs and their so called Q(uality)-value has to be not only very reliable, but it also has to be able to handle the relational representatiomercenary 发表于 2025-3-26 07:49:40
http://reply.papertrans.cn/47/4639/463899/463899_27.pngfoliage 发表于 2025-3-26 09:36:56
A Comparative Evaluation of Feature Set Evolution Strategies for Multirelational Boostingensembles of hypotheses. While previous research has shown that this technique can be made to work efficiently even in the context of multirelational learning by using simple learners and active feature selection, such approaches have relied on simple and static methods of determining feature selectflaggy 发表于 2025-3-26 14:31:26
http://reply.papertrans.cn/47/4639/463899/463899_29.pnglanguid 发表于 2025-3-26 18:43:35
http://reply.papertrans.cn/47/4639/463899/463899_30.png凹槽 发表于 2025-3-26 21:59:39
Which First-Order Logic Clauses Can Be Learned Using Genetic Algorithms?auses using genetic algorithms. Over the last few years, a few approaches have been proposed aiming to combine genetic and evolutionary computation (EC) with inductive logic programming (ILP). The underlying rationale is that evolutionary algorithms, such as genetic algorithms, might mitigate the co