Skip to main content

Advertisement

Springer Nature Link
Log in

The intelligent CAI system for chemistry based on automated reasoning

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

A new type of intelligent CAI system for chemistry is developed in this paper based on automated reasoning with chemistry knowledge. The system has shown its ability to solve chemistry problems, to assist students and teachers in studies and instruction with the automated reasoning functions. Its open mode of the knowledge base and its unique style of the interface between the system and human provide more opportunities for the users to acquire living knowledge through active participation. The automated reasoning based on basic chemistry knowledge also opened a new approach to the information storage and management of the ICAI system for sciences.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Alessi S M, Trollip S R. Computer-Based Instruction: Method and Development. NJ: Printic-Hall, 1991.

    Google Scholar 

  2. Raymend J, Pilon D. Software tools for computer-aided lecturing.IEEE Trans. on Education, 1994, 37(1): 23–29.

    Article  Google Scholar 

  3. Layman J, Hall W. Applications of hypermedia in education.Computer & Education, 1991, 4: 113–119.

    Article  Google Scholar 

  4. Lin J X. On improvement of CAI’s level by making full use of the potential power of computer. InProc of Global Chinese Conference on Computer in Education (CCCE’97), Guang Zhou, May 1997.

  5. Wang X H, Tong F. The design of intelligent computer aided instruction system.Journal of Software, 1996, 7(4): 119–222.

    Google Scholar 

  6. Wos L, Overbeek R, Lusk E, Boyle J. Automated Reasoning: Introduction and Applications. New York: McGraw-Hill, 1992.

    MATH  Google Scholar 

  7. Wos L. Meeting the challenge of fifty years of logic.J. Automated Reasoning, 1990, 2(6): 213–232.

    Article  MathSciNet  Google Scholar 

  8. Boyer R, Moore J. A Computational Logic. New York: Academic Press, 1979.

    MATH  Google Scholar 

  9. Winston P H. Artificial Intelligence. New York: Addison-Wesley Publishing Company Inc. 1987.

    Google Scholar 

  10. Hall R P. A computational approach to analogical reasoning: A comparative analysis.Artificial Intelligence, 1989, 39(1): 29–120.

    Article  Google Scholar 

  11. Brooks R. Intelligence without representation.Artificial Intelligence, 1989, 47(2): 139–159.

    Google Scholar 

  12. David R, Lenat D B. Knowledge-Based Systems in AI. New York: McGraw-Hill Inc., 1982.

    Google Scholar 

  13. Wu Wen-Tsun. On the decision problem and the mechanization of theorem in elementary geometry.Scientia Sinia, 1978, 21: 159–172.

    MATH  Google Scholar 

  14. Yang L. Computer aided proving for new theorems of non-Euclidean geometry.Mathematics Research Section, Australian National University, Tech. Rep: No.4, 1989.

  15. Chou S C, Gao X S, Zhang J Z. Machine Proofs in Geometry. Singapore: World Scientific, 1994.

    MATH  Google Scholar 

  16. Zhang J Z, Yang L. Automated generation of readable proofs in geometry (in Chinese).Chinese J. computers, 1995, 18(5): 380–393.

    Google Scholar 

  17. Zhang J Z, Gao X S, Chou S C. The geometry information search system by forward reasoning (in Chinese).Chinese J. Computers, 1996, 19(10): 721–727.

    Google Scholar 

  18. Zhang J Z. A review of the automated theorem proving in recent twenty years (in Chinese).Chinese Science Bulletin, 1997, 42(21): 2249–2256.

    Google Scholar 

  19. Allen J. Understanding Nature Language. Menlo Park, CA: Benjamin Cummings, 1987.

    Google Scholar 

  20. Wang X J. computer-assisted system for instruction concentrated on knowledge processing (in Chinese).J. of Sichuan University, 1998, 35(5): 686–191.

    Google Scholar 

  21. Wang X J, Zhang J Z. Educational software system based on knowledge-base (in Chinese). To appear in:Chinese J. Computers, 1999.

  22. Wang X J. Automated understanding and translation for chemical symbol and terminology. To appear in:J. of Sichuan University, 1999.

  23. Wang X J. An approach to automation of knowledge acquiring by the generator of programming sentences (in Chinese).Computer Applications, 1998, 18(9): 20–22.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics Department, Sichuan University, 610041, Chengdu, P.R. China

    Wang Xiaojing

  2. Chengdu Institute of Computer Application, Chinese Academy of Sciences, 610041, Chengdu, P.R. China

    Zhang Jingzhong

Authors
  1. Wang Xiaojing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhang Jingzhong
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

WANG Xiaojing was born in 1953. He is an Associate Professor at Chengdu Institute of Computer Application, Chinese Academy of Sciences His current research interests include symbolic computation and its applications to information security, automated reasoning based on knowledge and its applications to intelligent systems.

ZHANG Jingzhong was born in 1936. Currently he is an Academician of Chinese Academy of Sciences, a Professor at Chengdu Institute of Computer Application, Chinese Academy of Sciences, and a Professor at Guangzhou Normal University, China. His research interests include discrete dynamic systems, mechanized theorem proving, theory and methods of automated reasoning and their applications to intelligent system. He and his group received the top academic rewards from Chinese Academy of Sciences in 1995 and National Association of Science and Technology (China) in 1997 respectively for their contributions to automated geometry theorem proving.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, X., Zhang, J. The intelligent CAI system for chemistry based on automated reasoning. J. Comput. Sci. & Technol. 14, 495–509 (1999). https://doi.org/10.1007/BF02948791

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02948791

Keywords