The counterexample in probabilistic model checking (PMC) is a set of paths in which a path formula holds, and their accumulated probability violates the probability bound. However, understanding the counterexample is not an easy task. In this paper we address the complementary task of counterexample generation, which is the counterexample analysis. We propose an aided-diagnostic method for prob...

We develop a formal account of complex group-level epistemic modalities in the situation calculus, with a particular focus on reasoning about common knowledge. Expressions involving common knowledge cannot be handled by standard regression techniques and are thus difficult to reason about effectively. Taking our cue from recent promising work in dynamic epistemic logic, we overcome this limitat...

the idea of this paper is designing an automatic fault detection system based on fuzzy logic, therefore two signals of pmsm in fault condition are analyzed for inter turn fault detection: current and torque. in this fault type there is some distortion in these signals, but it is not good enough to detecting with fuzzy logic solely, so with combination of wavelet transform and fcm a new method f...

Measurements that describe and summarize quantitative predictions relating to the classification of geological variables and samples derived from geochemical and geophysical data sets are important because of the large amount of information contained in such data. Methods considered in mineral resource quantitative prediction include quantification theory, which is able to deal with data includ...

Statistical relational AI (StarAI) aims at reasoning and learning in noisy domains described in terms of objects and relationships by combining probability with first-order logic. With huge advances in deep learning in the current years, combining deep networks with first-order logic has been the focus of several recent studies. Many of the existing attempts, however, only focus on relations an...

We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in the Reiter’s version of the situation ca...