The role of frame-based representation in reasoning

ABSTRACT

A frame-based representation facility contributes to a knowledge system's ability to reason and can assist the system designer in determining strategies for controlling the system's reasoning.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Aikins, J.S. A representation scheme using both frames and rules. In Rule-Based Expert Systems. B.G. Buchanan and E.H. Shortliffe. Eds. Addison-Wesley, Reading, Mass., 1984, pp. 424440.
	2	Bobrow, D.G., and Winograd. T. An overview of KRL, a knowledge representation language. Cognitive Sci. I, 1 (Jan. 1977) 346.
	3	Brachman, R.J. What IS-A is and isn't: An analysis of taxonomic links in semantic networks. Computer 16, 10 (Oct. 1983) 30-36.
	4	Brachman, F!.J., and Schmolze, J.G. An overview of the KL-ONE knowledge representation system. Cognitive Sci. 9.2 (Apr. 1985) 171-216.
	5	Brachman, R.J.. Fikes, R.E., and Levesaue. H.I. KRYPTON: A functional approach to knowledge representation: Computer 16.10 (Oct. 1983). 67-74.
	6	Davis, R., and King, J. An overview of production systems. In Machine Intelligence 8: Machine Representations of Knowledge, E. Elcock, and D. Michie, Eds. Wiley, New York, 1977, pp. 300-332.
	7	Fain, J., Gorlin, D., Hayes-Roth, F., Rosenschein, S.J., Sowizral, H., and Waterman, D. The ROSIE language reference manual. Tech. Rep. N-1647-ARPA, Rand Corp., Santa Monica, Calif., 1981.
	8	Ferguson, J.C., Siemens, R.. and Wagner, R.E. STAR-PLAN: A satellite anomaly resolution and planning system. Intern. Rep., Ford Aerospace and Communications Corp., Sunnyvale, Calif., 1985.
	9	Fikes, R.E. Odyssey: A knowledge-based assistant. Artif ~ntell. 16. 3 (July 1981). 331-361.
	10	Green, C. Application of theorem proving to problem solving. In Proceedings of the 1st International Joint Conference on Artificial lntelligence (Washington, D.C., Aug.). Mitre Corp., McLean, Va.. 1969. pp. 219-239.
	11	Hendrix, G.G. Encoding knowledge in partitioned networks. In Associative Networks: Representation and Use of Knowledge by Computers. N.V. Finder, Ed. Academic Press, New York, 1979, pp. 51-92.
	12	Kehler, T.P., and Clemenson, G.D. An application development system for expert systems. Syst. Softw. 3, 1 (Jan. 1984) 212-224.
	13	Lipkis, T.A. A KL-ONE classifier. In Proceeding of the 1981 IX-ONE Workshop. Bolt, Beranek and Newman, Cambridge, Mass., June 1982, pp. 128-145.
	14	Minsky, M. A framework for representing knowledge. In The Psychology of Computer Vision, P. Winston, Ed. McGraw-Hill, New York, 1975, pp. 211-277.
	15	Newell, A. The knowledge level. Artif Intell. Mag. 2, 2 (Summer 1981), l-20.
	16	Pople, H.E., Jr. Heuristic methods for imposing structure on illstructured problems: The structuring of medical diagnostics. In Artificial InfeQence in Medicine, P. Szolovitz. Ed. Westview Press, Boulder, Colo., 1981, pp. 119-185.
	17	Stefik, M.J. An examination of a frame-structured representation system. In Proceedings of the 6th International Joint Conference on Artificial Intelligence (Tokyo, Japan, Aug.). Kaufmann, Los Altos, CaIif., 1979, pp. 845-852.
	18	Stefik, M., Bobrow. D.G., Mittal. S.. and Conway, L. Knowledge programming in LOOPS: Report on an experimental course. Arfif Well'. 4, 3 (Fall 1983) 3-14.
	19	Woods, W.A. What's important about knowledge representation? Computer 15, 10 {Oct. 1983). 22-29.