Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
From rough sets to rough knowledge bases
Vitória A., Damásio C., Maluszyński J. Fundamenta Informaticae57 (2-4):215-246,2003.Type:Article
Date Reviewed: Jul 8 2004

A language for knowledge representation with vague concepts is introduced in this paper, based on the formalism of rough sets, and a semantics borrowed from the logic programming community, namely, paraconsistent stable models of extended logic programs.

The translation of a rough program into an EP is made by two transformations that capture the essence of upper and lower approximations, in terms of literals with both the explicit and the default negation.

The paper is self-contained, including the basics of rough sets and logic programming needed to understand its main results. Regarding the overall contribution of the paper, it is a substantially extended version of a conference paper by the authors; specifically, a completely new semantics has been introduced. A set of examples, adequately chosen, help the reader to grasp the definitions introduced.

The section of application examples demonstrates that some useful techniques introduced previously in an ad hoc way are naturally expressible in the proposed language, an important feature of the paper.

My overall impression of this work is very positive; the connection shown between rough sets and extended logic programs is certainly promising.

Reviewer:  Manuel Ojeda Aciego Review #: CR129866 (0501-0102)
Bookmark and Share
  Reviewer Selected
 
 
Uncertainty, “Fuzzy,” And Probabilistic Reasoning (I.2.3 ... )
 
 
Fuzzy Set (I.5.1 ... )
 
 
Logic Programming (I.2.3 ... )
 
 
Deduction And Theorem Proving (I.2.3 )
 
 
Models (I.5.1 )
 
Would you recommend this review?
yes
no
Other reviews under "Uncertainty, “Fuzzy,” And Probabilistic Reasoning": Date
Bayesian and non-Bayesian evidential updating
Henry E. J. Artificial Intelligence 31(3): 271-293, 1987. Type: Article
Sep 1 1988
Probabilistic inference by linear optimization
Blake A., John Wiley & Sons, Inc., New York, NY, 1986. Type: Book (9780471911753)
Aug 1 1988
Probabilistic reasoning in intelligent systems: networks of plausible inference
Pearl J., Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988. Type: Book (9780934613736)
Jun 1 1989
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy