更改

添加6字节 、 2021年6月6日 (日) 16:14
第199行: 第199行:  
====Ginsberg====
 
====Ginsberg====
   −
Ginsberg(1986)提出了一种条件句的语义,它假定当前的信念形成了一组命题公式,考虑这些公式中与<math>''A''</math>一致的最大集合,并在每个集合中加入''A''</math>。其理由是,这些最大集合中的每一个都代表了一种可能的信念状态,在这种状态下,<math>''A''</math>为真,且与原始状态尽可能相似。因此,当且仅当<math>''B''</math>在所有这些集合中都为真时,条件陈述句<math>''A'' > ''B''</math>才成立。<ref name="rev. no. 03011">{{Citation |title=Review of the paper: M. L. Ginsberg, "Counterfactuals," Artificial Intelligence 30 (1986), pp. 35–79 |url=https://zbmath.org/?q=an:0655.03011&format=complete |work=Zentralblatt für Mathematik |pages=13–14 |year=1989 |publisher=FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH |zbl=0655.03011}}.</ref>
+
Ginsberg(1986)提出了一种条件句的语义,它假定当前的信念形成了一组命题公式,考虑这些公式中与<math>''A''</math>一致的最大集合,并在每个集合中加入<math>''A''</math>。其理由是,这些最大集合中的每一个都代表了一种可能的信念状态,在这种状态下,<math>''A''</math>为真,且与原始状态尽可能相似。因此,当且仅当<math>''B''</math>在所有这些集合中都为真时,条件陈述句<math>''A'' > ''B''</math>才成立。<ref name="rev. no. 03011">{{Citation |title=Review of the paper: M. L. Ginsberg, "Counterfactuals," Artificial Intelligence 30 (1986), pp. 35–79 |url=https://zbmath.org/?q=an:0655.03011&format=complete |work=Zentralblatt für Mathematik |pages=13–14 |year=1989 |publisher=FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH |zbl=0655.03011}}.</ref>
    
==参考文献==
 
==参考文献==