Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Igor B. Fominykh"'
Autor:
Mikhail M. Vinkov, Igor B. Fominykh
Publikováno v:
Advances in Electrical and Electronic Engineering, Vol 15, Iss 1, Pp 84-92 (2017)
This paper formulates a stepping theory formalism with two kinds of negation dealing with one of the areas of Active Logic, a new kind of logic aimed at performing practical tasks in real time knowledge-based AI systems. In addition to the standard l
Externí odkaz:
https://doaj.org/article/06e48bc252e0494b884798b3e8116702
Complex Modeling of Inductive and Deductive Reasoning by the Example of a Planimetric Problem Solver
Autor:
Sergey S. Kurbatov, Igor B. Fominykh
Publikováno v:
Proceedings of the Sixth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’22) ISBN: 9783031196195
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::947eb43e0d5628e121ce2242b1c6b8d0
https://doi.org/10.1007/978-3-031-19620-1_43
https://doi.org/10.1007/978-3-031-19620-1_43
Publikováno v:
Artificial Intelligence ISBN: 9783030868543
RCAI
RCAI
The paper suggests and develops a method for creating cognitive patterns for well-formalizable problems described in a natural language. The method takes into account the full set of human cognitive abilities: the understanding of a natural language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::296e9f6fdb909feb90a2ea0d6c6fe069
https://doi.org/10.1007/978-3-030-86855-0_22
https://doi.org/10.1007/978-3-030-86855-0_22
Publikováno v:
Artificial Intelligence ISBN: 9783030595340
RCAI
RCAI
The paper describes an ontology-controlled geometric solver. The solver functions as a part of an integrated problem-solving system with a natural language interface. It is implemented in a prototype version of the system for the “school geometry
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e78835bf728e3ac4d75fa4b43649f00
https://doi.org/10.1007/978-3-030-59535-7_19
https://doi.org/10.1007/978-3-030-59535-7_19
Autor:
Igor B. Fominykh, Mikhail M. Vinkov
Publikováno v:
Advances in Electrical and Electronic Engineering, Vol 15, Iss 1, Pp 84-92 (2017)
This paper formulates a stepping theory formalism with two kinds of negation dealing with one of the areas of Active Logic, a new kind of logic aimed at performing practical tasks in real time knowledge-based AI systems. In addition to the standard l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3587f62d3d8a5c24f28dbfab06959c9d
https://doi.org/10.15598/aeee.v15i1.1990
https://doi.org/10.15598/aeee.v15i1.1990