Hannah Kim, Celia Cintas, et al.
IJCAI 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.
Hannah Kim, Celia Cintas, et al.
IJCAI 2023
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
Kellen Cheng, Anna Lisa Gentile, et al.
EMNLP 2024
Freddy Lécué, Jeff Z. Pan
IJCAI 2013