SNePS中的自动信念修订
人工智能
2007-05-23 v2 计算机科学中的逻辑
摘要
SNePS是一个基于逻辑和网络的知识表示、推理和行动系统，基于单调、容错的第一阶项逻辑，具有组合语义。它拥有类似ATMS的信念收缩 facilities，以及一个行动组件，包括对原始和复合行为以及“规则”的明确定义的语法和语义，这些规则支持推理以支持行动，反之亦然。SNePS旨在支持具备自然语言能力的认知代理人。当当前版本的SNePS检测到显式矛盾时，它会与用户交互，提供信息帮助用户决定从知识库中删除什么以消除矛盾。即将发布的SNePS 2.6还将在知识库中 warranted 信息时自动执行信念收缩。
引用
@article{arxiv.cs/0003011,
title = {Automatic Belief Revision in SNePS},
author = {Stuart C. Shapiro and Frances L. Johnson},
journal= {arXiv preprint arXiv:cs/0003011},
year = {2007}
}
备注
Slightly revised page 3, right column, 3rd complete paragraph to fix formatting problem