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.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by L. Bozzelli,... at arxiv.org 03-22-2024
https://arxiv.org/pdf/2202.07881.pdfDeeper Inquiries