In this paper, we propose an eecient and reliable method to deal with integrity constraints in a persistent object system. First we provide the application programmer with the ability to express integrity constraints but we also give him the possibility to use high level language constructs to help him in writing safe transactions. The goal of our approach is to avoid the (run time) checking of...

The aim of this paper is to compare first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methods. First, we define five properties of knowledge; conceptualization, transfer, modification, integration and decomposition. We also evaluate first order predicate logic, fuzzy logic and non-monotonic logic for the above properties, in the view of accuracy, compl...

In this paper, we propose an eecient and reliable method to deal with integrity constraints in a persistent object system. First we provide the application programmer with the ability to express integrity constraints but we also give him the possibility to use high level language constructs to help him in writing safe transactions. The goal of our approach is to avoid the (run time) checking of...

-Based on the fuzzy set theory, this study introduces three novel three-phase fuzzy feeder models for fast distribution system calculations. These fuzzy models are formulated using three lumped individual phase loads to represent single-phase, three-phase unbalanced, and nonuniformly distributed loads along a feeder. The proposed voltage-drop and line-loss fuzzy models are developed to accurate...

Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of P. Hájek and P. Cintula (Conjectures 1 and 2 of [HaCi06]). We investigate also the properties of elementary extensions in witnesse...

We present a fuzzy (or quantitative) version of the van Benthem theorem, which characterizes propositional modal logic as the bisimulation-invariant fragment of first-order logic. Specifically, we consider a first-order fuzzy predicate logic alongwith its modal fragment, and show that the fuzzy first-order formulas that are non-expansive w.r.t. the natural notion of bisimulation distance are ex...

In this paper, we present the interval neutrosophic logics which generalizes the fuzzy logic, paraconsistent logic, intuitionistic fuzzy logic and many other non-classical and non-standard logics. We will give the formal definition of interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. Then we give one application of interval neutrosophic logics to do appr...

Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable...

To My lovely wife, Tong Wang And my to-be-born baby girl, Lucia Wang i ABSTRACT This dissertation is a systematic study of artificial intelligence (AI) applications for the diagnosis of power transformer incipient fault. The AI techniques include artificial neural networks (ANN, or briefly neural networks-NN), expert systems, fuzzy systems and multivariate regression. The fault diagnosis is bas...