可能世界集相关论文
本文对经典否定联结词真值函项的研究表明:该函项是否成立依赖于可能世界集合是否完备。但是,进一步研究的结论是:单纯通过概括原则确......
本文简要地讨论了Carnap归纳逻辑系统以及该系统在人工智能中进行实际应用的困难与可能性,着重分析了Carnap系统的一个可能应用领......