Automation of Boolos' Curious Inference in Isabelle/HOL.

Christoph Benzmüller David Fuenmayor Alexander Steen Geoff Sutcliffe

Published in: Arch. Formal Proofs (2022)

Keyphrases

theorem prover
natural deduction
first order logic
theorem proving
higher order logic
inference process
inference rules
inference engine
data sets
knowledge based systems
probabilistic inference
bayesian networks
formal methods
neural network
genetic algorithm
bayesian model
cut elimination