Towards a Unifying Logical Framework for Neural Networks.

Xiyue Zhang Xiaohong Chen Meng Sun

Published in: ICTAC (2022)

Keyphrases

logical framework
neural network
inference rules
belief revision
reasoning tasks
linear logic
possibilistic logic
higher order logic
epistemic logic
normative systems
artificial neural networks
decision making
machine learning
lower bound
relational databases
argumentation frameworks