Logic and Artificial Intelligence: Divorced, Still Married, Separated...?

Authors:
Selmer Bringsjord; David A. Ferrucci
Affiliations:
Department of Philosophy, Psychology and Cognitive Science, and Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. E-mail: Email: selmer@rpi.edu Web: URL: http: ...;Department of Philosophy, Psychology and Cognitive Science, and Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. E-mail: Email: selmer@rpi.edu Web: URL: http: ...
Venue:
Minds and Machines
Year:
1998

Citing 12
Cited 7

Towards a general theory of action and time

Artificial Intelligence
Semantical considerations on nonmonotonic logic

Artificial Intelligence
Logical foundations of artificial intelligence

Logical foundations of artificial intelligence
A model for belief revision

Artificial Intelligence
Big problems for AI

AI Magazine
From standard logic to logic programming: introducing a logic based approach to artificial intelligence

From standard logic to logic programming: introducing a logic based approach to artificial intelligence
Computability and logic

Computability and logic
Is the connectionist-logicist clash one of AI's wonderful red herrings?

Journal of Experimental & Theoretical Artificial Intelligence
Logic and logic programming

Communications of the ACM
How to reason defeasibly

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
What Robots Can and Can't Be

What Robots Can and Can't Be

Buy and Use Thinking Things Through

Minds and Machines
Reply to Bringsjord and Ferrucci

Minds and Machines
Toward a General Logicist Methodology for Engineering Ethically Correct Robots

IEEE Intelligent Systems
Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments

Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language

Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Provability-based semantic interoperability via translation graphs

ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning

Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

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. Whatconnubial permutation do logic and AI find themselves in now? Are they still(happily) married? Are they divorced? Or are they only separated, both stillkeeping 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 sixbooks. Encapsulated, our answer is that (i) logic and AI, despite tabloidishreports to the contrary, still enjoy matrimonial bliss, and (ii) only theirfuture robotic offspring (as opposed to the children of connectionist AI)will mark real progress in the attempt to understand cognition.