普罗泽杜伦

Nächste Seite： Erweiterungen von高尔夫 辅助设备： 高尔夫 Vorherige Seite公司： komplele Aktionen im Situationskalül公司 Inhalt公司

普罗泽杜伦

该死的Makroexpansion von rekursiven Prozeduren mit der Semantik des Situationskalküls穆格利希斯特，穆阿赫斯特是奥斯夫鲁格·埃纳·普罗泽杜尔·贝施里本·沃登。

符号P mit $\（n+2\）$ 阿根廷·索尔·盖尔滕：

$\开始{displaymath}Do（P（t_{1}，…，t_{n}），s，s'）：=P（t_{1}[s]，…，t_{n}[s'，s，s’）。\结束{显示方式}$

Dies bedeutet，达累斯萨拉姆 $\（P（t_{1}，…，t_{n}）\）$ 按比例分配wird和
$\（Do（P（t_{1}，…，t_{n}），s，s'）\）$ 冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯·奥斯福龙·冯 $\（P\）$ mit den参数 $\（t{i}\）$ beuirkt.Diese参数werden innerhalb des aktuellen Situationskontextes $\（\）$ 杜克 $\（t_{i}[s]\）$ 奥斯格沃特。

Als nächstes mußdie Semantik von编程人员墨色（rekursiver）Prozeduren的定义者是werden。Es wird angenommen，daeßin Programm aus公司 $\（n\）$ Prozedurdeklarationen公司( $\（P_{1}，…，P_{n}\）$ )mit den jeweiligen参数 $\（\vec{\vartheta}_{1}，…，\vec}\vartheta}_{n}）$ 最好的。Das Hauptprogramm公司wird durch公司 $\（\增量{0}\）$ bezeichnet，die restlichen Prozedurrümpfe durch公司 $\（\增量{1}，…，\增量{n}\）$ .Ein Programm hat也折页形式：

程序 $\（P_{1}（\vec{\vartheta}）\delta{1}\）$ 结束进程；程序 $\（P_{n}（\vec{\vartheta}）\delta_{n{）$ endProc程序； $\（\增量{0}\）$ .

Auswertung des angegebenen项目 $\（\增量{0}\）$ wird wie folgt定义者：

$\（执行（\）$ 程序 $\（P_｛1｝（\vec｛\vartheta｝_｛1｝）\δ_｛1｝\）$ 结束进程；... ; 程序 $\（P_｛n｝（\vec｛\vartheta｝_｛n｝）\δ_｛n｝\）$ 结束进程； $\（\delta_{0}，s，s'）：=\）$

$\开始{displaymath}（对于所有P_{1}，…，P_{n}）。[\bigwedge（大楔子）^{无}_{i=0}（对于所有s_{1。。。…\vec{\vartheta}_{i}，s_{1}，s_{2}）]\supset Do（\delta_{0}，s，s'）。\结束{显示方式}$

Mit Hilfe der aufgeführten Makros können komplexe Abläufe der Welt建模师这是一个高效的程序。Alleridings können keine Informationonen von等位基因außen公司(外基因Aktionen)mehr verarbeitet werden，sobald die Planung先生埃因马尔·贝格伦·沃尔德（einmal begonnen wurde）。Daher wurden noch einige Erweiterungen vorgenommen。

dieser Stelle sei herausgestell，daßdurch die obige定义von $\（执行\）$ Suche nach einer legalen Sequenz von Aktionen之死 $\（\vec{a}\）$ 麻省理工学院 $\（s=do（\vec{a}，s_{0}）\）$ als公司：

$\开始{displaymath}公理\models（\exists）Do（\delta，s_{0}，s）。\结束{显示方式}$

安杰森·沃登·坎恩（angesehen werden kann）。Dieser Ansatz scheint in vielen Anwendungen handhabbarer公司zu sein als die klasische Planung公司：

$\开始{displaymath}公理\模型（\存在）[可执行文件\楔形目标]。\结束{显示方式}$

Nächste Seite： Erweiterungen von高尔夫 辅助设备： 高尔夫 Vorherige Seite公司： komplele Aktionen im Situationskalül公司 Inhalt公司

2001-01-04