Form and Content in Computer Science (1970 ACM turing lecture)
Journal of the ACM (JACM)
Computers and Thought
Semantic Information Processing
Semantic Information Processing
Using Animation in Diagrammatic Theorem Proving
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Spatial Representation with Aspect Maps
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Kantian Philosophy of Mathematics and Young Robots
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
The Case for Grounding Databases
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Biological, computational and robotic connections with Kant's theory of mathematical knowledge
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |
This paper echoes, from a philosophical standpoint, the claim of McCarthy and Hayes that Philosophy and Artificial Intelligence have important relations. Philosophical problems about the use of "intuition" in reasoning are related, via a concept of analogical representation, to problems in the simulation of perception, problem-solving and the generation of useful sets of possibilities in considering how to act. The requirements for intelligent decision-making proposed by McCarthy and Hayes are criticised as too narrow, and more general requirements are suggested instead.