Coverage and Competency in Formal Theories: A Commonsense Theory of Memory
Andrew S. Gordon, Jerry R. Hobbs · 2003
The utility of formal theories of commonsense reason-ing will depend both on their competency in solving problems and on their conceptual coverage. We argue that the problems of coverage and competency can be decoupled and solved with different methods for a given commonsense domain. We describe a method-ology for identifying the coverage requirements of theories through the large-scale analysis of planning strategies, with further refinements made by collect-ing and categorizing instances of natural language ex-pressions pertaining to the domain. We demonstrate the effectiveness of this methodology in identifying the representational coverage requirements of theo-ries of the commonsense psychology of human mem-