van der Hoek W, Wooldrige W. Towards a Logic of Rational Agen
[2]
cy. Logic Journal of the IGPL, 2003, 11(2): 133- Shi Zhongzhi. Intelligent Agent and Its Application. Beijing, Chi na: Science Press, 2000 (in Chinese)摇摇(史忠植. 智能主体及其应用. 北京:科学出版社, 2000)7 9 5 5 期摇摇摇摇周熠等:部分蕴涵复杂性分析[3] Hu Shanli, Shi Chunyi. An Intention Model for Agent. Journal of Software, 2000, 11(7): 965-970 (in Chinese)摇摇(胡山立,石纯一. Agent 的意图模型. 软件学报, 2000, 11(7):965-970)[4] Mao Xinjun, Wang Huaiming, Chen Huowang, et al. The Intention Theory of Agent Computing in Multi-Agent System. Journal of Soft
[3]
ware, 1999, 10(1): 43-48 (in Chinese)摇摇(毛新军,王怀民,陈火旺,等. Agent 在多Agent 系统中计算的意愿理论. 软件学报, 1999, 10(1): 43-48) Rao A S, Georgeff M P. Modeling Rational Agents within a BDI-Ar chitecture / / Proc of the 2nd International Conference on Principles of Knowledge Representation and Reasoning. San Mateo, USA:Morgan Kaufmann, 1991: 473-484[6] Zhao Xinyu, Lin Zuoquan. Modeling Belief, Capability and Promise for Cognitive Agents-A Modal Logic Approach / / Proc of the 1st In ternational Conference on Natural Computation. Changsha, China,
[4]
20 05: 825- Lang J, Liberatore P, Marquis P. Propositional Independence -For
[5]
mula-Variable Independence and Forgetting. Journal of Artificial In telligence Research, 2003, 18: 391- Lakemeyer G. Relevance from an Epistemic Perspective. Artificial Intelligence, 1997, 97(1/2): 137-167[9] Marquis P. Novelty Revisited / / Proc of the 6th International Sym posium on Methodologies for Intelligent System. Charlotte, USA,1991: 550-559[10] Eiter T, Gottlob G. The Complexity of Logic-Based Abduction. Journal of ACM, 1995, 42(1): 3-42[11] Chen Rong, Jiang Yunfei, Lin Li. Study of Abductive Reasoning:State of the Art and Problems. Computer Science, 2003, 30(5):23-25,36 (in Chinese)摇摇(陈荣,姜云飞,林笠. 溯因推理研究:现状与问题. 计算机科学,2003, 30(5): 23-25,36)[12] Zhou Yi, Chen Xiaoping. Partial Implication Semantics for Desira ble Propositions / / Proc of the 9th International Conference on Prin ciples of Knowledge Representation and Reasoning. Whistler, Cana
[6]
da, 2004: 606- Zhou Yi, Chen Xiaopin. Implicit Desire and Its Formalization.
[7]
Journal of Software, 2005, 16(5): 771-778 (in Chinese)摇摇(周熠,陈小平. 隐式愿望及其形式化. 软件学报, 2005, 16(5): 771-778) Papadimitriou C H. Computational Complexity. New York, USA:Addison-Wesley, 1994
