Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40200
Titel: | On Solving Equations and Disequations |
VerfasserIn: | Buntine, Wray L. Bürckert, Hans-Jürgen |
Sprache: | Englisch |
Erscheinungsjahr: | 1989 |
Erscheinungsort: | Kaiserslautern |
Freie Schlagwörter: | equational theory definite clause logic programming E-unification E-disunification solving equations and disequations inequations |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We are interested in the problem of solving a system 〈s_i= t_i: 1≤i≤n,p_j≠q_j:1≤j≤m〉 of equations and disequations, also known as disunification. Solutions to disunification problems are substitutions for the variables of the problem that make the two terms of each equation equal, but leave those of the disequations different. We investigate this in both algebraic and logical contexts where equality is defined by an equational theory and more generally by a definite clause equality theory E. We show how E-disunification can be reduced to E-unification, that is solving equations only, and give a disunification algorithm for theories given a unification algorithm. In fact this result shows that for theories where the solutions of all unification problems can be represented by finitely many substitutions, the solutions of all disunifieation problems can also be represented finitely. We apply disunifieation to handle negation in logic programming with equality in a similar style to Colmerauer‘s logic programming with rational trees, and to represent many solutions to AC-unification problems by a few solutions to AC1-disunification problems. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-402005 hdl:20.500.11880/36244 http://dx.doi.org/10.22028/D291-40200 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 89,3 |
Datum des Eintrags: | 11-Aug-2023 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-89-03_Buntine-Bürckert_On-Solving-Equations-and-Disequations.pdf | 2,95 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.