Traditionally, modal analysis has been the purview of the expert. However, as the technology has matured, analysis is increasingly being performed by less experienced engineers or technicians. To address this development, software solutions are frequently focusing upon either wizard-based or autonomous/semiautonomous approaches. In this paper, sev eral techniques applicable to either approach a...

This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming language, the beliefs of agents are implemented by modal logic programs, where beliefs are represented by explicit modal operators. A distinction is made between a belief base language that can be used to represent an agent’s ...

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in th...

this study contains the identification of modal dynamic properties of a 3-story large-scale steel test frame structure through shaking table measurements. shaking table test is carried out to estimate the modal properties of the test frame such as natural frequencies, damping ratios and mode shapes. among many different model structures, arx (auto recursive exogenous) model structure is used fo...

We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic theories (including theories with over 1 million rules). The implementation covers both the standard and modal extensions to defeasible logics. It can be used as a standalone theory prover and can be embedded into any a...

MCS provide a flexible, principled account of integrating heterogeneous knowledge sources, a task that is becoming more and more relevant. By a knowledge source we mean a knowledge base (KB) formulated in any of the typical knowledge representation languages, including classical logic, description logics, modal or temporal logics, but also nonmonotonic formalisms like logic programs under answe...

In this paper we prove some stochastic comparisons results for progressive type II censored order statistics. The problem of stochastically comparing concomitants of the two progressive type II censored order statistics with possibly different schemes, under different kinds of dependence between X and Y is considered and it is proved that if Y is stochastically increasing (decreasing) in X, ...