Modal Operators and Multivalued Logics

模态运算符和多值逻辑

• 批准号: 8912188
• 负责人: Nils Nilsson
• 金额: $ 26.82万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-10-01 至 1993-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8912188&HistoricalAwards=false
• 关键词: Modal; Operators; Multivalued; Logics

A variety of theoretical applications of artificial intelligence make use of modal operators. A modal operator is often thought as a function that takes a well.formed formula as an argument and is assigned a semantics. This project is an investigation into the theoretical and computational properties of a new formalization of modal operators. This formalization views a modal operator as consisting of both a syntactic and semantic component. The aim of this research is to examine how this new formalization would work under a number of different modal operators and to construct a general purpose implementation of this formulation that allows us to look at specific examples involving the modal operators arising in the analysis of belief, knowledge, casuality and simple temporal reasoning.

人工智能的各种理论应用都利用了模态算子。 模态运算符通常被认为是一个函数，它采用格式良好的公式作为参数并分配语义。 该项目是对模态算子的新形式化的理论和计算特性的研究。 这种形式化将模态运算符视为由句法和语义组成部分组成。 本研究的目的是研究这种新的形式化如何在许多不同的模态算子下工作，并构建该公式的通用实现，使我们能够查看涉及信念、知识、偶然性和简单时间推理分析中出现的模态算子的具体示例。