This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and conditional independence in terms of factorization of the joint valuation. The definitions of independence and conditional independence in VBS generalize the correspon...

This paper introduces the nolions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and conditional independence in terms of factorization of the joint valuation. The definitions of independence and conditional independence in VBS generalize the correspon...

Epistemic uncertainties appear widely in civil engineering practice. There is a clear consensus that these epistemic uncertainties need to be taken into account for a realistic assessment of the performance and reliability of our structures and systems. However, there is no clearly defined procedure to meet this challenge. In this paper we discuss the phenomena that involve epistemic uncertaint...

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not s...

This study presents a method for constructing machine learning-based reduced order models (ROMs) that accurately simulate nonlinear contact problems while quantifying epistemic uncertainty. These purely non-intrusive ROMs significantly lower computational costs compared to traditional full (FOMs). The technique utilizes adversarial training combined with an ensemble of Barlow twins (BT-ROMs) ma...