Der Artikel untersucht die Komplexität des Erfüllbarkeitsproblems für geeignete Abschwächungen der Intervall-Temporallogik des Chop-Operators unter der Homogenitätsannahme. Zunächst wird die Logik BDhom eingeführt, die Modalitäten B (für Beginn) und D (für Während) enthält. Es wird gezeigt, dass das Erfüllbarkeitsproblem für BDhom unter der Homogenitätsannahme PSPACE-vollständig ist. Dann wird die Erweiterung von BDhom mit der zeitlichen Nachbarschaftsmodalität A untersucht. Es wird bewiesen, dass diese Erweiterung sowohl die Ausdruckskraft als auch die Komplexität der Logik erhöht. Insbesondere wird gezeigt, dass die resultierende Logik BDAhom EXPSPACE-vollständig ist.
In eine andere Sprache
aus dem Quellinhalt
arxiv.org
Wichtige Erkenntnisse aus
by L. Bozzelli,... um arxiv.org 03-22-2024
https://arxiv.org/pdf/2202.07881.pdfTiefere Fragen