Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40239
Titel: On the Solvability of Equational Problems
VerfasserIn: Bürckert, Hans-Jürgen
Schmidt-Schauß, Manfred
Sprache: Englisch
Erscheinungsjahr: 1989
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: equational theory
equational problem
unification
disunification
decidability
semi-decidability
word problem
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: In this report we present some results on decidability, undecidability, semi-decidability, and non-semi-decidability of general and special equational problems. Solving an equational problem is the task to find out given an equational theory and any first order formula where the equality sign is the only predicate symbol, if this formula is true in the free algebra (or in the initial algebra) of this equational theory. One is usually interested in a constructive proof of an equational problem, i.e., the assignments of existentially quantified variables with elements of this algebra have to be constructed explicitely. Special cases are equality problems, unification and disunification problems: A disunification problem is the problem of solving a system of equations and disequations (i.e. negated equations) in the free or initial algebra of an equational theory, i.e. to prove the existentially closed conjunction of the equations and disequations in this algebra. Assignments for the variables occurring in the system, that make the terms of the equations equal, but let those of the disequations different are called solutions. Unification is as common the problem of solving a system of equations only, the solutions are called unifiers. Equality problems are universally closed equations. We are only interested in the question if there is a decision or at least a semi-decision procedure for the solvability of these problems but not in the task of finding procedures that compute the solutions.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-402396
hdl:20.500.11880/36251
http://dx.doi.org/10.22028/D291-40239
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 89,7
Datum des Eintrags: 14-Aug-2023
Bemerkung/Hinweis: In der GND existiert kein Normdatensatz für die Person, die sie eindeutig als solche identifiziert. Alternative oder damit in Verbindung stehende Schreibweise(n): Schmidt-Schauss, Manfred.
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ößeFormat 
SEKI-Report-SR-89-07_Bürckert-Schmidt=Schauß_On-the-Solvability-of-Equational-Problems.pdf1,49 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.