Modelling supra-classical logic in a Boltzmann neural network: I representation.

Glenn Blanchette Anthony Robins Willem Labuschagne

Published in: J. Log. Comput. (2021)

Keyphrases

classical logic
neural network
logic programming
fuzzy logic
intuitionistic logic
commonsense reasoning
knowledge base
artificial neural networks
default logic
possibilistic logic
genetic algorithm
logic programs
sufficient conditions
nonmonotonic reasoning
natural language sentences
revision operators