Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  Extending the Resolution Method with Sorts

Weidenbach, C. (1993). Extending the Resolution Method with Sorts. In R. Bajcsy (Ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93) (pp. 60-65). Chambery, France: Morgan Kaufmann.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-1484-1 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-1486-E
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Weidenbach, Christoph1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper I extend the standard first-order resolution method with special reasoning mechanisms for sorts. Sorts are one place predicates. Literals built from one place predicates are called sort literals. Negative sort literals can be compiled into restrictions of the relevant variables to sorts or can be deleted if they fulfill special conditions. Positive sort literals define the sort structure for sorted unification. Sorted unification exploits the sort restrictions of variables. As the occurrence of sort literals is not restricted, it might be necessary to add additional literals to resolvents and factors and to dynamically change the set of positive sort literals used by sorted unification during the deduction process. The calculus I propose thus extends the standard resolution method by sorted unification, residue literals and a dynamic processing of the sort information. I show that this calculus generalizes and improves existing approaches to sorted reasoning. Finally I give some applications to automated theorem proving and abduction.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 1993
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Weidenbach93a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: IJCAI 1993
Veranstaltungsort: Chambéry, France
Start-/Enddatum: 1993-08-28 - 1993-09-03

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93)
  Kurztitel : IJCAI 1993
Genre der Quelle: Konferenzband
 Urheber:
Bajcsy, R.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Chambery, France : Morgan Kaufmann
Seiten: - Band / Heft: 1 Artikelnummer: - Start- / Endseite: 60 - 65 Identifikator: -