Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
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ó:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.