A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction
暂无分享,去创建一个
[1] Patrice Enjalbert,et al. Modal Resolution in Clausal Form , 1989, Theor. Comput. Sci..
[2] Hans Jürgen Ohlbach,et al. A Resolution Calculus for Modal Logics , 1988, CADE.
[3] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[4] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[5] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[6] K. Konolige. A deduction model of belief , 1986 .
[7] David R. Traum,et al. A Reactive-Deliberative Model of Dialogue Agency , 1996, ATAL.
[8] Anand S. Rao,et al. Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.
[9] Yoav Shoham. Agent-Oriented Programming , 1993, Artif. Intell..
[10] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[11] Michael Wooldridge,et al. A Knowledge-Theoretic Semantics for Concurrent METATEM , 1996, ATAL.
[12] Allen Newell,et al. The Knowledge Level , 1989, Artif. Intell..
[13] Franck Panaget. D'un systeme generique de generation d'enonces en contexte de dialogue oral a la formalisation logique des capacites linguistiques d'un agent rationnel dialoguant , 1996 .
[14] Philippe Bretier,et al. Effective human-computer cooperative spoken dialogue: the AGS demonstrator , 1996, Proceeding of Fourth International Conference on Spoken Language Processing. ICSLP '96.
[15] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[16] L. Fariñas-del-Cerro,et al. Resolution modal logics , 1989 .
[17] Kurt Konolige,et al. A Representationalist Theory of Intention , 1993, IJCAI.
[18] Philippe Bretier. La communication orale coopérative : contribution à la modélisation logique et à la mise en oeuvre d'un agent rationnel dialoguant , 1995 .
[19] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[20] M. David Sadek,et al. A Study in the Logic of Intention , 1992, KR.
[21] Daniel Marcu,et al. Foundations of a Logical Approach to Agent Programming , 1995, ATAL.