知识库/元级知识库中的自省推理

本文认为:不同类型的非单调推理,均可通过对有关对象的确信或不确信的推理过程来表示,因此自省的过程可作为一切形式推理的基础。本文讨论了推理者用于表达和椎导其自身信念时的各种方式,结论有:a.自省的本质是表达信念和世界的关系b.如果从完全性和正确性角度来看待自省推理的话,其计算是相当困难的。