期刊文献+

基于流演算的多Agent请求/服务协作模型的研究 被引量:2

Research on request/server cooperation model of multi-agent based on fluent calculus
下载PDF
导出
摘要 为了刻画多Agent环境中的交互特性,基于流演算理论和GoFlux语言,吸收了ConGolog语义,提出了CFlux语言。CFlux语言能有效地处理MAS中的For循环、并发、优先级并发、中断等操作,从而可以实现多Agent程序的并发交互执行。在此基础上,基于CFlux和一组通信动作提出一个请求/服务协作模型。最后,通过一个智能日程安排实例表明了上述理论。 To describe the intersection feature in multi-agent environment, GFlux is developed on the basis of fluent calculus theory and GoFlux language and absorption of ConGolog semantics. CFlux can effectively process for circulation, concurrence, concurrence with different priorities, interrupt and so on in order to implement the concurrent and intersect multi-agent program. A request/server cooperation model is put forward based on CFlux and communication actions. Finally, an intelligent scheduling plan is applied to validate the above theory.
出处 《计算机工程与设计》 CSCD 北大核心 2011年第2期681-684,共4页 Computer Engineering and Design
关键词 流演算 请求/服务协作模型 流演算执行器 并发 中断 fluent calculus request/server cooperation model flux concurrence interrupt
  • 相关文献

参考文献8

  • 1杨爱琴,刘一松.事件演算在行动推理中的应用[J].计算机工程与设计,2008,29(11):2886-2887. 被引量:2
  • 2吴伟华,刘一松.基于流演算和FLUX的办公室机器人控制[J].计算机工程与设计,2008,29(11):2871-2874. 被引量:2
  • 3Thielscher M.Reasoning robots:The art and science of program- ming robotic agents[M].Germany:Springer Berlin,2005.
  • 4Thielscher M.FLUX:A logic programming method for reasoning agents [J]. Theory and Practice of Logic Programming, 2005,5 (4-5):533-565.
  • 5Schiffel S,Thielscher M.Interpreting golog programs in flux[C]. 7th International Symposium on Logical Formalizations of Commonsense Reasoning,2005:193-198.
  • 6Claβen J,Eyerich P, Lakemeyer G,et al.An integration of golog and planning[C].Proceedings of the International Joint Confere- nce on Artificial Intelligence (IJCAI). Hyderabad, India: AAAI Press,2007:242-245.
  • 7Narasamdya I,Martin Y, Thielscher M.Knowledge of other age- nts and communicative actions in the fluent calculus [C]. Pro- ceeding of KR,2004:623-633.
  • 8杨爱琴.基于流演算的多Agent通信动作的研究[J].计算机工程与设计,2010,31(1):221-224. 被引量:4

二级参考文献25

  • 1Cohen P R, Perrault CR. Elements of a plan-based theory of speech acts[J].Cognitive Science, 1979,3(3): 177-212.
  • 2Reiter R.Knowledge in action: logical foundations for specifying and implementing dynamical systems[M].MIT Press,2001.
  • 3Thielscher M.Reasoning robots: The art and science of programming robotic agents[M].Berlin, Germany: Springer,2005.
  • 4Thielscher M.FLUX: A logic programming method for reasoning agents [J]. Theory and Practice of Logic Programming, 2005,5(4-5):533-565.
  • 5Thielscher M.Reasoning about actions with CHRs and finite domain constraints [C]. Stuckey P. Proc of ICLP. Springer, 2002: 70-84.
  • 6Narasamdya I, Martin Y, Thielscher M. Knowledge of other agents and communicative actions in the fluent calculus[C].Proceeding of KR,2004:623-633.
  • 7毛新军.面向主体的软件[M].北京:清华大学出版社,2005.
  • 8Thielscher M.From situation calculus to fluent calculus:State update axioms as a solution to the inferential frame problem[J].Artificial Intelligence,1999,111(1-2):277-299.
  • 9Thielscher M.The fluent calculus:A specification language for robots with sensors in nondeterministic,concurrent,and ramifying environments[R].Dresden:Dresden University of Technical CL,2000.
  • 10Thielscher M.Modeling actions with ramifications in nondetcrministic,concuent,and continuous domams-and a case study[C].Proceedings of AAAI:AAAI Press/The MIT Press,2000:497-502.

共引文献5

同被引文献10

  • 1孟建良,孔维莉,庞春江,杨楷.基于系统体系结构的多agent协作[J].微机发展,2005,15(12):73-74. 被引量:1
  • 2安毅生,李人厚.基于对话的多Agent协作交互模型[J].西安交通大学学报,2005,39(12):1344-1348. 被引量:3
  • 3Wooldridge, M. and Simon Parsons. Language for Nego- tiation [C]. Proe. of 14th European Conf. on Artificial In- telligence, 2000.
  • 4Thielscher M.Reasoning robots:The art and science of programmingrobotic agents[M].Germany:Springer Ber- lin,2005.
  • 5ThielscherM.FLUX:A logic programmingmethod for reasoningagents [J]. Theory and Practice of Logic Pro- gramming, 2005,5(4-5):533-565.
  • 6Schiffel S,Thielscher M.Interpreting golog programs in flux[C].7th International Symposium on Logical Forma- lizations of Commonsense Reasoning,2005:193 198.
  • 7Cohen P R, Perrault CR. Elements of a plan-based theory of speech acts[J].Cognitive Science, 1979,3(3):177-212.
  • 8Reiter R.Knowledge in action: logical foundations for specifyingand implementing dynamical systems[M].M1T Press,2001.
  • 9陈志.基于Agent的无线传感器网络若干问题研究[J]南京邮电大学学报,2007(03):216.
  • 10杨爱琴.基于流演算的多Agent通信动作的研究[J].计算机工程与设计,2010,31(1):221-224. 被引量:4

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部