卡罗

形式化代理人的潜力。重新审视了KARO框架。我们重新审视了我们之前提出的(KARO)框架,来分析智能体的知识、能力、结果和机会。在我们最初的提议中,对能力的处理与对机会的处理是完全不同的,而它们在事前似乎是相当对称的。这一建议还产生了一个相当非标准的逻辑证明系统,包括所谓的ω-规则,即具有无限多个前提的规则。最后,该方法在代理执行顺序组合操作的能力方面存在一些奇怪的特性。在这一章中,我们重新考虑这些问题,并提出一个逻辑,即(1)平等对待机会和能力,(2)允许一个更标准的完整证明系统(3)不受顺序组合行为的奇怪性质的影响,以及(4)否则会使原始框架中的许多属性保持不变。


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

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. Alechina,Natasha;Dastani,Mehdi;Logan,Brian;Meyer,John Jules Ch.:关于代理人审议的推理(2011)ioport公司
  2. 迪克斯,Jürgen;费舍尔,迈克尔:逻辑和代理相遇的地方(2011)
  3. Aucher,Guillaume:认知逻辑的内部版本(2010)
  4. 亚当,C.;赫齐格,A.;朗金,D.:OCC情感理论的逻辑形式化(2009)
  5. (拉斐德·迪尔吉);法尔格尼·法尔吉(拉斐·迪尔尼);法尔吉·达赫内德(拉斐·迪尔尼)。语言、工具和应用(2009)
  6. Goré,Rajeev;Nguyen,Linh Anh:多模态信念逻辑的小句表(2009)
  7. Hindriks,Koen V.;Meyer,John Jules Ch.:走向rational agent的编程理论(2009)ioport公司
  8. 2009年7月,《语义代理》中的《目标》(Meyer Goals;Meijnes;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm;Meijm,2009年)ioport公司
  9. Meyer,John Jules Ch.:我们寻求代理人验证的圣杯(2007)
  10. 狄克逊,克莱尔:使用时间逻辑的知识规范和验证--一个案例研究(2006)
  11. Hindriks,Koen V.;Meyer,John Jules Ch.:代理逻辑作为程序逻辑:接地卡罗(2006)ioport公司
  12. Meyer,John Jules Ch.:关于情绪因素的推理(2006)
  13. Nguyen,Linh Anh:用模态逻辑程序设计推理智能体的认知状态(2006)
  14. Bordini,Rafael H.(编辑);Dastani,Mehdi(编辑);Dix,Jürgen(编辑);El Fallah Seghrouchni,Amal(编辑):多智能体编程。语言、平台和应用程序。(2005年)
  15. Fisher,Michael:基于agent的时态开发方法。(2004年)ioport公司
  16. Mascardi,Viviana;Martelli,Maurizio;Sterling,Leon:智能软件代理的基于逻辑的规范语言(2004)
  17. 《知识与行动之间的互动》(Rich,Schmitry,2004年)
  18. Laureano Cruces,Ana Lilia;Barceló-Aspeitia,Axel Arturo:从认知任务分析中产生的多智能体系统行为的形式验证(2003)
  19. 克莱尔·狄克逊;迈克尔·费舍尔;亚历山大·博洛托夫:《理性代理逻辑中的子句解决》(2002)
  20. Hustadt,Ullrich;Dixon,Clare;Schmidt,Renate A;Fisher,Michael;Meyer,John Jules;van der Hoek,Wiebe:卡罗代理理论中的验证(2001)