果洛语

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


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

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

1 2 ... 7 8 9 下一个

  1. 阿兰达·科拉尔(Aranda Corral),冈萨洛A.;博雷戈·迪亚斯(Borrego-Díaz),乔奎因(Joaqueín);加拉-帕斯(Galan-Páez),胡安:知识利用的三方决策模型(2020年)
  2. Belle,Vaishak;Levesque,Hector J.:随机域中的回归和级数(2020)
  3. De Giacomo,Giuseppe;Ternovska,Eugenia;Reiter,Ray:情境演算中的非终结过程(2020)
  4. 芬齐,阿尔贝托;卢卡西维茨,托马斯:部分可观测博弈论代理编程在果洛(2020)
  5. Białek,Łukasz;Dunin-Kęplicz,Barbara;Szałas,Andrzej:信息复杂环境中行动的次一致性方法(2019)
  6. 詹姆斯P.德尔格兰德(James P.);列夫斯基(Levesque)和赫克托J.:不确定性的认知方法:相信最简单的事件过程(2019年)
  7. Segovia Aguas,Javier;Jiménez,Sergio;Jonsson,Anders:使用经典规划师进行广义规划的计算程序(2019年)
  8. 贝勒,维沙克;列夫斯基,赫克托J.:本土化的逻辑理论(2016)
  9. De Giacomo,Giuseppe;Gerevini,Alfonso Emilio;Patrizi,Fabio;Saetti,Alessandro;Sardina,Sebastian:代理计划(2016)
  10. De Giacomo,Giuseppe;Lespérance,Yves;Patrizi,Fabio:有界情境演算行动理论(2016)
  11. De Giacomo,Giuseppe;Lespérance,Yves;Patrizi,Fabio;Vassos,Stavros:情境演算的进展与验证,有界信念(2016)
  12. 林芳珍:离散线性序一阶逻辑程序的形式化(2016)
  13. 莫培明;李乃琪;刘永梅:基于谓词抽象的Golog程序自动验证(2016)
  14. Saribatur,Zeynep G.;Eiter,Thomas:行动语言规划的反应性政策(2016)
  15. Andres,Benjamin;Rajaratnam,David;Sabuncu,Orkunt;Schaub,Torsten:将ASP集成到ROS中,用于机器人推理(2015)
  16. Autexier,Serge;Hutter,Dieter:SHIP——一种基于逻辑的编程智能环境的语言和工具(2015)
  17. Belle,Vaishak;Levesque,Hector J.:态势演算中的机器人位置估计(2015)
  18. Kelly,Ryan F.;Pearce,Adrian R.:情境演算中隐藏动作的异步知识(2015)
  19. Kowalski,Robert;Sadri,Fariba:反应式计算作为模型生成(2015)
  20. 周能发;巴尔塔克,罗曼;多维尔,阿戈斯蒂诺:按表逻辑编程的规划(2015)

1 2 ... 7 8 9 下一个