Research on Basic Questions in Knowledge Science

Author: Liu Daifu
Publisher:
Publish Date: 2006-10-01
Features: The "Advanced Symposium on Knowledge Science and Computational Science" was organized by the Information Science Division of the National Natural Science Foundation of China, and co-hosted by the School of Computer Science and Technology, Jilin University, the School of Software, Jilin University, the Key Laboratory of Symbolic Computation and Knowledge Engineering under the Ministry of Education, and the Computer Society of Jilin Province. The symposium was held in Changchun, Jilin Province, from August 24 to 25, 2003. This book is based on the symposium. The content of the book is divided into eight parts: Formal Semantics and Program Verification, Quantum Computing, Spatio-Temporal Knowledge Representation Theory, Theorem Proving and Automatic Planning, Machine Learning and Data Analysis, Agent Technology, Knowledge Representation and Processing in Internet and Software Engineering, and Life Informatics. This book mainly summarizes and analyzes the new progress achieved in the field of knowledge science research in recent years at home and abroad. All the articles included in this book are written by famous experts in the relevant fields, making it a valuable reference for academic research. This book is suitable for teachers, students, and researchers in the fields of knowledge engineering and artificial intelligence in computer science and automation programs at universities, as well as engineering technicians and researchers in research institutes and other organizations.