作者：龚加安 吴洪博近似推理模态逻辑
摘要：在模态逻辑S4中通过有限模型建立了模态公式的（n）真度理论,研究了模态逻辑S4中命题的（n）真度的性质。提出了模态公式间的（n）相似度理论,并由此在全体公式集中,建立了（n）伪距离,得出了（n）模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《山东大学学报·理学版》（CN：37-1389/N）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《山东大学学报·理学版》为理工科综合性学术期刊。旨在反映该校自然科学领域中的最新研究成果，促进学术交流，活跃学术思想。
杂志详情
