Searcharxiv⌕ Search

arXiv subjects

Thomas Eiter

Publications and source records attributed to Thomas Eiter.

At least 37 records · Page 2Linked to original sources

Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets

Visual Question Answering (VQA) is the task of answering a question about an image and requires processing multimodal input and reasoning to obtain the answer. Modular solutions that use declarative representations within the reasoning component have a clear advantage over end-to-end trained systems regarding interpretability. The downside is that crafting the rules for such a component can be an additional burden on the developer. We address this challenge by presenting an approach for declarative knowledge distillation from Large Language Models (LLMs). Our method is to prompt an LLM to extend an initial theory on VQA reasoning, given as an answer-set program, to meet the requirements of the VQA task. Examples from the VQA dataset are used to guide the LLM, validate the results, and mend rules if they are not correct by using feedback from the ASP solver. We demonstrate that our approach works on the prominent CLEVR and GQA datasets. Our results confirm that distilling knowledge from LLMs is in fact a promising direction besides data-driven rule learning approaches.

cs.AI↗

Weak solutions to a model for phase separation coupled with finite-strain viscoelasticity subject to external distortion

We study the coupling of a viscoelastic deformation governed by a Kelvin-Voigt model at equilibrium, based on the concept of second-grade nonsimple materials, with a plastic deformation due to volumetric swelling, described via a phase-field variable subject to a Cahn-Hilliard model expressed in a Lagrangian frame. Such models can be used to describe the time evolution of hydrogels in terms of phase separation within a deformable substrate. The equations are mainly coupled via a multiplicative decomposition of the deformation gradient into both contributions and via a Korteweg term in the Eulerian frame. To treat time-dependent Dirichlet conditions for the deformation, an auxiliary variable with fixed boundary values is introduced, which results in another multiplicative structure. Imposing suitable growth conditions on the elastic and viscous potentials, we construct weak solutions to this quasistatic model as the limit of time-discrete solutions to incremental minimization problems. The limit passage is possible due to additional regularity induced by the hyperelastic and viscous stresses.

math.AP↗

Representation formulas and far-field behavior of time-periodic incompressible viscous flow around a translating rigid body

This paper is concerned with integral representations and asymptotic expansions of solutions to the time-periodic incompressible Navier-Stokes equations for fluid flow in the exterior of a rigid body that moves with constant velocity. Using the time-periodic Oseen fundamental solution, we derive representation formulas for solutions with suitable regularity. From these formulas, the decomposition of the velocity component of the fundamental solution into steady-state and purely periodic parts and their detailed decay rate in space, we deduce complete information on the asymptotic structure of the velocity and pressure fields.

math.AP↗

Deontic Paradoxes in ASP with Weak Constraints

The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regulations. Normative reasoning is the realm of deontic logics, that are challenged by well-known benchmark problems (deontic paradoxes), and lack efficient computational tools. In this paper, we use Answer Set Programming (ASP) for addressing these shortcomings and showcase how to encode and resolve several well-known deontic paradoxes utilizing weak constraints. By abstracting and generalizing this encoding, we present a methodology for translating normative systems in ASP with weak constraints. This methodology is applied to "ethical" versions of Pac-man, where we obtain a comparable performance with related works, but ethically preferable results.

cs.LO↗

Contextual Reasoning for Scene Generation (Technical Report)

We present a continuation to our previous work, in which we developed the MR-CKR framework to reason with knowledge overriding across contexts organized in multi-relational hierarchies. Reasoning is realized via ASP with algebraic measures, allowing for flexible definitions of preferences. In this paper, we show how to apply our theoretical work to real autonomous-vehicle scene data. Goal of this work is to apply MR-CKR to the problem of generating challenging scenes for autonomous vehicle learning. In practice, most of the scene data for AV learning models common situations, thus it might be difficult to capture cases where a particular situation occurs (e.g. partial occlusions of a crossing pedestrian). The MR-CKR model allows for data organization exploiting the multi-dimensionality of such data (e.g., temporal and spatial). Reasoning over multiple contexts enables the verification and configuration of scenes, using the combination of different scene ontologies. We describe a framework for semantically guided data generation, based on a combination of MR-CKR and Algebraic Measures. The framework is implemented in a proof-of-concept prototype exemplifying some cases of scene generation.

cs.AI↗

Viscous flow past a translating body with oscillating boundary

We study an incompressible viscous flow around an obstacle with an oscillating boundary that moves by a translational periodic motion, and we show existence of strong time-periodic solutions for small data in different configurations: If the mean velocity of the body is zero, existence of time-periodic solutions is provided within a framework of Sobolev functions with isotropic pointwise decay. If the mean velocity is non-zero, this framework can be adapted, but the spatial behavior of flow requires a setting of anisotropically weighted spaces. In the latter case, we also establish existence of solutions within an alternative framework of homogeneous Sobolev spaces. These results are based on the time-periodic maximal regularity of the associated linearizations, which is derived from suitable R-bounds for the Stokes and Oseen resolvent problems. The pointwise estimates are deduced from the associated time-periodic fundamental solutions.

