Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

The semantically guided linear deduction system

  • Conference paper
  • First Online:
Automated Deduction—CADE-11 (CADE 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 607))

Included in the following conference series:

  • 1283 Accesses

Abstract

SGLD has been implemented in Prolog, and performance testing shows the efficacy of using semantic information to guide search. As well the features described above, SGLD has facilities for imposing sort value deletion and for embedding equality. Sort value deletion is imposed via the same mechanism as the truth value deletion, but throughout deductions. Equality is embedded via an extension of the RUE and NRF inference rules [Digricoli, 1979].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • Digricoli V.J., Automatic Deduction and Equality, In Martin A.L. (Ed.), Proceedings of the Annual Conference of the ACM (Detroit, MI, 1979) ACM Press, New York, NY, (1979), 240–250.

    Google Scholar 

  • Loveland D.W., A Simplified Format for the Model Elimination Theorem-Proving Procedure, In Journal of the ACM 16(3), ACM Press, New York, NY, (1969), 349–363.

    Google Scholar 

  • Shostak R.E., Refutation Graphs, In Artificial Intelligence 7, Elsevier Science, Amsterdam, The Netherlands, (1976), 51–64.

    Google Scholar 

  • Sutcliffe G., A General Clause Theorem Prover, In Stickel M.E. (Ed.), Proceedings of the 10th International Conference on Automated Deduction (Kaiserslautern, Germany, 1990), (Siekmann J.H. (Ed.), Lecture Notes in Artificial Intelligence 449), Springer-Verlag, New York, NY, (1990), 675–676.

    Google Scholar 

  • Sutcliffe G., Linear-Input Subset Analysis, In Kapur D. (Ed.), Proceedings of the 11th International Conference on Automated Deduction (Saratoga Springs, NY, 1992) Springer-Verlag, New York, NY, (1992).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Western Australia, 6009, Nedlands, Western Australia

    Geoff Sutcliffe

Authors
  1. Geoff Sutcliffe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Deepak Kapur

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sutcliffe, G. (1992). The semantically guided linear deduction system. In: Kapur, D. (eds) Automated Deduction—CADE-11. CADE 1992. Lecture Notes in Computer Science, vol 607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55602-8_202

Download citation

  • DOI: https://doi.org/10.1007/3-540-55602-8_202

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55602-2

  • Online ISBN: 978-3-540-47252-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation