Year: 2007
Type: article
Abstract: This paper defends the claim that a part of human mathematical cognition can be realized in a computational cognitive agent (thereby rejecting the claim that the human embodiment has a privileged status with respect to mathematical cognition).The defense of this position rests on two points: (1) The embodied activities that provide a semantics for arithmetic are performable by computational agents and (2) abstraction from these activities yields representations that can be reasoned with by such agents (while still remaining associated with the originating embodied activities).In particular, such representations can be used in a justification of arithmetic results.A case study in computational math cognition is presented using the task of finding the greatest common divisor (GCD) of two natural numbers.An overview of a preliminary agent implementation is given using the SNePS knowledge-representation, reasoning, and acting system and GLAIR architecture.
Author: Albert Goldfain
Institution: University at Buffalo, State University of New York
Language: English
Subfield: Cognitive Neuroscience
Field: Neuroscience
Domain: Life Sciences
Open Access status: green
OpenAlex ID: W2587077851