|
|
|
| Semantic Analyses for Formulas in Rough Logic and Reasoning Study Based on the Semantic Analysis |
| YAN Lin , WANG QuanRui , LIU Yan |
| Key Laboratory for Intelligent Information Processing, College of Computer and Information Technology, Henan Normal University, Xinxiang 453007 |
|
|
|
|
Abstract In the first place, a discussion is made to construct a kind of formulas called nary formulas in an approximate space of rough set theory. These formulas are an expansion of the formulas in Pawlak rough logic, so that the domains of the nary formulas are extended from subsets of U to subsets of Un(=U×U×…×U) . Then based on Pawlak rough logic, five logical values are efined for the nary formulas, and through these logical value operations the study about rough logical reasoning in semantics is discussed. Some properties indicate that some forms of logical reasoning in classical logic are also true in rough logic for some rough logical values. However, because 5value rough logic is different from classical 2value logic, some new properties are naturally obtained.
|
|
Received: 28 July 2005
|
|
|
|
|
|
[1] Skowron A. Rough Concept Logic. In: Skowron A, ed. Lecture Notes in Computer Science,1985, 208: 288-297
[2] Rasiawa H, Skowron A. Approximation Logic. In: Proc of the 31st Mathematical Methods of Specification and Synthesis of Systems Conference. Berlin, Germany: Akadermie Verlag, 1985, 123-139
[3] Liu Q, Huang Z H. G-Logic and Its Resolution Reasoning. Chinese Journal of Computers, 2004, 27(7): 865-873 (in Chinese)
(刘 清,黄兆华.G-逻辑及其归结推理.计算机学报, 2004, 27(7): 865-873)
[4] Pawlak Z. Rough Set─Theoretical Aspects of Reasoning about Data. Boston, USA: Kluwer Academic Publishers, 1991
[5] Liu Q. Neighborhood Logic and Its Data Reasoning on Neighborhood-Valued Information Table. Chinese Journal of Computers, 2001, 24(4): 405-410 (in Chinese)
(刘 清.邻域值信息表上的邻域逻辑及其数据推理.计算机学报, 2001, 24(4): 405-410)
[6] Yan L. Semantic Study and Application of Rough Logic in a Kind of Special Formulas on Approximate Space. Computer Engineering and Applications, 2004, 40(25): 84-87 (in Chinese)
(闫 林.粗糙逻辑在近似空间一类特殊公式下的语义研究及应用.计算机工程与应用, 2004, 40(25): 84-87)
[7] Pawlak Z. Rough Logic. Bulletin of Polish Academy of Sciences: Technical Sciences, 1987, 35(5-6): 253-258
[8] Pawlak Z. Rough Sets. International Journal of Computer and Information Sciences, 1982, 11(5): 341-356
[9] Liu Q, Liu S H, Zheng F. Rough Logic and Its Applications in Data Reduction. Journal of Software, 2001, 12(3): 415-419 (in Chinese)
(刘 清,刘少辉,郑 非.Rough 逻辑及其在数据约简中的应用.软件学报, 2001, 12(3): 415-419) |
|
|
|
2006, Vol. 19 
