Logical foundations of agent-based computing
关键词:
摘要: Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice tool to define informational, motivational dynamic aspects of agents. We conclude by showing how an programming language can also benefit from this approach.
springer.com
sci-hub.st 参考文章(14)
Wiebe van der Hoek, John-Jules Ch. Meyer, Epistemic logic for AI and computer science ,(1995)
Anand S. Rao, Michael P. Georgeff, Modeling rational agents with a BDI-architecture principles of knowledge representation and reasoning. pp. 317- 328 ,(1997)
Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer, An Integrated Modal Approach to Rational Agents Applied Logic Series. pp. 133- 167 ,(1999) , 10.1007/978-94-015-9204-8_7
Koen V. Hindriks, Frank S. De Boer, Wiebe Van der Hoek, John-Jules Ch. Meyer, Agent Programming in 3APL Autonomous Agents and Multi-Agent Systems. ,vol. 2, pp. 357- 401 ,(1999) , 10.1023/A:1010084620690
Michael J. Wooldridge, Reasoning about Rational Agents ,(2000)
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer, Agent Programming with Declarative Goals intelligent agents. pp. 228- 243 ,(2000) , 10.1007/3-540-44631-1_16
Daniel Clement Dennett, The Intentional Stance ,(1987)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, ConGolog , a concurrent programming language based on the situation calculus Artificial Intelligence. ,vol. 121, pp. 109- 169 ,(2000) , 10.1016/S0004-3702(00)00031-X
Yoav Shoham, Becky Thomas, Agent-oriented programming Artificial Intelligence. ,vol. 60, pp. 329- 349 ,(1993) , 10.1016/0004-3702(93)90034-9
Anand S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away. pp. 42- 55 ,(1996) , 10.1007/BFB0031845