Sciact
  • EN
  • RU

Automated Methods for Modeling Thinking and Reasoning Based on the Partial Model Theory Full article

Conference IEEE XVI International Scientific and Technical Conference "Actual Problems of Electronic Instrument Engineering"
10-12 Nov 2023 , Новосибирск
Source IEEE XVI International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering (APEIE)
Compilation, 2023.
Output data Year: 2023, Pages: 1490-1495 Pages count : 6 DOI: 10.1109/apeie59731.2023.10347648
Tags Thinking, Reasoning, Consciousness, Reflection, Partial Model, Ontological Homomorphism, Logical-Semantic Methods
Authors Palchunov D.E. 1
Affiliations
1 Laboratory of Computability Theory and Applied Logic, Sobolev Institute of Mathematics, Novosibirsk, Russia

Funding (1)

1 Sobolev Institute of Mathematics FWNF-2022-0011

Abstract: The article is devoted to the problem of modeling natural human intelligence in order to develop explainable artificial intelligence. The problems of modeling thinking, reasoning, consciousness, reflection and self-reflection are solved. For this purpose, formalization of images of perception and thinking, representations and concepts is proposed. The formal presentation of reasoning and consciousness is based on I.P. Pavlov's studies of the first and second human signaling systems. To solve problems of explainable artificial intelligence, the integration of deep machine learning technologies and logicalsemantic methods is proposed. At the same time, neural networks must implement perception, and logical-semantic methods must model reasoning. The mathematical basis of the developed methods for modeling thinking, reasoning and consciousness is the theory of partial models. Embeddings and ontological homomorphisms of partial models are used. For syntactic formal representation we use fragments of atomic diagrams.
Cite: Palchunov D.E.
Automated Methods for Modeling Thinking and Reasoning Based on the Partial Model Theory
In compilation IEEE XVI International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering (APEIE). 2023. – C.1490-1495. DOI: 10.1109/apeie59731.2023.10347648 Scopus OpenAlex
Dates:
Published print: Dec 13, 2023
Published online: Dec 13, 2023
Identifiers:
Scopus: 2-s2.0-85182281844
OpenAlex: W4389666861
Citing: Пока нет цитирований
Altmetrics: