A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1193, Issue , 2015, Pages 189-203

  Bretier, Philippe ^a   Sadek, David ^a  

^a ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COOPERATIVE COMMUNICATION; SPEECH PROCESSING; THEOREM PROVING; COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS;

COMMUNICATING AGENTS; LOGICAL FRAMEWORKS; LOGICAL THEORIES; MENTAL ATTITUDE; RATIONAL AGENTS; RATIONAL BEHAVIOURS; SPOKEN DIALOGUE SYSTEM; THEOREM PROVERS;

AUTONOMOUS AGENTS;

EID: 84926299722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (28)

1. M. E. Bratman, editor. Intention, Plans, and practical reason. Harvard University Press, Massachusetts, 1987.
2. P. Bretier. La Communication orale coopérative: contribution à la modélisation Iogique et à la mise en oeuvre d'un agent rationnel dialoguant. Thèse de Doctorat Informatique, Université de Paris XIII, France, 1995.
3. P. Bretier and M. D. Sadek. Designing and implementing a theory of rational interaction to be the kernel of a cooperative spoken dialogue system. In Proceedings of the AAAI Fall Symposium on Rational Agency, Cambridge, MA, November 1995.
4. L. Catach. Modal resolution. In Proceedings of AFCET-RFIA, pages 1079-1093, 1987.
5. L. Catach. TABLEAUX: A general theorem prover for modal logics. Journal of Automated Reasoning, 7(4):489-510, December 1991.
6. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificiallntelligence, 42(2-3):213-262, 1990.
7. P. Enjalbert and L. Farifias del Cerro. Modal resolution in clausal form. TheoricalComputer Science, 65:1-33, 1989.
8. L. Farifias del Cerro. Resolution modal logic. Logique etAnalyse, 110-111, 1985.
9. M. C. Fitting, editor. ProofmethodsforModalandlntuitionisticLogics. D. Reidel publishing Co., 1983.
10. K. Konolige. A deduction model of belief Pitman, Morgan Kaufmann, London, 1986.
11. K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proceedings of the 13 th IJCAL pages 390-395, Chambery, France, 1993.
12. H. J. Levesque. Foundation of a functional approach to knowledge representation. Artificial Intelligence, 23(2):155-212, July 1984.
13. Y. L6sperance, H.J. Levesque, E Lin, D. Marcu, R. Reiter, and R.B. Scherl. Foundations of a logical approach to agent programming. In Intelligent Agents II, volume 1037 of Lecture Notes in Artificial Intelligence, pages 331-346. Springer-Verlag, 1996.
14. R. C. Moore. Reasoning about knowledge and action. PhD thesis, MIT, Cambridge, 1980.
15. A. Newell. The knowledge level. Artificial Intelligence, 18:87-128, 1982.
16. H. J. Ohlbach, A resolution calculus for modal logic. In E. Lusk and R. Overbeek, editors, Proceedings of the 8 th Conference on Automated Deduction CADE-88, volume 310 of Lecture Note in Computer Science, pages 500-516, 1988.
17. E Panaget. D'un système générique de génération d'énoncés en contexte de dialogue oral à la formalisation logique des capacités linguistiques d'un agent rationnel dialoguant. Thèse de Doctorat Inforrnatique, Université de Rennes I, France, Mars 1996.
18. A. S. Rao and M. E Georgeff. Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In Proceedings of the 12 th IJCAL pages 498-504, Sydney, Australia, 1991.
19. A. S. Rao and M. E Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, AAII, Sydney, Australia, 1995.
20. J. A. Robinson. A machine-oriented logic based on the resolution principle, journal of the ACM, 12:23-41, 1965.
21. M. D. Sadek. Attitudes mentales et interaction rationnelle: vers une théorie formelle de la communication. Thèse de Doctorat Informatique, Université de Rennes I, France, Juin 1991.
22. M. D. Sadek. Dialogue acts are rational plans. In Proceedings of the ESCA/ETRW Workshop on the structure of multimodal dialogue, pages 1-29, Maratea, Italie, September 1991.
23. M. D. Sadek. A study in the logic of intention. In Proceedings of the 3 Ta Conference on Principles of Knowledge Representation and Reasoning (KR '92), pages 462-473, Cambridge, MA, 25-29 October 1992.
24. M. D. Sadek. Communication theory = rationality principles + communicative act models. In Proceedingsof the AAAI-94 Workshop on Planning for lnteragent Communication, Seattle, WA, July 30-August 5 1994.
25. M. D. Sadek, A. Ferrieux, A. Cozannet, E Bretier, E Panaget, and J. Simonin. Effective human-computer cooperative spoken dialogue: The ags demonstrator. In Proceedings of the International Conference on Spoken Language Processing, Philadelphia, USA, October 3-6 1996.
26. Y. Shoham. Agent-oriented programming. Artificial lntelligence, 60(1):51-92, 1993.
27. D. R. Traum. A reactive-deliberative model of dialogue agency. In J. P. Miiller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents I11 -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
28. M. J. Wooldridge. A knowledge-theoretic semantics for concurrent metatem. In J, P. MUller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents I11 -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.