论文部分内容阅读
为了给网站管理员提供有效的、半自动化的工具，帮助他们处理一些可能预见的问题，提出了一种采用逻辑语言实现自动推理验证网站信息的半自动化方法，并用逻辑编程语言prolog实现。基于用户最初制定的规则来检测网站所发布的信息，同时做出相应的处理，力求能最大限度地自动修复、完整网页内容。实验结果验证了该方法的有效性。