内容简介

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