<div class="csl-bib-body">
<div class="csl-entry">Kiesel, R. P. D. (2023). <i>Streaming and quantitative extensions of answer set programming</i> [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119341</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2024.119341
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/193456
-
dc.description.abstract
Stream reasoning allows us to draw conclusions in a temporal domain with data that can change at different time points. By using a stream reasoning framework with syntax and semantics based on that of Answer Set Programming (ASP), one obtains an intuitive and declarative formalism. However, while there are vast possibilities to perform quantitative reasoning over static data, the same does not hold in the streaming context. Additionally, (i) there are many different forms quantitative reasoning that (ii) are not trivially integrated into to the temporal setting. We therefore investigate the combination of streaming and quantitative extensions of ASP. First, we introduce two highly general quantitative extensions of ASP by defining an algebraic semantics for quantitative aspects that is based on semirings. These extensions add on the one hand quantitative reasoning capabilities over the set of models and on the other hand succinct specifications of quantitative constraints within the program. For both, we analyze their relation to previous formalisms with similar features mostly showing that ours are a conservative extension. Finally, we combine the quantitative extensions with a temporal framework called LARS to obtain a general framework for quantitative stream reasoning. Apart from their definition, we study the extensions and the general framework in terms of their theoretical properties, including the complexity of typical reasoning tasks, safety of fragments, and expressivity. Second, we notice that reasoning in both extensions involves solving weighted model counting problems over semirings. Interestingly, the complexity of the problem depends on the semiring. However, this dependence has not been characterized. We provide a characterization using a family of novel complexity classes and relate them to well-known classical complexity classes. Last but not least, we consider how reasoning in practice. For this, we only consider a limited fragment, omitting quantitative constraints and temporal aspects but focusing on general quantitative reasoning over the set of models. By a mixture of known results from the literature and novel findings we provide an implementation that at least keeps up with the state of the art in probabilistic reasoning and even provides improved performance on cyclic instances.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Logic programming
en
dc.subject
answer set programming
en
dc.subject
stream reasoning
en
dc.subject
model counting
en
dc.subject
computational complexity
en
dc.subject
semirings
en
dc.subject
probabilistic reasoning
en
dc.title
Streaming and quantitative extensions of answer set programming
en
dc.title.alternative
Zeitliche und quantitative Erweiterungen der Answer Set Programmierung
de
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2024.119341
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Rafael Peter David Kiesel
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Bartocci, Ezio
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC17060551
-
dc.description.numberOfPages
329
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
tuw.advisor.orcid
0000-0001-6003-6345
-
tuw.assistant.orcid
0000-0002-8004-6601
-
item.languageiso639-1
en
-
item.openairetype
doctoral thesis
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
item.grantfulltext
open
-
item.cerifentitytype
Publications
-
item.fulltext
with Fulltext
-
item.mimetype
application/pdf
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems