Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning.

Jian Zhong Peiyao Liu Shuwei Chen

Published in: ISKE (2023)

Keyphrases

reinforcement learning
dynamic programming
function approximation
data driven
rule base
search algorithm
markov decision processes
action selection
real time
objective function
state space
fuzzy logic
optimal policy
theorem proving
learning classifier systems