Talks and Poster Presentations (without Proceedings-Entry):
D. Gomez Ramirez:
"Cognitively-Inspired Formal Models of Scientific Invention";
Talk: J6 Spring School for Studies on Intelligence and Cognition, JESICS,
Cairo, Egypt;
2017-03-30.
English abstract:
We present the initial formal Guidelines towards Artificial Mathematical Intelligence, i.e., the meta-mathematical foundations for designing a Computer programme able to find concrete solutions to solvable conjectures in a human-style fashion. In particular, we describe current Research regarding conceptual substratum, formal analogy making and formal conceptual blending.
Created from the Publication Database of the Vienna University of Technology.