The semantically guided linear deduction system

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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].

Original languageEnglish (US)
Title of host publicationAutomated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings
PublisherSpringer Verlag
Pages677-680
Number of pages4
Volume607 LNAI
ISBN (Print)9783540556022
StatePublished - 1992
Externally publishedYes
Event11th International Conference on Automated Deduction, CADE, 1992 - Saratoga Springs, United States
Duration: Jun 15 1992Jun 18 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume607 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th International Conference on Automated Deduction, CADE, 1992
CountryUnited States
CitySaratoga Springs
Period6/15/926/18/92

Fingerprint

Deduction
Deletion
Linear systems
Semantics
Sort
Equality
Testing
Inference Rules
Prolog
Efficacy

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sutcliffe, G. (1992). The semantically guided linear deduction system. In Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings (Vol. 607 LNAI, pp. 677-680). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 607 LNAI). Springer Verlag.

The semantically guided linear deduction system. / Sutcliffe, Geoffrey.

Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Vol. 607 LNAI Springer Verlag, 1992. p. 677-680 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 607 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sutcliffe, G 1992, The semantically guided linear deduction system. in Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. vol. 607 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 607 LNAI, Springer Verlag, pp. 677-680, 11th International Conference on Automated Deduction, CADE, 1992, Saratoga Springs, United States, 6/15/92.
Sutcliffe G. The semantically guided linear deduction system. In Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Vol. 607 LNAI. Springer Verlag. 1992. p. 677-680. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Sutcliffe, Geoffrey. / The semantically guided linear deduction system. Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Vol. 607 LNAI Springer Verlag, 1992. pp. 677-680 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{dfd23c87d9c1448f8c15bf6090422618,
title = "The semantically guided linear deduction system",
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].",
author = "Geoffrey Sutcliffe",
year = "1992",
language = "English (US)",
isbn = "9783540556022",
volume = "607 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "677--680",
booktitle = "Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings",

}

TY - GEN

T1 - The semantically guided linear deduction system

AU - Sutcliffe, Geoffrey

PY - 1992

Y1 - 1992

N2 - 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].

AB - 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].

UR - http://www.scopus.com/inward/record.url?scp=85029576676&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85029576676&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85029576676

SN - 9783540556022

VL - 607 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 677

EP - 680

BT - Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings

PB - Springer Verlag

ER -