Planning dialog actions

Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue

Volumn , Issue , 2007, Pages 265-272

  Steedman, Mark ^a   Petrick, Ronald P A ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIALOG ACTS; INFINITE STATE SPACE; LINEAR DYNAMICS; MIXED-INITIATIVE; PLANNING PROCESS; PLANNING WITH INCOMPLETE INFORMATION;

LOGIC PROGRAMMING;

EID: 69549093450     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Nicholas Asher and Alex Lascarides. 2003. Logics of Conversation. Cambridge University Press, Cambridge.
2. Robbert-Jan Beun. 2001. On the generation of coherent dialogue. Pragmatics and Cognition, 9:37-68.
3. Wolfgang Bibel, Luis Farinas del Cerro, B. Fronhfer, and A. Herzig. 1989. Plan generation by linear proofs: on semantics. In German Workshop on Artificial Intelligence - GWAI'89, volume 216 of Informatik-Fachberichte, Berlin. Springer Verlag.
4. Michael Bratman, David Israel, and Martha Pollack. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349-355.
5. Jennifer Chu-Carroll and Sandy Carberry. 1995. Response generation in collaborative negotiation. In Proceedings of ACL-95, pages 136-143. ACL.
6. Philip Cohen and Hector Levesque. 1990. Rational interaction as the basis for communication. In Philip Cohen, Jerry Morgan, and Martha Pollack, editors, Intentions in Communication, pages 221-255. MIT Press, Cambridge, MA.
7. Robert Demolombe and Maria del Pilar Pozos Parra. 2000. A simple and tractable extension of situation calculus to epis-temic logic. In Proceedings of ISMIS-2000, pages 515-524.
8. Oren Etzioni, Steve Hanks, Daniel Weld, Denise Draper, Neal Lesh, and Mike Williamson. 1992. An approach to planning with incomplete information. In Proceedings of KR-92, pages 115-125.
9. Oren Etzioni, Keith Golden, and Daniel Weld. 1994. Tractable closed world reasoning with updates. In Proceedings of KR-94, pages 178-189. Morgan Kaufmann Publishers.
10. Richard Fikes and Nils Nilsson. 1971. Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208.
11. Jean-Yves Girard. 1987. Linear logic. Theoretical Computer Science, 50:1-102.
12. Nancy Green and Sandra Carberry. 1994. A hybrid reasoning model for indirect answers. In Proceedings of ACL-94, pages 58-65. ACL.
13. Barbara Grosz and Candace Sidner. 1990. Plans for discourse. In Philip Cohen, Jerry Morgan, and Martha Pollack, editors, Intentions in Communication, pages 417-444. MIT Press, Cambridge, MA.
14. David Harel. 1984. Dynamic logic. In Dov Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, pages 497-604. Reidel, Dordrecht.
15. Robert Kowalski and Maurice Sergot. 1986. A logic-based calculus of events. New Generation Computing, 4:67-95.
16. Lynn Lambert and Sandra Carberry. 1991. A tripartite plan-based model of dialogue. In Proceedings of ACL-91, pages 47-54. ACL.
17. Diane Litman and James Allen. 1987. A plan recognition model for subdialogues in conversation. Cognitive Science, 11:163-200.
18. Colin Matheson, Massimo Poesio, and David Traum. 2000. Modeling grounding and discourse obligations using update rules. In Proceedings of NAACL 2000, Seattle.
19. Nicolas Maudet. 2004. Negotiating language games. Autonomous Agents and Multi-Agent Systems, 7:229-233.
20. John McCarthy and Patrick Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence, volume 4, pages 473-502. Edinburgh University Press, Edinburgh.
21. Robert Moore. 1985. A formal theory of knowledge and action. In Jerry Hobbs and Robert Moore, editors, Formal Theories of the Commonsense World, pages 319-358. Ablex, Norwood, NJ. Reprinted as Ch. 3 of (Moore, 1995).
22. Robert Moore. 1995. Logic and Representation, volume 39 of CSLI Lecture Notes. CSLI/Cambridge University Press, Stanford CA.
23. Leora Morgenstern. 1988. Foundations of a Logic of Knowledge, Action, and Communication. Ph.D. thesis, NYU, Courant Institute of Mathematical Sciences.
24. Ronald P. A. Petrick and Fahiem Bacchus. 2002. A knowledge-based approach to planning with incomplete information and sensing. In Proceedings of AIPS-02, pages 212-221.
25. Ronald P. A. Petrick and Fahiem Bacchus. 2004. Extending the knowledge-based approach to planning with incomplete information and sensing. In Proc. of ICAPS-04, pages 2-11. (Pubitemid 40201826)
26. Satinder Singh, Diane Litman, Michael Kearns, and Marilyn Walker. 2002. Optimizing dialogue management with reinforcement learning: Experiments with the NJFun system. Journal of Artifial Intelligence Research, 16:105-133. (Pubitemid 43057171)
27. Mark Steedman. 1997. Temporality. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language, pages 895-938. North Holland/Elsevier, Amsterdam.
28. Mark Steedman. 2002. Plans, affordances, and combinatory grammar. Linguistics and Philosophy, 25:723-753.
29. Mark Steedman. 2006. Surface compositional semantics of intonation. In submission.
30. Matthew Stone. 1998. Abductive planning with sensing. In Proceedings of AAAI-98, pages 631-636, Menlo Park CA. AAAI.
31. Matthew Stone. 2000. Towards a computational account of knowledge, action and inference in instructions. Journal of Language and Computation, 1:231-246.
32. David Traum and James Allen. 1992. A speech acts approach to grounding in conversation. In Proceedings of ICSLP-92, pages 137-140.
33. R. Michael Young and Johanna D. Moore. 1994. DPOCL: a principled approach to discourse planning. In Proceedings of the 7th International Workshop on Natural Language Generation, pages 13-20.