Extended Vector Annotated Logic Program With Strong Negation Research Articles

The development of paraconsistent annotated logic programs

We have developed paraconsistent annotated logic programs called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN) and applied it to various intelligent control and safety verification. We have also developed EVALPSN to deal with before-after (bf) relation between time intervals and applied it to process order control. The developed EVALPSN is called bf-EVALPSN. In this paper, we review the process of the development of EVALPSN and bf EVALPSN and introduce the details of EVALPSN defeasible deontic reasoning.

Special Issue on Rough Sets and Granular Computing

Rough sets and granular computing, known as new methodologies for computing technology, are now attracting great interest of researchers. This special issue presents 12 articles, and most of them were presented at the second Japanese workshop on Rough Sets held at Kyushu Institute of Technology in Tobata, Kitakyushu, Japan, on August 17-18, 2005. The first article studies the relation between rough set theory and formal concept analysis. These two frameworks are analyzed and connected by using the method of morphism. The second article introduces object-oriented paradigm into rough set theory, and object-oriented rough set models are proposed. Theoretical aspects of these new models are also examined. The third article considers relations between generalized rough sets, topologies and modal logics, and some topological properties of rough sets induced by equivalence relations are presented. The fourth article focuses on a family of polymodal systems, and theoretical aspects of these systems, like the completeness, are investigated. By means of combining polymodal logic concept and rough set theory, a new framework named multi-rough sets is established. The fifth article focuses on the information incompleteness in fuzzy relational models, and a generalized possibility-based fuzzy relational model is proposed. The sixth article presents a developed software EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) and the application of this software to pipeline valve control. The seventh article presents the properties of attribute reduction in variable precision rough set models. Ten kinds of meaningful reducts are newly proposed, and hierarchical relations in these reducts are examined. The eighth article proposes attribute-value reduction for Kansei analysis using information granulation, and illustrative results for some databases in UCI Machine Learning Repository are presented. The ninth article investigates cluster analysis for data with errors tolerance. Two new clustering algorithms, which are based on the entropy regularized fuzzy c-means, are proposed. The tenth article applies binary decision trees to handwritten Japanese Kanji recognition. The consideration to the experimental results of real Kanji data is also presented. The eleventh article applies a rough sets based method to analysing the character of the screen-design in every web site. The obtained character gives us good knowledge to generate a new web site. The last article focuses on rule generation in non-deterministic information systems. For generating minimal certain rules, discernibility functions are introduced. A new algorithm is also proposed for handling every discernibility function. Finally, we would like to acknowledge all the authors for their efforts and contributions. We are very grateful to reviewers for their thorough and on-time reviews, too. We are also grateful to Prof. Toshio Fukuda and Prof. Kaoru Hirota, Editors-in-Chief of JACIII, for inviting us to serve as Guest Editors of this Journal, and to Mr. Uchino and Mr. Ohmori of Fuji Technology Press for their kind assistance in publication of this special issue.