本书分为五个部分：理论基础（基于进程代数的并发推理行为、形式语义的论域研究进展、知识和复杂性等）、机器学习（Rough Set理论与机器学习理论、序列学习初探等）、Agent技术、非传统计算风范（神经计算、模型生成与约束求解等）、大规模知识获取（互联网环境下的知识获取、组织及智能检索，计算机科学工作者关心的几个生物信息学问题等）。书中内容均为有关领域著名专家撰写，通过丰富的文献资料和研究工作以及专