重写技术及其在计算机科学中的应用

项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。