排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
梁彦彬 《南京航空航天大学学报》2000,32(6):614-619
对经典知识表示系统(多系统)进行了扩充,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统F-K,该公理系统除包含“F”外也包含经典模态词“K”。同时,基于滤子对经典Kripke框架及模型进行了扩充,从而给出了“F”的语义,并证明了该语义下F-K的完备性与可靠性。 相似文献
1