Granular Language and Its Applications in Problem Solving
Problem solving in AI points out that a global problem is decomposed into several locals, until into elementary sub-problems solved directly. Subsequently, the solutions of various sub-problems are amalgamated into an answer of the global problem. The solving problem in practice is represented by a logical formula, and then the formula is decomposed into several sub-formulas, until into propositions or predicates. The solutions of these sub-formulas are amalgamated into an answer of the global formula. If the formula is described as a granulation, then it will be collapsed into several sub-granules. So, the collapsing algorithm and rules of amalgamating will be defined. In order to realizing the idea in above, a granular language and its calculus will be discussed.
KeywordsDecompose Amalgamation Granules Problem solving Granular Language
Unable to display preview. Download preview PDF.
- 1.Hobbs, J.R.: Granularity. In: Proc.of IJCAI, Los Angeles (1985)Google Scholar
- 2.Pawlak, Z.: Rough Set-Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)Google Scholar
- 3.Skowron, A., Stepaniuk, J., Peters, J.F.: Extracting Patterns Using Information Granules. In: Proceedings of RSTGC 2001,Bulletin of International Rough Set Society, May 20-22, vol. 5(1/2) (2001)Google Scholar
- 4.Liu, Q., Liu, Q.: Approximate Reasoning Based on Granular Computing in Granular Logic. In: The Proceedings of ICMLS 2002, November 4-6, IEEE, Los Alamitos (2002)Google Scholar
- 5.Liu, Q., Huang, Z.H.: G-Logic and its Resolution Reasoning. Chinese Journal of Computer (in Chinese) (accepted)Google Scholar
- 6.Lin, T.Y., Liu, Q.: First order Rough Logic I: Approximate Reasoning via Rough Sets. Fundamenta Informaticae 27(2-3) (August 1996)Google Scholar
- 7.Liu, Q., Jiang, F., Deng, D.Y.: Design and Implement for the Diagnosis Software of Blood Viscosity Syndrome Based on Hemorheology Based on GrC. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol. 2639, Springer, Heidelberg (2003)Google Scholar