The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself

DOI10.1016/j.jal.2008.09.001zbMath1158.68437OpenAlexW2005864385MaRDI QIDQ959049

Selmer Bringsjord

Publication date: 11 December 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.09.001

zbMATH Keywords

artificial intelligencelogicconnectionismcontinuous systemsAIlogic-based AIsub-symbolic AI

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General topics in artificial intelligence (68T01)

Uses Software

• VAMPIRE
• Walksat
• LPL software
• OSCAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic-based subsumption architecture
• How to reason defeasibly
• Computationalism
• Animals, zombanimals, and the total Turing test. The essence of artificial intelligence
• Modular elliptic curves and Fermat's Last Theorem
• Ring-theoretic properties of certain Hecke algebras
• The anatomy of vampire. Implementing bottom-up procedures with code trees
• On the Unusual Effectiveness of Logic in Computer Science
• How minds can be computational systems
• The Description Logic Handbook
• Computational Logic in Multi-Agent Systems
• Defeasible reasoning with variable degrees of justification

This page was built for publication: The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself