入侵检测系统

交互式派生查看器。这项工作描述了交互式派生查看器(IDV)工具,用于图形绘制的派生在TPTP语言编写。IDV提供了一个交互式界面,允许用户快速查看派生的各种特征。IDV的一个特别新颖的特征是它能够通过在推导中识别有趣的引理来提供推导的概要,并且隐藏较少有趣的中间公式。IDV被部署为StultOntPp接口的一部分,从而通过任何Web浏览器提供就绪访问。