Using Resolution for Extending KL-ONE-type Languages

@inproceedings{Tammet1995UsingRF,
  title={Using Resolution for Extending KL-ONE-type Languages},
  author={Tanel Tammet},
  booktitle={CIKM},
  year={1995}
}
We argue that decidable classes of predicate logic combhted with efficient decision methods are a suitable basis for developing powerful knowledge representation languages. The paper presents some methods for developing such languages based on decidable classes. Queries can be answered and databases can be completed by using efficient dectilon refinements of the resolution method. Severaf decidable classes usable as new knowledge representation languages are presented, cent aining some well… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

A. A Machine-oriented Logic Based on the Resolution Prficiple

  • J Robinson
  • Journaf of the ACM
  • 1965
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…