Tetsuya村井;宫崎骏;马萨鲁·辛博 分级模态算子定义在扩展的基于模糊测度的模型中，作为模态逻辑的一系列最小模型。 （英文） Zbl 0842.68079号 日本。J.模糊理论系统。 6，第4期，359-371（1994）. 小结：处理智能系统信念的主要方法有两种：使用模态逻辑的逻辑方法和使用概率、模糊测度的数值方法，等等。为了研究这两种方法之间的理论关系，定义了一个扩展的基于模糊测度的模型，作为模态逻辑的一系列最小模型，其中每个最小模型对应一个模糊测度的中间值。然后，可以在模型中定义分级模态算子，这是我们之前只处理模糊测度值1的模型的扩展。基于模糊、可能性、必要性和Dirac测度的中间值，针对这些新模型的类，证明了几个模态逻辑系统的稳健性和完备性结果。还显示了模型类及其对应系统之间的包含关系。 MSC公司： 68T27型 人工智能中的逻辑 03B45号 模态逻辑（包括规范逻辑） 28E10型 模糊测度理论 关键词：信仰;智能系统 PDF格式BibTeX公司 XML格式引用 \textit{T.Murai}等人，Jpn。J.模糊理论系统。6，第4号，359--371（1994；Zbl 0842.68079）