We put forward an abstraction technique, based on a threevalue semantics, for the verification of epistemic properties of agents participating in a multi-agent system. First we introduce a three-value interpretation of epistemic logic, based on a notion of order defined on the information content of the local states of each agent. Then, we use the three-value semantics to introduce an abstracti...

this paper introduces an indirect adaptive fuzzy sliding mode controller as a power system stabilizer for damping local and inter-area modes of oscillations of multi-machine power systems. this controller is designed based on the combination of sliding mode controller and the fuzzy logic systems. the fuzzy systems are used to approximate the unknown functions of power system model. generator sp...

Probabilistic logic and uncertain logic, as two branches of the multi-valued logic, have been proposed for dealing with knowledge with random factors and with human uncertainty, respectively. As a generalization, this paper proposes an uncertain random logic to deal with complex knowledge containing random factors and human uncertainty simultaneously, and derives a formula to calculate the trut...

We construct several simple algebraic models of the multiplicative and multi-plicative-additive fragments of linear logic and demonstrate the value of such models by proving some unexpected proof-theoretical properties of these fragments .

MVSIS is a logic synthesis system, which enhances traditional binary logic synthesis with capabilities related to multi-value logic. This manual introduces the programming environment of MVSIS 2.0 and compares it with those of SIS 1.3 and VIS 1.4. The new data structures are described and the motivation behind them is explained. The goal is to help the reader with the general understanding of l...

Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of a goal w.r.t. a given program is done in two separate phases. During the operational one, admissible steps are systematically applied in a similar way to classical resolution steps in pure logic programming, thus returning a c...

The aim of this work is to provide a logical analysis of moral agency. Although this concept has been extensively studied in social philosophy and in social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All t...

ing from the temporal component that could come from any existing framework, the heart of STIT-style choice is a very simple S5 logic. A STIT choice scenario for a set of agents A is a tuple M = 〈W, {∼i}i∈A, V 〉, where W is a nonempty set, for each i ∈ A, ∼i is an equivalence relation on W (we write [w]i for the equivalence class of w under ∼i) and V is a valuation function. We focus on two age...