更改

====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>

==参考文献==

==参考文献==