果洛语

GOLOG:一种用于动态域的逻辑编程语言。本文提出了一种新的逻辑程序设计语言GOLOG,它的解释器根据用户提供的有关动作的先决条件和效果以及世界的初始状态的公理,自动维护所建模的动态世界的显式表示。这使得程序能够对世界的状态进行推理,并在做出特定行为之前考虑各种可能的行动方案的效果。最终的结果是,程序可以在比通常更高的抽象级别上编写。该语言似乎非常适合应用于机器人和工业过程的高级控制、智能软件代理、离散事件仿真等。它基于情境演算的扩展版本中指定的形式行为理论。开发了Prolog语言的原型实现


zbMATH中的参考文献(参考文献170篇文章,1标准件)

显示170个结果中的1到20个。
按年份排序(引用)

1 2 ... 7 8 9 下一个

  1. 阿兰达·科拉尔,冈萨洛A。;博雷戈-迪亚兹,乔奎因;Galán-Páez,Juan:知识利用的三方决策模型(2020)
  2. 贝莉,维沙克;Leveque,Hector J.:随机域中的回归和级数(2020)
  3. 德萨罗,法比奥·奥雷里奥;比卡基斯,安东尼;狄更斯,卢克;米勒,罗伯:认知行为叙事的概率推理(2020)
  4. 德贾科莫,朱塞佩;特诺夫斯卡,尤金妮娅;雷特:情境演算中的非终结过程(2020)
  5. 芬齐,阿尔贝托;卢卡西维茨,托马斯:部分可观测博弈论代理编程在果洛(2020)
  6. 比亚克,乌卡斯;Dunin-Kęplicz,芭芭拉;Szałas,Andrzej:信息复杂环境中行动的次一致性方法(2019)
  7. 德尔格兰德,詹姆斯P。;最简单的认知方式(2019年非部长级事件:相信)
  8. 塞戈维亚·阿古斯、哈维尔;吉姆内斯,塞尔吉奥;Jonsson,Anders:使用经典规划师进行广义规划的计算程序(2019)
  9. 贝莉,维沙克;Levesque,Hector J.:本土化的逻辑理论(2016)
  10. 德贾科莫,朱塞佩;格雷维尼,阿方索·埃米利奥;帕特里齐,法比奥;萨蒂,亚历山德罗;Sardina,Sebastian:代理计划计划(2016)
  11. 德贾科莫,朱塞佩;莱斯普兰斯,伊夫;Patrizi,Fabio:有界情境演算行动理论(2016)
  12. 德贾科莫,朱塞佩;莱斯普兰斯,伊夫;帕特里齐,法比奥;Vassos,Stavros:有限信念情境演算代理的进展与验证(2016)
  13. 林芳珍:离散线性序一阶逻辑程序的形式化(2016)
  14. 莫,佩明;李乃琪;刘永梅:基于谓词抽象的Golog程序自动验证(2016)
  15. 萨里巴图,Zeynep G。;托马斯·艾特:《行动语言规划的反应性政策》(2016)
  16. 安德烈,本杰明;拉贾拉特南,大卫;萨本库,奥克特;Schaub,Torsten:将ASP集成到ROS中,用于机器人推理(2015)
  17. 奥特西耶,谢尔盖;Hutter,Dieter:SHIP——一种基于逻辑的编程智能环境的语言和工具(2015)
  18. 贝莉,维沙克;Leveque,Hector J.:态势演算中的机器人位置估计(2015)
  19. 凯利,瑞安F。;Pearce,Adrian R.:情境演算中带有隐藏动作的异步知识(2015)
  20. 科瓦尔斯基,罗伯特;Sadri,Fariba:反应式计算作为模型生成(2015)

1 2 ... 7 8 9 下一个