下一个 向上的 以前的 目录
Nächste Seite： 普罗泽杜伦 辅助设备： 高尔夫 Vorherige Seite公司： 高尔夫  Inhalt公司

情境知识库

GOLOG komplele Aktionen定义者werden können，werden neue Symbole中的Damit维埃虽然奥德如果als Abkürzungen für logische Ausdrücke des情况kalküls eingeführt。艾恩·索尔切·阿布久安·伊本费尔斯（Eine solche Abkürzung ist ebenfalls） \（Do（\增量，s，s’）\）,沃贝牌手表\（\增量\）eine komplexe Aktion就是这样。死亡\（执行\）贝萨格特，达ßesmöglich ist von der形势\（\）杜尔奇·戴·冯\（\增量\）贝施里贝尼形势中的Aktionssequenz\（s’\）祖格朗根，也是\（上一页）.\（a）beschreibt eine原始Aktion。Die Struktur wird induktivüber das erste公司aufgelöst.参数。

  1. 原始Aktion\（a）
    \（Do（a，s，s'）:=Poss（a[s]，s）\wedge s'=Do（a[s，s）\）
    \（a[s]\）所有的恐惧都会影响形势\（\），死亡durch die Aktion公司\（a）比埃弗鲁？特沃登。
  2. 泽昆茨 \（增量{1}；增量{2}）
    \（Do（[\delta_{1}；\delta_2}]，s，s'）：=（\exists s''）。Do（\delta_{1}，s，s''）\楔形Do（\ delta_}2}，s''，s'）\）
  3. 测试
    \（Do（\phi？，s，s'）：=\phi[s]\wedget s=s'\）
    \（\phi\）beschreibt einen Pseudofluventen，也称为keine Formel des Situationskalküls。\（\phi\）ist kein Ausdruck des Situationskalüls，denn es werden alle Situations辩论unterdrückt。\（\phi[s]\）bezeichnet die Situationskalkül-Formel，die aus公司der变量\（\phi\）gebildet wird，indem sie die情境变量\（\）als das unterdrückte情境论点für alle Fluentennamen（关系和功能），消亡\（\phi\）厄瓦恩特·沃登（erwähnt werden）、维德·赫斯特尔特（wieder herstell）。
    贝斯皮尔：温\（\phi\）铝合金

    \开始{displaymath}（对于所有x）.ontable（x）\wedget\neg on（x，A），\end{displaymath}

    beschrieben ist、dann bedeutet\（\phi[s]\）

    \开始{displaymath}（\对于所有x）。可接触（x，s）\楔状物\在（x，A，s）上否定。\结束｛displaymath｝

  4. 尼赫特决定论者Wahl zwischen zwei Aktionen
    \（Do（（δ{1}\vert\delta{2}），s，s'）：=Do
  5. 尼采决定论者维德罗隆
    \（Do（\delta^｛\star｝，s，s'）：=\）
    \（（代表所有P）\{（所有s_{1}）P（s_{1}，s_{1}。。。…1}，s_{2}）\楔形Do（\delta s_{2]，s_a{3}\supset P（s_{1}、s_{3}）]\}\supsetP（s，s'）\）
    模具Aktion \（\delta^{\star}\）wird keinmal，einmal oder mehrmals wiederholt。Obige Formel beschreibt，达人durch\（\增量\）冯\（\）全国生理残障咨询委员会\（s’\）温·科姆特\（s，s’）\）在杰德，还有auch der kleinsten Menge vorkommt。模具定义nutzt dabei aus，daß镀金：
    （a）\（对于所有s_{1}） \（（s{1}，s{1{）\）位于Menge und
    （b） 温恩\（（（s{1}，s{2}）\）在Menge ist und中 \（执行（\增量，s_{2}，s_}3}）\）镀金，dann ist auch
         \（（s_｛1｝，s_｛3｝）\）在门格（Menge）。

  6. Nichdeterministische Auswahl eines目标
    \（Do（（\pi x）\delta（x），s，s'）：=（\exists x）Do（\delta
  7. 决定论者Verzweigung
    如果\（\phi\）然后\（δ{1}）其他的\（δ{2}）结束If：= \（[\phi？；\delta{1}]\vert[\neg\phi吗；\delta{2}]\）
  8. 决定性因素
    虽然\（\phi\）做\（\增量\）结束时间：= \（[[\phi？；\delta]；\neg\phi？]\）
贝斯皮尔：

下一个 向上的 以前的 目录
Nächste Seite： 普罗泽杜伦 辅助设备： 高尔夫 Vorherige Seite公司： 高尔夫  Inhalt公司

2001-01-04