The Community for Technology Leaders
RSS Icon
Issue No.06 - November/December (2008 vol.23)
pp: 26-32
Xiao-shan Gao , Chinese Academy of Sciences
Dan-tong Ouyang , Jilin University
Ji-gui Sun , Jilin University
San-jiang Li , Tsinghua University
Tian-shun Yao , Northeastern University, China
Ru-zhan Lu , Shanghai Jiao Tong University
Chun-yi Shi , Tsinghua University
Zhan-gang Han , Beijing Normal University
Jue Wang , Chinese Academy of Sciences
Cun-gen Cao , Chinese Academy of Sciences
Ruqian Lu , Chinese Academy of Sciences
This article consists of nine short essays discussing research pursued by AI researchers in China and their perspectives on research in several AI subareas. The article first introduces the mechanization of mathematics, an area in which Chinese scientists have made significant contributions. It then discusses research in automated reasoning, temporal and spatial knowledge representation and reasoning, natural language understanding, intelligent diagnosis, multiagent systems, computational intelligence, large-scale knowledge processing, and several research streams integrating AI techniques with methods from other fields. Finally, the article makes suggestions concerning future AI research in China.
artificial intelligence, China, mechanization of mathematics, automated reasoning, temporal knowledge, spatial knowledge, representation, reasoning, natural language understanding, intelligent diagnosis, multiagent systems, computational intelligence, large-scale knowledge processing
Xiao-shan Gao, Dan-tong Ouyang, Ji-gui Sun, San-jiang Li, Tian-shun Yao, Ru-zhan Lu, Chun-yi Shi, Zhan-gang Han, Jue Wang, Cun-gen Cao, Ruqian Lu, "AI in China: A Survey", IEEE Intelligent Systems, vol.23, no. 6, pp. 26-32, November/December 2008, doi:10.1109/MIS.2008.97
1. H. Li, "A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford Factorization," Proc. 2007 Int'l Symp. Symbolic and Algebraic Computation (ISSAC 07), 2007, pp. 261–268.
2. X.S. Gao et al., "Characteristic Set Method for Differential-Difference Polynomial Systems," Proc. Effective Methods in Algebraic Geometry (MEGA 07), 2007.
3. Z. Li et al., "A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules," Proc. 2006 Int'l Symp. Symbolic and Algebraic Computation, ACM Press, 2006.
4. X. Gao and D. Lei, "Generalized Stewart Platforms and Their Direct Kinematics," IEEE Trans. Robotics, vol. 21, 2005, pp. 141–151.
5. J.A. Robinson and A. Voronkov, Handbook of Automated Reasoning, Elsevier, 2001.
6. D. Kapur, "Geometry Theorem Proving Using Hilbert's Nullstellensatz," Proc. 5th ACM Symp. Symbolic and Algebraic Computation, ACM Press, 1986.
7. H. Li, J.G. Sun, and Y.M. Zhang, "Theorem Proving Based on the Extension Rule," J. Automated Reasoning, vol. 31, no. 1, 2003, pp. 11–21.
8. N.V. Murray and E. Rosenthal, "Duality in Knowledge Compilation Techniques," Proc. Int'l Symp. Methodologies for Intelligent Systems, LNCS 3488, Springer, 2005, pp. 182–190.
9. J.F. Allen, "Maintaining Knowledge about Temporal Intervals," Comm. ACM, vol. 26, no. 11, 1983, pp. 832–843.
10. D.A. Randell and A.G. Cohn, "Modeling Topological and Metrical Properties of Physical Processes," Proc. 1st Int'l Conf. Principles of Knowledge Representation and Reasoning (KRR 89), 1989, pp. 55–66.
11. M.J. Egenhofer, "Reasoning about Binary Topological Relations," Proc. 2nd Int'l Symp. Advances in Spatial Databases, Springer, 1991.
12. J. Chen et al., "A Voronoi-Based 9-Intersection Model for Spatial Relations," Int'l J. Geographical Information Science, vol. 15, no. 3, 2001, pp. 201–220.
13. Y. Liu et al., "On Internal Cardinal Direction Relations," Proc. 2005 Int'l Conf. Spatial Information Theory (COSIT 05), 2005, pp. 283–299.
14. S. Li and M. Ying, "Generalized Region Connection Calculus," Artificial Intelligence, vol. 160, nos. 1–2, 2004, pp. 1–34.
15. S. Li and B. Nebel, "Qualitative Spatial Representation and Reasoning: A Hierarchical Approach," Computer J., vol. 50, no. 4, 2007, pp. 391–402.
16. S. Li, "A Complete Classification of Topological Relations Using 9-Intersection Method," Int'l J. Geographical Information Science, 2006, vol. 20, no. 6, pp. 589–610.
17. S. Li and M. Ying, "Region Connection Calculus: Its Models and Composition Table," Artificial Intelligence, vol. 145, nos. 1–2, 2003, pp. 121–146.
18. S. Li and M. Ying, "Extensionality of the RCC8 Composition Table," Fundamental Informatics, vol. 55, nos. 3–4, 2003, pp. 363–385.
19. S. Li and H. Wang, "RCC8 Binary Constraint Network Can Be Consistently Extended," Artificial Intelligence, vol. 170, no. 1, 2006, pp. 1–18.
20. J. Renz and B. Nebel, "On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus," Artificial Intelligence, vol. 108, 1999, pp. 69–123.
21. X.T. Zhang et al., "Reasoning with Cardinal Directions: An Efficient Algorithm," Proc. 23rd AAAI Conf. Artificial Intelligence (AAAI 08), AAAI Press, 2008.
22. R.K. Goyal and M.J. Egenhofer, "Similarity of Cardinal Directions," Proc. 7th Int'l Symp. Advances in Spatial and Temporal Databases (SSTD 01), LNCS 2121, Springer, 2001, pp. 36–58.
23. S. Li, "Combining Topological and Directional Information for Spatial Reasoning," Proc. 2007 Int'l Joint Conf. Artificial Intelligence (IJCAI 07), AAAI Press, 2007, pp. 435–440.
24. S.S. Wang et al., "Integrating Multi-aspect Information for Qualitative Spatial Reasoning and Application," J. Software, vol. 14, no. 11, 2003, pp. 1857–1862.
25. S.H. Du et al., "Reasoning about Topological Relations between Regions with Broad Boundaries," Int'l J. Approximate Reasoning, vol. 47, no. 2, 2008, pp. 219–232.
26. Y.M. Li and S.J. Li, "A Fuzzy Sets Theoretic Approach to Approximate Spatial Reasoning," IEEE Trans. Fuzzy Systems, vol. 12, no. 6, 2004, pp. 745–754.
27. Q.Y. Yu, D.Y. Liu, and J.H. Ouyang, "Topological Relations Model of Fuzzy Regions Based on Interval Valued Fuzzy Sets," Acta Electronica Sinica, vol. 33, no. 1, 2005, pp. 186–189.
28. S.Y. Guo preface, Tongyici Cilin, Shanghai Lexicographical Publishing House, 1996.
29. Z.D. Dong and Q. Dong, HowNet and the Computation of Meaning, World Scientific, 2006.
30. R.Z. Lu and G.J. Jin, "A New Perspective on the Study of Modern Chinese" (in Chinese), Applied Linguistics, vol. 2, 2004, pp. 93–98.
31. R.Z. Lu, "A New Idea—Conception Based Chinese Information Retrieval," Proc. 2nd China-Japan Natural Language Processing Joint Research Promotion Conf., 2006.
32. W. Bin et al., "TREC-10 Experiments at CAS-ICT: Filtering, Web, and QA," Proc. 10th Text Retrieval Conf. (TREC 10), 2001.
33. L.D. Wu et al., "FDUQA on TREC 2005 QA Track," Proc. 14th Text Retrieval Conf. (TREC 14), 2005.
34. Z.Y. Huang, "Outline of HNC Theory," J. Chinese Information Processing, vol. 4, 1997.
35. W. Hamscher, J.D. Kleer, and L. Console, Readings in Model-Based Diagnosis, Morgan Kaufmann, 1992.
36. P. Struss, "Knowledge-Based Diagnosis: An Important Challenge and Touchstone for AI," Proc. 10th European Conf. Artificial Intelligence, John Wiley &Sons, 1992.
37. L. Console and O. Dressler, "Model-Based Diagnosis in the Real World: Lessons Learned and Challenges Remaining," Proc. 16th Int'l Joint Conf. Artificial Intelligence, Morgan Kaufmann, 1999.
38. N.R. Jennings, "On Agent-Based Software Engineering," Artificial Intelligence, vol. 117, no. 2, 2000, pp. 277–296.
39. N.R. Jennings, "An Agent-Based Approach for Building Complex Software Systems," Comm. ACM, vol. 44, no. 4, 2001, pp. 35–41.
40. A.S. Rao and M.P. Georgeff, "BDI Agents: From Theory to Practice," Proc. 1st Int'l Conf. Multi-agent Systems (ICMAS 95), 1995, pp. 312–319.
41. S. Hu and C. Shi, "A Semantic Interpretation for Agent's Non-normal Model Operators," J. Computer Research and Development, vol. 36, no. 10, 1999, pp. 1153–1157.
42. S. Hu and C. Shi, "An Intention Model for Agent," J. Software, vol. 11, no. 7, 2000, pp. 965–970.
43. S. Hu and C. Shi, "Agent-BDI Logic," J. Software, vol. 11, no. 10, 2000, pp. 1353–1360.
44. G. Ma, J. Xu, and C. Shi, "Modeling Social Agents in BDO Logic," Chinese J. Computers, vol. 24, no. 5, 2001, pp. 521–528.
45. X. Zhang and C. Shi, "A Dynamic Formation Algorithm of Multi-agent Coalition Structure," J. Software, vol. 18, no. 3, 2007, pp. 574–581.
46. W. Zhang and C. Shi, "Agent Organization Commitment and Group Commitment," J. Software, vol. 14, no. 3, 2003, pp. 473–478.
47. X. Tong et al., "General Hierarchical Framework of Agent in MAS Environment Based on UML," J. Southwest Jiaotong Univ., vol. 41, no. 2, 2006, pp. 143–149.
48. L. Wang, Y. Zhang, and Y. Wu, "Key Techniques to Realize Cooperation of Mobile Agent in MAS Environment," J. UEST of China, vol. 32, no. 2, 2003, pp. 158–163.
49. J. Peng et al., "A Multi-gene Evolutionary Algorithm Based on Overlapped Expression," Chinese J. Computers, vol. 30, no. 5, 2007, pp. 775–785.
50. Y.P. Wang and Y.H. Li, "A Novel Quantum Genetic Algorithm for TSP," Chinese J. Computers, vol. 30, no. 5, 2007, pp. 748–755.
51. X.J. Wang et al., "A Novel Bi-Group Evolutionary Programming," Chinese J. Computers, vol. 5, 2006.
52. Z. Cai and Y. Wang, "A Multiobjective Optimization-Based Evolutionary Algorithm for Constrained Optimization," IEEE Trans. Evolutionary Computation, vol. 10, no. 6, 2006, pp. 658–675.
53. J.H. Gu, C. Ren, and Q. Tan, "Genetic Algorithm Based on Mechanism of Positive Feedback," Computer Eng. and Applications, vol. 43, no. 14, 2007, pp. 73–74.
54. Q.S. Dou et al., "Swarm-Core Evolutionary Particle Swarm Optimization in Dynamic Optimization Environments," J. Computer Research and Development, vol. 43, no. 1, 2006, pp. 89–95.
55. K.Y. Lei and Y.H. Qiu, "A Study of Constrained Layout Optimization Using Adaptive Particle Swarm Optimizer," J. Computer Research and Development, vol. 43, no. 10, 2006, pp. 1724–1731.
56. M. Ma et al. "Fuzzy Neural Network Optimization by a Multiobjective Particle Swarm Optimization Algorithm," J. Computer Research and Development, vol. 43, no. 12, 2006, pp. 2104–2109.
57. W. Zhu and F.-Y. Wang, "Reduction and Axiomization of Covering Generalized Rough Sets," Information Sciences, vol. 152, 2003, pp. 217–230.
58. W. Zhu and F.-Y. Wang, "On Three Types of Covering-Based Rough Sets," IEEE Trans. Knowledge and Data Eng., vol. 19, no. 8, 2007, pp. 1131–1144.
59. C.Y. Li et al., "Genetic Algorithm Application in Acquisition Method of Weak GPS Signals," Acta Aeronautica et Astronautica Sinica, vol. 28, no. 6, 2007, pp. 1433–1437.
60. H.H. Tao et al., "The Anti-jamming Technologies Antenna Satellite-Borne Based on IGA-ML," Science in China Series E, vol. 35, no. 2, 2005, pp. 124–134.
61. S.N. Wu and S.K. Li, "Instruction Selection for ARM/Thumb Processors Based on a Genetic Algorithm Coupled with Critical Event Tabu Search," Chinese J. Computers, vol. 30, no. 4, 2007, pp. 680–685.
62. Z.H. Xiong, E.K. Li, and J.H. Chen, "Hardware/Software Partitioning Based on Dynamic Combination of Genetic Algorithm and Ant Algorithm," J. Software, vol. 16, no. 4, 2005, pp. 503–512.
63. J. Chen, X.L. Chen, and W. Gao, "Face Samples Expanding Based on the GA Re-Sampling," J. Software, vol. 16, no. 11, 2005, pp. 1894–1901.
64. H.P. Hu et al., "A Method for Generating Chaotic Key Stream," Chinese J. Computers, vol. 27, no. 3, 2004, pp. 408–412.
65. C.G. Cao et al., "Progress in the Development of National Knowledge Infrastructure," J. Computer Science and Technology, vol. 17, no. 2, 2002, pp. 523–534.
66. R. Lu and Z. Jin, Domain Modeling Based Software Engineering, Kluwer, 2000.
67. Proc. 2006 IEEE/WIC/ACM Int'l Conf. Web Intelligence, IEEE CS Press, 2006.
68. F.-Y. Wang, Fundamental Research Framework and Prospects of Web Science, tech. report, Key Lab for Complex Systems and Intelligence Science, Chinese Academy of Sciences, 2006.
69. R. Lu and S. Zhang, Automatic Generation of Computer Animation: Using AI for Movie Animation, LNAI 2160, Springer, 2002.
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool