chemart / proof-ac
View on GitHubArtificial chemistry as a proof search system — A theorem prover as a chemistry. Molecules are logical clauses, and a collision is one resolution step: if a literal in one clause and a negated literal in the other unify, the resolvent is produced. Because resolution i…
Artificial chemistry as a proof search system
One of the artificial chemistries of Banzhaf & Yamamoto, Artificial Chemistries (MIT Press, 2015), §16.5; first proposed by Busch & Banzhaf, 2003; Busch, 2004 (idea: Fontana & Buss, 1996).
Its generator ships with the chemart library, so loading it runs no code from the hub and needs no trust_remote_code.
import chemart
net = chemart.generate_network("chemart/proof-ac", seed=0) # same as "proof-ac"
print(net.summary())