59,075 Hits in 5.2 sec

Paraconsistent Logic Programs with Four-Valued Rough Sets [chapter]

Jan Małuszyński, Andrzej Szałas, Aida Vitória
2008 Lecture Notes in Computer Science  
This paper presents a language for defining four-valued rough sets and to reason about them. Our framework brings together two major fields: rough sets and paraconsistent logic programming.  ...  On the one hand it provides a paraconsistent approach, based on four-valued rough sets, for integrating knowledge from different sources and reasoning in the presence of inconsistencies.  ...  Our framework relates and brings together two major fields: rough sets [8] and paraconsistent logic programming [3] .  ... 
doi:10.1007/978-3-540-88425-5_5 fatcat:g4mkxinvmfdqdgxyk2tqopzsgm

Page 4740 of Mathematical Reviews Vol. , Issue 94h [page]

1994 Mathematical Reviews  
(371-380); Wojciech Ziarko, Analysis of uncertain information in the framework of variable precision rough sets (381-396).  ...  Contents: Zdzistaw Pawlak, Rough sets. Present state and the future (157-166); Mohua Banerjee and M. K. Chakraborty, A cat- egory for rough sets (167-180); Michal R. Chmielewski, Jerzy W.  ... 

Page 19 of Mathematical Reviews Vol. , Issue 98A [page]

1998 Mathematical Reviews  
The basic framework for these considerations is Pawlak’s rough set methodology. A multi-modal logical language for relative similari- ties is presented.  ...  The idea of rough logic based on Pawlak’s rough set concept uses the Kripke models for the modal system S5.  ... 

Page 9260 of Mathematical Reviews Vol. , Issue 2001M [page]

2001 Mathematical Reviews  
This article introduces a framework for manipulating fuzzy types and shows how this can be applied to fuzzy logic program- ming.  ...  “In this framework we introduce rough mereology and we pre- sent some ways for defining rough inclusions.  ... 

A Framework for Reasoning with Rough Sets [chapter]

Aida Vitória
2005 Lecture Notes in Computer Science  
Rough sets framework has two appealing aspects. First, it is a mathematical approach to deal with vague concepts.  ...  This thesis 1 proposes a language that caters for implicit definitions of rough sets obtained by combining different regions of other rough sets.  ...  The This Reduct of a logic program and reduct of a decision table (commonly used in the rough set framework) are two independent notions.  ... 
doi:10.1007/11574798_10 fatcat:lrk7y3nwe5hhlg3y3pkfkalg34

Page 5955 of Mathematical Reviews Vol. , Issue 97J [page]

1997 Mathematical Reviews  
Each observable world represents a different rough observation of the actual world. Rough logic also provides a framework for approximation.  ...  |Lin, Tsau Young] (1-SJS; San Jose, CA); Liu, Qing (PRC-NCH-C; Nanchang) First-order rough logic. 1. Approximate reasoning via rough sets. (English summary) Rough sets ( Banff, AB, 1993). Fund.  ... 

Defining Rough Sets by Extended Logic Programs [article]

Jan Małuszyński, Aida Vitória (Linköping University, Sweden)
2002 arXiv   pre-print
We show how definite extended logic programs can be used for defining and reasoning with rough sets. Moreover, a rough-set-specific query language is presented and an answering algorithm is outlined.  ...  Thus, we not only show a possible application of a paraconsistent logic to the field of rough sets as we also establish a link between rough set theory and logic programming, making possible transfer of  ...  This gives a basis for efficient implementation of rough sets in logic programming. Since mid-eighties rough sets have been a subject of intensive research.  ... 
arXiv:cs/0207089v1 fatcat:ektd2jxajnffjo2yzbifwmwii4


RK Dhuware, SR Pande, SJ Sharma
2018 International Journal of Advanced Research  
Discovery and Data Mining:-KDD focuses on the overall process of knowledge discovery from large volumes of data, including the storage and accessing of such data, scaling of algorithms to massive data sets  ...  Fuzzy sets provide a natural framework for the process in dealing with uncertainty. Neural networks and Rough sets are widely used for classification and rule generation.  ...  Rough Sets in Data Mining:- The main goal of rough sets is induction of approximation of concepts rough sets constitutes a sound basis for KDD.  ... 
doi:10.21474/ijar01/6834 fatcat:ez3i6rcihrgbjnkbpe7he6dbwq

