Coverage and Competency in Formal Theories: A Commonsense Theory of Memory (bibtex)
by Gordon, Andrew S. and Hobbs, Jerry R.
Abstract:
The utility of formal theories of commonsense reasoning will depend both on their competency in solving problems and on their concemptual 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 methodology for identifying the coverage requirements of theories through the large-sclae analysis of planning strategies, with further refinements made by collecting and categorizing instances of natural language expressions pertaining to the domain. We demonstrate the effectiveness of this methodology in identifying the representational coverage requirements of theories of the commonsense psychology of human memory. We then apply traditional methods of formalization to produce a formal first-order theory of commonsense memory with a high degree of competency and coverage.
Reference:
Coverage and Competency in Formal Theories: A Commonsense Theory of Memory (Gordon, Andrew S. and Hobbs, Jerry R.), In Proceedings of the 2003 AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 2003.
Bibtex Entry:
@inproceedings{gordon_coverage_2003,
	address = {Stanford University},
	title = {Coverage and {Competency} in {Formal} {Theories}: {A} {Commonsense} {Theory} of {Memory}},
	url = {http://ict.usc.edu/pubs/Coverage%20and%20Competency%20in%20Formal%20Theories-%20A%20Commonsense%20Theory%20of%20Memory.PDF},
	abstract = {The utility of formal theories of commonsense reasoning will depend both on their competency in solving problems and on their concemptual 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 methodology for identifying the coverage requirements of theories through the large-sclae analysis of planning strategies, with further refinements made by collecting and categorizing instances of natural language expressions pertaining to the domain. We demonstrate the effectiveness of this methodology in identifying the representational coverage requirements of theories of the commonsense psychology of human memory. We then apply traditional methods of formalization to produce a formal first-order theory of commonsense memory with a high degree of competency and coverage.},
	booktitle = {Proceedings of the 2003 {AAAI} {Spring} {Symposium} on {Logical} {Formalizations} of {Commonsense} {Reasoning}},
	author = {Gordon, Andrew S. and Hobbs, Jerry R.},
	month = mar,
	year = {2003},
	keywords = {The Narrative Group}
}
Powered by bibtexbrowser