Michael Hersche, Mustafa Zeqiri, et al.
NeSy 2023
Though it's difficult to agree on the exact date of their union, logic and artificial intelligence (AI) were married by the late 1950s, and, at least during their honeymoon, were happily united. What connubial permutation do logic and AI find themselves in now? Are they still (happily) married? Are they divorced? Or are they only separated, both still keeping alive the promise of a future in which the old magic is rekindled? This paper is an attempt to answer these questions via a review of six books. Encapsulated, our answer is that (i) logic and AI, despite tabloidish reports to the contrary, still enjoy matrimonial bliss, and (ii) only their future robotic offspring (as opposed to the children of connectionist AI) will mark real progress in the attempt to understand cognition.
Michael Hersche, Mustafa Zeqiri, et al.
NeSy 2023
Guojing Cong, David A. Bader
Journal of Parallel and Distributed Computing
S. Winograd
Journal of the ACM
Xiaoxiao Guo, Shiyu Chang, et al.
AAAI 2019