
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Xiaoshan Gao, Dantong Ouyang, Jigui Sun, Sanjiang Li, Tianshun Yao, Ruzhan Lu, Chunyi Shi, Zhangang Han, Jue Wang, Cungen Cao, Ruqian Lu, "AI in China: A Survey," IEEE Intelligent Systems, vol. 23, no. 6, pp. 2632, November/December, 2008.  
BibTex  x  
@article{ 10.1109/MIS.2008.97, author = {Xiaoshan Gao and Dantong Ouyang and Jigui Sun and Sanjiang Li and Tianshun Yao and Ruzhan Lu and Chunyi Shi and Zhangang Han and Jue Wang and Cungen Cao and Ruqian Lu}, title = {AI in China: A Survey}, journal ={IEEE Intelligent Systems}, volume = {23}, number = {6}, issn = {15411672}, year = {2008}, pages = {2632}, doi = {http://doi.ieeecomputersociety.org/10.1109/MIS.2008.97}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  MGZN JO  IEEE Intelligent Systems TI  AI in China: A Survey IS  6 SN  15411672 SP26 EP32 EPD  2632 A1  Xiaoshan Gao, A1  Dantong Ouyang, A1  Jigui Sun, A1  Sanjiang Li, A1  Tianshun Yao, A1  Ruzhan Lu, A1  Chunyi Shi, A1  Zhangang Han, A1  Jue Wang, A1  Cungen Cao, A1  Ruqian Lu, PY  2008 KW  artificial intelligence KW  China KW  mechanization of mathematics KW  automated reasoning KW  temporal knowledge KW  spatial knowledge KW  representation KW  reasoning KW  natural language understanding KW  intelligent diagnosis KW  multiagent systems KW  computational intelligence KW  largescale knowledge processing VL  23 JA  IEEE Intelligent Systems ER   
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 DifferentialDifference Polynomial Systems," Proc. Effective Methods in Algebraic Geometry (MEGA 07), 2007.
3. Z. Li et al., "A Recursive Method for Determining the OneDimensional Submodules of LaurentOre 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 VoronoiBased 9Intersection 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 9Intersection 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 Multiaspect 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 ChinaJapan Natural Language Processing Joint Research Promotion Conf., 2006.
32. W. Bin et al., "TREC10 Experiments at CASICT: 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 ModelBased Diagnosis, Morgan Kaufmann, 1992.
36. P. Struss, "KnowledgeBased Diagnosis: An Important Challenge and Touchstone for AI," Proc. 10th European Conf. Artificial Intelligence, John Wiley &Sons, 1992.
37. L. Console and O. Dressler, "ModelBased 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 AgentBased Software Engineering," Artificial Intelligence, vol. 117, no. 2, 2000, pp. 277–296.
39. N.R. Jennings, "An AgentBased 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. Multiagent Systems (ICMAS 95), 1995, pp. 312–319.
41. S. Hu and C. Shi, "A Semantic Interpretation for Agent's Nonnormal 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, "AgentBDI 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 Multiagent 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 Multigene 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 BiGroup Evolutionary Programming," Chinese J. Computers, vol. 5, 2006.
52. Z. Cai and Y. Wang, "A Multiobjective OptimizationBased 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., "SwarmCore 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 CoveringBased 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 Antijamming Technologies Antenna SatelliteBorne Based on IGAML," 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 ReSampling," 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.