Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40497
Titel: | Convex Relations Between Time Intervals |
VerfasserIn: | Nökel, Klaus |
Sprache: | Englisch |
Erscheinungsjahr: | 1988 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We describe a fragment of Allen's full algebra of time interval relations (the algebra of convex relations) that is useful for describing the dynamic behavior of technical systems. After an intuitive description of the fragment we give two formal definitions and prove that they are equivalent. This provides the basis for the major result of the paper: in a time net in which all interval relations are convex the test for the global consistency of the edge labelling can be carried out in polynomial time (in the general case it is NP-complete). This result makes convex interval relations an attractive candidate whereever qualitative reasoning about technical systems requires testing for global instead of local consistency. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-404974 hdl:20.500.11880/36414 http://dx.doi.org/10.22028/D291-40497 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 88,17 |
Datum des Eintrags: | 18-Sep-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-17_Nökel_Convex-Relations-Between-Time-Intervals.pdf | 6,42 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.