The Tractability of Subsumption in Frame-Based Description Languages

  title={The Tractability of Subsumption in Frame-Based Description Languages},
  author={Ronald J. Brachman and Hector J. Levesque},
A knowledge representation system provides an important service to the rest of a knowledge-based system: it computes automatically a set of inferences over the beliefs encoded within it. Given that the knowledge-based system relies on these inferences in the midst of its operation (i.e., its diagnosis, planning, or whatever), their computational tractability is an important concern. Here we present evidence as to how the cost of computing one kind of inference is directly related to the… CONTINUE READING
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 221 extracted citations


Publications referenced by this paper.
Showing 1-7 of 7 references

A Framework for Representing Knowledge.

M. Minsky
In Mind Design, J. Haugeland (ed.). Cambridge, MA: MIT Press, • 1981

The Logic of Frames.

P. J. Hayes
In Frame Conceptions and Text Understanding • 1979

The Complexity of Theorem-Proving Procedures.

S. A. Cook
Proc. 3rd Ann. ACM Symposium on Theory of Computing. New York: Association for Computing Machinery, • 1971

Some Results on the Complexity of Subsumption in Frame - Based Description Languages . ” In preparation . Minsky , M . , “ A Framework for Representing Knowledge . ” In Mind Design

H. J. Levesque

Similar Papers

Loading similar papers…