Embodied Enumeration: Appealing to Activities for Mathematical Explanation

Albert Goldfain

A computational cognitive agent capable of mathematical reasoning should be able to: (1) perform mental operations over abstract internal representations (e.g., counting numbers) and (2) perform physical operations over concrete external objects (e.g., counting apples). In a context of justification, both of these types of activity can contribute to mathematical explanations. In this paper, we focus on an agent's ability to enumerate external objects, the knowledge-level representational requirements (and side-effects) for such an ability, and the applicability of the enumeration result during an explanation. The SNePS knowledge-representation, reasoning, and acting system is used for a preliminary implementation of Cassie, our enumeration agent. The GLAIR architecture, which is used to model Cassie's embodiment, is also discussed.

Subjects: 4. Cognitive Modeling; 11. Knowledge Representation

Submitted: Jun 1, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.