[Zurück]

T. Eiter, R. Kiesel:
"Quantities in Stream Reasoning";
Vortrag: Reasoning about ACtions and Events over Streams (RACES), Rhodes, Greece; 12.09.2020.

Wir berichten über die Erweiterung von LARS, einem neuen Stream-Reasoning-Framework, das auf ASP basiert, zu gewichtetem LARS (wLARS), bei dem Formeln als algebraische Ausdrücke über Semiringen interpretiert werden. Dies bietet die Möglichkeit, quantitative Maße vieler verschiedener Arten auszudrücken und Reasoningprobleme wie probabilistisches Schließen, präferentielles Schließen und gewichtete Modellzählung auf einheitliche Weise anzugehen. Insbesondere können bekannte quantitative ASP-Erweiterungen mit wLARS formalisiert werden, wodurch sie auf die Streaming-Umgebung übertragen werden.
Wir haben ein relevantes wLARS-Fragment identifiziert, das äquivalent zu gewichteten Automaten ist und uns somit eine regelbasierte Sprache zum Ausdrücken des Verhaltens solcher Automaten liefert. Darüber hinaus haben wir die Auswertung von wLARS-Formeln analysiert und gezeigt, dass mutiges Preferential Reasoning in relevanten Situationen PSPACE- bzw. Σp3-komplett ist.

We report about extending LARS, which is a recent stream reasoning framework based on ASP, to weighted LARS (wLARS), where formulas are interpreted as algebraic expressions over semirings. This adds the ability to express quantitative measures of many different natures and to approach reasoning problems such as probabilistic reasoning, preferential reasoning and weighted model counting in a uniform manner. Notably, well-known quantitative ASP extensions can be formalised using wLARS, thus lifting them to the streaming setting.
We have identified a relevant wLARS fragment equivalent to weighted automata, which thus gives us a rule-based language for expressing behaviours of such automata. Furthermore, we have analysed the evaluation of wLARS formulas, showing that brave preferential reasoning is PSPACE- resp. Σp3-complete in relevant settings.

LARS, Stream Reasoning, Quantitative Reasoning, Semiring

https://publik.tuwien.ac.at/files/publik_293545.mp4