math.AP↗

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop production. There, jobs can only be processed by dedicated machines, thus few machines can determine the makespan almost regardless of how jobs are scheduled on the remaining ones. This causes problems when machines fail and jobs need to be rescheduled. Instead of optimising only the makespan, we put the individual machine spans in non-ascending order and lexicographically minimise the resulting tuples. This achieves that all machines complete as early as possible and increases the robustness of the schedule. We study the application of Answer-Set Programming (ASP) to solve this problem. While ASP eases modelling, the combination of timing constraints and the considered objective function challenges current solving technology. The former issue is addressed by using an extension of ASP by difference logic. For the latter, we devise different algorithms that use multi-shot solving. To tackle industrial-sized instances, we study different approximations and heuristics. Our experimental results show that ASP is indeed a promising KRR paradigm for this problem and is competitive with state-of-the-art CP and MIP solvers. Under consideration in Theory and Practice of Logic Programming (TPLP).

cs.AI↗

On the regularity of weak solutions to time-periodic Navier--Stokes equations in exterior domains

Consider the time-periodic viscous incompressible fluid flow past a body with non-zero velocity at infinity. This article gives sufficient conditions such that weak solutions to this problem are smooth. Since time-periodic solutions do not have finite kinetic energy in general, the well-known regularity results for weak solutions to the corresponding initial-value problem cannot be transferred directly. The established regularity criterion demands a certain integrability of the purely periodic part of the velocity field or its gradient, but it does not concern the time mean of these quantities.

math.AP↗

Existence of energy-variational solutions to hyperbolic conservation laws

We introduce the concept of energy-variational solutions for hyperbolic conservation laws. Intrinsically, these energy-variational solutions fulfill the weak-strong uniqueness principle and the semi-flow property, and the set of solutions is convex and weakly-star closed. The existence of energy-variational solutions is proven via a suitable time-discretization scheme under certain assumptions. This general result yields existence of energy-variational solutions to the magnetohydrodynamical equations for ideal incompressible fluids and to the Euler equations in both the incompressible and the compressible case. Moreover, we show that energy-variational solutions to the Euler equations coincide with dissipative weak solutions.

math.AP↗

A Neuro-Symbolic ASP Pipeline for Visual Question Answering

We present a neuro-symbolic visual question answering (VQA) pipeline for CLEVR, which is a well-known dataset that consists of pictures showing scenes with objects and questions related to them. Our pipeline covers (i) training neural networks for object classification and bounding-box prediction of the CLEVR scenes, (ii) statistical analysis on the distribution of prediction values of the neural networks to determine a threshold for high-confidence predictions, and (iii) a translation of CLEVR questions and network predictions that pass confidence thresholds into logic programs so that we can compute the answers using an ASP solver. By exploiting choice rules, we consider deterministic and non-deterministic scene encodings. Our experiments show that the non-deterministic scene encoding achieves good results even if the neural networks are trained rather poorly in comparison with the deterministic approach. This is important for building robust VQA systems if network predictions are less-than perfect. Furthermore, we show that restricting non-determinism to reasonable choices allows for more efficient implementations in comparison with related neuro-symbolic approaches without loosing much accuracy. This work is under consideration for acceptance in TPLP.

cs.AI↗

Chasing Streams with Existential Rules

We study reasoning with existential rules to perform query answering over streams of data. On static databases, this problem has been widely studied, but its extension to rapidly changing data has not yet been considered. To bridge this gap, we extend LARS, a well-known framework for rule-based stream reasoning, to support existential rules. For that, we show how to translate LARS with existentials into a semantics-preserving set of existential rules. As query answering with such rules is undecidable in general, we describe how to leverage the temporal nature of streams and present suitable notions of acyclicity that ensure decidability.

cs.AI↗

Periodic Lp estimates by R-boundedness: Applications to the Navier-Stokes equations

General evolution equations in Banach spaces are investigated. Based on an operator-valued version of de Leeuw's transference principle, time-periodic $L^p$ estimates of maximal regularity type are established from $\mathscr{R}$-bounds of the family of solution operators ($\mathscr{R}$-solvers) to the corresponding resolvent problems. With this method, existence of time-periodic solutions to the Navier-Stokes equations is shown for two configurations: in a periodically moving bounded domain and in an exterior domain, subject to prescribed time-periodic forcing and boundary data.

math.AP↗

CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion

