Part 7. Neuromorphic artificial intelligence and cognitive systems

On one method for modeling cognitively limited inferences of formulas

D. N. Fedyanin

International Laboratory for Logic, Linguistics and Formal Philosophy, Higher school of economics

Abstract: In the proposed model, agents' reflections are proposed taking into account the effect of forgetting unused constraints and on complexity. The formal setting, modifications, motivation and justification of its adequacy are discussed.

Keywords: calculus, completeness, multi-agent system, non-classical logics, complexity, social network.