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