模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。 形式模态逻辑使用模态判决算子表示模态。
模态是指事物或者认识的必然性和可能性等性质,模态逻辑(modal logic)是研究模态推理形式及其规律的逻辑,是自动推理研究领域中最具影响力的逻辑之一,它能够精确地描述在推理情况不确定的条件下,可能世...
基于6273个网页-相关网页
... logic of language 语言逻辑 logic of modality 模态逻辑 logic of natural language 自然语言逻辑 ...
基于116个网页-相关网页
Third, the dissertation investigates modal logic under set-theoretic semantics.
第三,在集合论语义下重新研究模态逻辑。
参考来源 - 非良基集与模态逻辑Some AI researchers introduce multiple modal operators to modal logic according to multiple mental states of Agent.
有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。
参考来源 - 纤维逻辑 in CWestern linguistics,using the research ideas on modality logic for reference,launched the study of modality of natural language.
西方语言学借鉴了模态逻辑的研究思想,开始了自然语言中的情态研究。
参考来源 - 现代汉语情态范畴初论·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