Granularity via properties: the logical approach
نویسنده
چکیده
The paper introduces a theory of granular computing based on formal theory of fuzzy logic in narrow sense with evaluated syntax.
منابع مشابه
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
This paper presents the semantics of TRIO*, an object oriented language devoted to specify realtime systems referring to different time granularities. Time granularity allows to describe the behavior and the properties of a system and its environment with respect to different time scales. TRIO* semantics is expressed by translation into a logical framework supporting the notion of time granular...
متن کاملAn Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
Statistical model checking avoids the intractable growth of states associated with numerical model checking by estimating the probability of a property from simulations. Rare properties pose a challenge because the relative error of the estimate is unbounded. In [13] we describe how importance splitting may be used with SMC to overcome this problem. The basic idea is to decompose a logical prop...
متن کاملtaDOM: A Tailored Synchronization Concept with Tunable Lock Granularity for the DOM API
Storing, querying, and updating XML documents in multi-user environments requires data processing guarded by a transactional context to assure the well-known ACID properties, particularly with regard to isolate concurrent transactions. In this paper, we introduce the taDOM tree, an extended data model which considers organization of both attribute nodes and node values in a new way and allows f...
متن کاملA Logical Approach to Represent and Reason about Calendars
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we intensively model sets of granularities with linear time logic formulas. Some real-world granu...
متن کاملThe theory of observation Logico-historical philosophy of as a transformative theory of sciences
Innovation and evolution in sciences needs to its own logical methodology. This paper, considering the necessity of evolution in sciences, has intended to establish a theory called the theory of observation. It would be counted as a model for the philosophies of with a logico-historical approach. Following the purpose, the author has explained technical terms such as research method, theory,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001