最弱充分条件相关硕士博士期刊学术论文

模态逻辑S5在智能体领域是一种重要的知识推理形式体系。最强必要条件和最弱充分条件是Lin提出的在人工智能领域下具有重要作用的......