高尔夫 swMATH ID: 2159 软件作者: 莱维斯克,赫克托·J。;雷蒙德·雷特(Raymond Reiter);Lespérance,伊夫斯;林方珍;理查德·谢尔(Richard B.Scherl)。 描述: GOLOG:一种用于动态域的逻辑编程语言。本文提出了一种新的逻辑编程语言GOLOG,其解释器根据用户提供的关于动作的前提和效果以及世界的初始状态的公理,自动维护正在建模的动态世界的显式表示。这使得程序能够对世界状态进行推理,并在做出特定行为之前考虑各种可能的行动方案的影响。净效果是,程序编写的抽象级别可能比通常可能的抽象级别高得多。该语言似乎非常适合应用于机器人和工业过程的高级控制、智能软件代理、离散事件模拟等。它基于情境演算的扩展版本中指定的行为形式理论。在Prolog中开发了一个原型实现 主页: http://cindy.informatik.uni-bremen.de/cosy/staff/dylla/publications/Diplorabeit/node20.html 关键词: 认知机器人;情境演算 相关软件: ConGolog公司;代理发言;METATEM公司;图规划;杰森;CCalc公司;PDDL公司;MCMAS公司;PVS公司;莫德;IndiGolog公司;PREGO公司;2APL公司;加罗;第3页;徒步旅行;斯莫德尔斯;水獭;克林戈;莫伊斯+ 引用于: 158文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 GOLOG:一种用于动态域的逻辑编程语言。 兹比尔0880.68008Hector J.列夫斯克。;雷蒙德·雷特;伊夫·莱斯佩兰斯;林方珍;理查德·谢尔(Richard B.Scherl)。 1997 全部的 前5名233位作者引用 18 Hector J.列夫斯克。 12 朱塞佩·德贾科莫 12 伊夫·莱斯佩兰斯 8 马蒂奥·巴多尼 8 阿尔贝托·马泰利 8 希拉·麦克拉伊思。 8 迈克尔·泰尔舍尔 7 格哈德·莱克梅耶 7 林方珍 7 维维亚娜·帕蒂 6 克里斯蒂娜·巴罗利奥 6 雷·赖特 5 奇塔·R·巴拉尔。 5 塞巴斯蒂安·萨迪纳 5 理查德·谢尔(Richard B.Scherl)。 4 阿尔弗雷多·加巴登 4 劳拉·佐丹奴 4 法比奥·帕特里齐 三 瓦夏克·贝勒 三 阿戈斯蒂诺·多维尔 三 布赖恩·洛根 三 阿德里安·皮尔斯。 三 雷蒙德·雷特 三 约塞菲亚·西亚拉·桑提布涅斯 三 儿子Tran Cao 2 娜塔莎·亚历奇纳 2 豪尔赫·贝尔。 2 迈克尔·贝茨 2 马塞洛·R·坎波。 2 西尔维奥·拉戈·佩雷拉 2 托马斯·艾特 2 迈克尔·费希尔 2 安德烈亚·福米萨诺 2 福克斯,迪特 2 迈克尔·R·M·詹金。 2 莱恩·凯利(Ryan F.Kelly)。 2 刘洪凯 2 托马斯·卢卡西维奇 2 维维亚娜·马斯卡迪 2 莱利安·德·巴罗斯修女 2 哈维尔·平托(Javier A.Pinto)。 2 菲奥拉·皮里 2 恩里科·蓬泰利 2 法里巴·萨德里 2 托尔斯滕·绍布(Torsten H.Schaub)。 2 卡米拉·施温德。 2 史蒂文·夏皮罗 2 卢卡·斯帕拉齐 2 肯尼斯·塔姆 2 亚历杭德罗·祖尼诺 1 阿纳利亚·阿曼迪 1 本杰明·阿米诺夫 1 埃亚尔·埃米尔 1 本杰明·安德烈斯 1 安努布里亚·安科勒卡尔 1 Aranda-Corral,冈萨罗A。 1 谢尔盖·奥特西尔 1 Franz巴德 1 塔马拉·巴巴扬 1 法希姆·巴克斯 1 马塞洛·巴尔杜奇尼 1 罗马人Barták 1 丹尼尔·贝克 1 马西莫·贝内雷切蒂 1 Białek,Łukasz 1 梅亨·宾文努 1 安东尼斯·比卡基斯 1 布洛姆,米歇尔·L。 1 安东尼·邦纳。 1 皮埃尔·邦松 1 博雷戈·迪亚斯(Borrego-Díaz,Joaquín) 1 Craig Boutiler公司 1 沃尔夫拉姆·伯加德 1 马克·伯斯坦 1 安德烈·卡利 1 迭戈·卡尔瓦内斯 1 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello) 1 马科斯·亚历山大·卡斯蒂略 1 安东尼奥·切拉 1 陈小平 1 卢卡·奇塔罗 1 劳伦斯·乔维 1 克里默斯,阿明B。 1 达萨罗,法比奥·奥雷里奥 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 de A.Lima Neto,欧洲 1 de A.T.de Carvalho,弗朗西斯科 1 詹姆斯·德尔格兰德。 1 罗伯特·德莫洛姆 1 卢克·狄更斯 1 尤尔根·迪克斯 1 康拉德·德雷舍尔 1 巴巴拉·杜宁·科普里茨 1 史蒂夫·德沃夏克 1 埃斯拉·埃尔登 1 布鲁诺·埃里科 1 沃尔夫冈·费伯 1 保罗·费利 1 阿尔贝托·芬齐 1 Foo,Norman Y。 …还有133位作者 全部的 前5名30篇连载文章中引用 32 人工智能 9 数学与人工智能年鉴 4 Studia Logica公司 4 逻辑程序设计理论与实践 三 逻辑与计算杂志 三 人工智能研究杂志 2 逻辑程序设计杂志 2 国际近似推理杂志 2 IGPL逻辑杂志 2 计算机基础理论 2 计算机语言、系统和结构 2 ACM计算逻辑事务 2 应用逻辑杂志 1 哲学逻辑杂志 1 理论计算机科学 1 新一代计算 1 机器人与自治系统 1 杰泰。实验与理论人工智能杂志 1 人工智能综述 1 逻辑、语言与信息杂志 1 约束条件 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 计算智能 1 人工智能和应用的前沿 1 计算机科学课堂讲稿 1 计算智能研究 1 应用数学科学(俄罗斯) 1 计算机科学中的逻辑方法 1 科学中国。信息科学 全部的 前5名在9个字段中引用 153 计算机科学(68至XX) 29 数理逻辑与基础(03-XX) 7 系统论;控制(93至XX) 三 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 统计学(62-XX) 1 历史和传记(01-XX) 1 粒子和系统力学(70-XX) 1 数学教育(97-XX) 按年份列出的引文