We propose a new definition of Representation theorem for many-valued modal logics, based on a complete latice of algebraic truth values, and define the stronger relationship between algebraic models of a given logic L and relational structures used to define the Kripke possible-world semantics for L. Such a new framework offers clear semantics for the satisfaction algebraic relation, based on ...

Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the systems and the Kripke model structure of models for the logic. Examining one of the simpler versions of these models, interpreted systems, and the related Kripke semantics of the logic S5n (an epistemic logic with n-ag...

in this paper, we introduce a takagi-sugeno (ts) fuzzy model which is derived from a typical multi-layer perceptron neural network (mlp nn). at first, it is shown that the considered mlp nn can be interpreted as a variety of ts fuzzy model. it is discussed that the utilized membership function (mf) in such ts fuzzy model, despite its flexible structure, has some major restrictions. after modify...

This thesis presents efficient parallel algorithms for checking temporal logic formulas over finite paths and trees. We show that LTL path checking is in AC(logDCFL) and CTL tree checking is in AC(logDCFL). For LTL with pasttime and bounded modalities, which is an exponentially more succinct logic, we show that the path checking problem remains in AC(logDCFL). Our results provide a foundation f...

this study is an investigation of fuzzy linear regression model for crisp/fuzzy input and fuzzy output data. a least absolutes deviations approach to construct such a model is developed by introducing and applying a new metric on the space of fuzzy numbers. the proposed approach, which can deal with both symmetric and non-symmetric fuzzy observations, is compared with several existing models by...