Knowledge
Case-based reasoning
Reason
Logic programming
Planner
Introspection
Mind
Reasoning
Philosophy of mind