Some modal decision logic languages are proposed for knowledge representation in data mining through the notions of models and satis£ability. The models are collections of data tables consisting of a £nite set of objects described by a £nite set of attributes. Some relationships may exist between data tables in a collection and the modalities of our languages are interpreted with respect to the...

Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic extend first-orderlogic. We will define a fuzzy counterpart of the RDF Model Theory for RDF (section 2) and RDF Schema (section 3). Last, we show how to implement the extended semantics in inference rules (section 4).

For an effective and efficient information search of databases, various issues should be solved. A very important one, though still usually neglected by traditional database management systems, is related to a proper representation of user preferences and intentions, and then their representation in querying languages. In many scenarios, they are not clear-cut, and often have their original for...

Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...

A major issue in Lagrangian relaxation for integer programming problems is to maximize the dual function which is piece-wise linear, and consists of many facets. Available methods include the subgradient method, the bundle method, and the recently developed surrogate subgradient method. Each of the above methods, however, has its own limitations. Based on the insights obtained from these method...

In this paper, we study fuzzy substructures in connection withHv-structures. The original idea comes from geometry, especially from thetwo dimensional Euclidean vector space. Using parameters, we obtain a largenumber of hyperstructures of the group-like or ring-like types. We connect,also, the mentioned hyperstructures with the theta-operations to obtain morestrict hyperstructures, as Hv-groups...

Bilinguals’ need to monitor and inhibit non-relevant languages over a relevant one confers advantage in cognitive control. No studies have demonstrated that the dual-language control process directly contributes to the bilingual cognitive advantage. We utilized a novel language control manipulation paradigm where 83 English-Chinese bilingual adults completed a reading and comprehension task in ...

Dubois. D. , Prade. H. 1980. Fuzzy Sets and Systems. Mathematics in Science and Engineering, Academic Press, New York, 144. Jun. Y. B. , Kavikumar. J. 2011. Bipolar Fuzzy Finite State Machines. Bull. Malays. Sci. Soc. 34 no. 1: 181-188. Kandel. A. , Lee. S. C. Fuzzy Switching and Automata Theory Applications. Edward Arnold Publishers Ltd, London. Lee. K. J. 2000. Bipolar-valued fuzzy sets and t...

Following the guidelines proposed by Hájek in [1], some proposals of research on Fuzzy Description Logics (FDLs) were given in [2]. One of them consists in the definition and development of a family of description languages, each one having as underlying fuzzy logic the expansion with an involutive negation and truth constants of the logic defined by a divisible finite t-norm. A general framewo...