The Role of Entropy in Guiding a Connection Prover.

Zsolt Zombori Josef Urban Miroslav Olsák

Published in: TABLEAUX (2021)

Keyphrases

theorem proving
theorem prover
mutual information
information theory
information theoretic
neural network
machine learning
information systems
inference rules
minimum error
data sets
entropy measure
information entropy
hidden markov models
expert systems
database systems
case study
website
knowledge base