非公理的項論理に基づく推論システムに向けた検討

抄録

This paper discusses an approach to realizing a human cognition-oriented reasoning system that tries to integrate a non-axiomatic logic with recent advances in neural networks.