We present CQELS 2.0, the second version of Continuous Query Evaluation over Linked Streams. CQELS 2.0 is a platform-agnostic federated execution framework towards semantic stream fusion. In this version, we introduce a novel neural-symbolic stream reasoning component that enables specifying deep neural network (DNN) based data fusion pipelines via logic rules with learnable probabilistic degrees as weights. As a platform-agnostic framework, CQELS 2.0 can be implemented for devices with different hardware architectures (from embedded devices to cloud infrastructures). Moreover, this version also includes an adaptive federator that allows CQELS instances on different nodes in a network to coordinate their resources to distribute processing pipelines by delegating partial workloads to their peers via subscribing continuous queries

cs.DB↗

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Dealing with context dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which is rooted in description logics but links on the reasoning side strongly to logic programs and Answer Set Programming (ASP) in particular. The CKR framework caters for reasoning with defeasible axioms and exceptions in contexts, which was extended to knowledge inheritance across contexts in a coverage (specificity) hierarchy. However, the approach supports only this single type of contextual relation and the reasoning procedures work only for restricted hierarchies, due to non-trivial issues with model preference under exceptions. In this paper, we overcome these limitations and present a generalization of CKR hierarchies to multiple contextual relations, along with their interpretation of defeasible axioms and preference. To support reasoning, we use ASP with algebraic measures, which is a recent extension of ASP with weighted formulas over semirings that allows one to associate quantities with interpretations depending on the truth values of propositional atoms. Notably, we show that for a relevant fragment of CKR hierarchies with multiple contextual relations, query answering can be realized with the popular asprin framework. The algebraic measures approach is more powerful and enables e.g. reasoning with epistemic queries over CKRs, which opens interesting perspectives for the use of quantitative ASP extensions in other applications.

cs.AI↗

Weak-strong uniqueness and energy-variational solutions for a class of viscoelastoplastic fluid models

We study a model for a fluid showing viscoelastic and viscoplastic behavior, which describes the flow in terms of the fluid velocity and an internal stress. This stress tensor is transported via the Zaremba--Jaumann rate, and it is subject to two dissipation processes: one induced by a nonsmooth convex potential and one by stress diffusion. We show short-time existence of strong solutions as well as their uniqueness in a class of Leray--Hopf type weak solutions satisfying the tensorial component in the sense of an evolutionary variational inequality. The global-in-time existence of such generalized solutions has been established in a previous work. We further study the limit when stress diffusion vanishes. In this case, the above notion of generalized solutions is no longer suitable, and we introduce the concept of energy-variational solutions, which is based on an inequality for the relative energy. We derive general properties of energy-variational solutions and show their existence by passing to the non-diffusive limit in the relative energy inequality satisfied by generalized solutions for non-zero stress diffusion.

math.AP↗

Leray-Hopf solutions to a viscoelastoplastic fluid model with nonsmooth stress-strain relation

We consider a fluid model including viscoelastic and viscoplastic effects. The state is given by the fluid velocity and an internal stress tensor that is transported along the flow with the Zaremba-Jaumann derivative. Moreover, the stress tensor obeys a nonlinear and nonsmooth dissipation law as well as stress diffusion. We prove the existence of global-in-time weak solutions satisfying an energy inequality under general Dirichlet conditions for the velocity field and Neumann conditions for the stress tensor.

math.AP↗

On the Oseen-type resolvent problem associated with time-periodic flow past a rotating body

Consider the time-periodic flow of an incompressible viscous fluid past a body performing a rigid motion with non-zero translational and rotational velocity. We introduce a framework of homogeneous Sobolev spaces that renders the resolvent problem of the associated linear problem well posed on the whole imaginary axis. In contrast to the cases without translation or rotation, the resolvent estimates are merely uniform under additional restrictions, and the existence of time-periodic solutions depends on the ratio of the rotational velocity of the body motion to the angular velocity associated with the time period. Provided that this ratio is a rational number, time-periodic solutions to both the linear and, under suitable smallness conditions, the nonlinear problem can be established. If this ratio is irrational, a counterexample shows that in a special case there is no uniform resolvent estimate and solutions to the time-periodic linear problem do not exist.

math.AP↗

On the Stokes-type resolvent problem associated with time-periodic flow around a rotating obstacle

Consider the resolvent problem associated with the linearized viscous flow around a rotating body. Within a setting of classical Sobolev spaces, this problem is not well posed on the whole imaginary axis. Therefore, a framework of homogeneous Sobolev spaces is introduced where existence of a unique solution can be guaranteed for every purely imaginary resolvent parameter. For this purpose, the problem is reduced to an auxiliary problem, which is studied by means of Fourier analytic tools in a group setting. In the end, uniform resolvent estimates can be derived, which lead to the existence of solutions to the associated time-periodic linear problem.

math.AP↗