A class of multiobjective linear programming models with random rough coefficients

Jiuping Xu, Liming Yao
2009 Mathematical and computer modelling  
Furthermore, combined with the techniques of random rough simulation, a genetic algorithm using the compromise approach is designed for solving a random rough multiobjective programming problem.  ...  In the present paper, we concentrate on dealing with a class of multiobjective programming problems with random rough coefficients.  ...  Preliminaries People have used algebraic, topological, logical and constructive methods to study rough sets and try to formulate axiomatic systems for classical rough sets from different viewpoints [5  ... 
doi:10.1016/j.mcm.2008.01.003 fatcat:lsa6vmq7rvfebn7edjdac5mlam

Page 6222 of Mathematical Reviews Vol. , Issue 95j [page]

1995 Mathematical Reviews  
Summary: “A rough classifier inspired by concepts of rough set theory is defined. A method of rough classifier generation in the case of continuous condition attributes is presented.  ...  The paper sets a general framework in which concrete theorem provers can be embedded and their refutational completeness can be verified. Sergey G.  ... 

Page 2196 of Mathematical Reviews Vol. , Issue 2000c [page]

2000 Mathematical Reviews  
Kent, Soft concept analysis (215-230); Torulf Mollestad and Jan Komorowski, A rough set framework for mining propositional default rules (233- 262); Germano Lambert-Torres, Ronaldo Rossi, José Antdénio  ...  Furthermore, the proposed domain-based framework refers to the paradigm of Belnap’s 4-valued logics, but may be extended to include domains for consistency knowledge bases.  ... 

Interval/Probabilistic Uncertainty: Editorial

Van-Nam Huynh, Vladik Kreinovich
2009 International Journal of Approximate Reasoning  
j o u r n a l h o m e p a g e : w w w . e l s e v i e r . c o m / l o c a t e / i j a r deduction and abduction become valid reasoning processes, and induction becomes a valid reasoning process of generalization  ...  Acknowledgements We would like to take this opportunity to thank the Japan Advanced Institute of Science and Technology and the program committee for their support and help in making the UncLog'08 a successful  ...  We would also like to thank all the authors of submitted papers for their efforts and contributions, and the referees for their careful reviews of the papers.  ... 
doi:10.1016/j.ijar.2009.06.005 fatcat:bihovycihvasnnpyqzcch2o7yi

Page 4915 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
ilt ce ut as ity es ) gic pn- 1) p- ies to ult am 4915 68T Artificial intelligence clauses as defaults we obtain two different notions of answer sets for disjunctive logic programs (rational answer sets  ...  Both concepts generalize the notion of a sta- ble model of a logic program, but are different from the answer sets of Gelfond and Lifschitz.”  ... 

Dominance-Based Rough Set Approach and Bipolar Abstract Rough Approximation Spaces [chapter]

Salvatore Greco, Benedetto Matarazzo, Roman Słowiński
2008 Lecture Notes in Computer Science  
Approximations of Dominance- Based Rough Sets by Bit-Vector Encodings Chien-Chung Chan, Gwo-Hshiung Tzeng • A Framework for Multiagent Mobile Robotics: Spatial Reasoning Based on Rough Mereology  ...  Greco, Benedetto Matarazzo, Roman Słowinski • Paraconsistent Logic Programs with Four- Valued Rough Sets Jan Małuszynski, Andrzej Szałas, Aida Vitória • An Equivalent Definition of Rough Sets  ... 
doi:10.1007/978-3-540-88425-5_4 fatcat:xcbqwqavsrdfvdkdqflgwhaqj4

Page 4585 of Mathematical Reviews Vol. , Issue 98G [page]

1998 Mathematical Reviews  
(English summary) Rough sets (Banff, AB, 1993). Fund. Inform. 27 (1996), no. 2-3, 197-203.  ...  2) there exists a mapping between logic tactics and the tactics devel- oped as programs within the GETFOL theorem prover (we call these tactics ‘program tactics’).  ... 
« Previous Showing results 1 — 15 out of 59,075 results