Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM103525
035-os BibID:(Scopus)85107842870
Első szerző:Bátfai Norbert (informatikus)
Cím:Possible Neural Models to Support the Design of Prime Convo Assistant / Norbert Bátfai, Máté Szabó
Dátum:2021
Megjegyzések:The Prime Convo Assistant initiative is a software development idea intended to examine how we could use the automatic and interactive theorem provers and machine learning methods to generate automatically new sentences in an artificial visual language. The name Prime Convo Assistant is a combination of the Prime Radiant and the internal conversation with ourselves. Isaac Asimov`s psychohistorians used the Prime Radiant device to store psychohistorical equations. The internal conversations come from Julian Jaynes` theory of bicameral mind. Our idea is that the sentences of the visual language in question are initially given in the form of first-order logic formulas. In our previous work, Pasigraphy Rhapsody, we used first-order logic formulas to create visual objects. In the framework of the present work, we primarily conduct literature research and test existing models. On the one hand, in the field of what neural models exist whose input is a first-order logic corpus, and on the other hand, in the field of what deep learning-based solutions help the operation of automatic theorem provers. In addition, in a broader context, we examine the possible relationship between Society 5.0 and esport culture from a kind of robopsychological and robophilosophical point of view.
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
könyvrészlet
Robopsychology
robophilosophy
machine learning
automated theorem proving
Society 5.0
esport
Megjelenés:Proceedings of the 1st Conference on Information Technology and Data Science / ed. István Fazekas, András Hajdu, Tibor Tómács. - p. 46-55. -
További szerzők:Szabó Máté (1994-) (informatikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:
Rekordok letöltése1