Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40158
Titel: | A representation for the non-instances of linear terms |
VerfasserIn: | Gerlach, Horst |
Sprache: | Englisch |
Erscheinungsjahr: | 1988 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Given a signature (S, Σ) and a Σ-term t ∈ TΣ (X)s of sort s ∈ S, X = (Xs)s∈ S G S being a family of countably infinite sets of variables, we call a set B ⊆ TΣ (X)s of Σ-terms a representation for the non-instances of t (w.r.t. (S, Σ) ) iff the Σ -groundinstances of the elements of B are precisely those Σ -groundterms of sort s that are not a Σ -instance of t. We recursively define a family (Bt)t∈T Σ (X)s, s∈S of sets of Σ-terms (w.r.t. an implicit well ordering of the sets XS of variables) in such a way, that for each linear Σ -term t, Bt is a representation for the non-instances of t (w.r.t. (S, Σ)) that satisfies both a minimality and an embedding property. In particular, Bt is computable and finite if, in addition, Σ contains but a finite number of operation symbols. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-401580 hdl:20.500.11880/36232 http://dx.doi.org/10.22028/D291-40158 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 88,5 |
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-88-05_Gerlach_A-representation-for-the-non=instances-of-linear-terms.pdf | 2,09 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.