Representing Symbolic Reasoning

Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection because their design does not allow a representation of their own reasoning procedures as data. Using a model of reasoning based on observable effect it is possible to test the abilitly of any given data structure to represent reasoning. Through such a model we present a minimal data structure necessary to record a computable reasoning process and define the operations that can be performed on this representation to facilitate computer reasoning. This model facilitates the

• Type: Conference
• Year: 2003
• Where: MAICS
• Authors: Brian E. Mastenbrook, Eric G. Berkowitz
• Keywords: Artificial Intelligence, Computer Reasoning, Computer Reasoning Systems, MAICS 2003, Reasoning