A new action description scheme for informal reasoning

Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009

Volumn 2, Issue , 2009, Pages 582-588

  Rafique, Umair ^a   Huang, Shell Ying ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Action description; Informal reasoning; Smart homes

Indexed keywords

ACTION DESCRIPTION; DAILY LIVES; INFORMAL REASONING; MAKING DECISION; REASONING ABOUT ACTIONS; REASONING ALGORITHMS; SMART HOMES; SUPPORTING FACTORS;

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; INTELLIGENT BUILDINGS;

AUTOMATION;

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

References (21)

1. L. Chen, C. Nugent, M. Mulvenna, D. Finlay, X. Hong, and M. Poland, "Using event calculus for behaviour reasoning and assistance in a smart home," in S. Helal et al. (Eds.): 1COST 2008, LNCS 5120, 2008, pp. 81-89.
2. B. Bouchard, A. Bouzouane, and S. Giroux, "A smart home agent for plan recognition," in Proceedings of AAMAS'06. New York, NY, USA: ACM, 2006, pp. 320-322.
3. R. Simpson, D. Schreckenghost, E. LoPresti, and N. Kirsch, "Plans and planning in smart homes," in J.C. Augusto and CD. Nugent (Eds.): Designing Smart Homes, LNA1 4008, 2006, pp. 71-84.
4. K. L. Myers and N. Yorke-Smith, "A cognitive framework for delegation to an assistive user agent," in Proceedings of AAA] 2005 Fall Symposium on Mixed-Initiative Problem Solving Assistants, Arlington, VA, 2005.
5. S. J. Payne, "Problem solving (everyday)," 2001, international Encyclopedia of Social and Behavioral Sciences.
6. J. J. Voss, "Informal reasoning, psychology of," 2001, international Encyclopedia of Social and Behavioral Sciences.
7. M. Shanahan, "An attempt to formalise a non-trivial benchmark problem in common sense reasoning," Artificial Intelligence, vol. 153, no. 1-2, pp. 141-165, 2004.
8. R. E. Fikes and N. J. Nilsson, "Strips: A new approach to the application of theorem proving to problem solving," Artificial Intelligence, vol. 2, no. 3-4, pp. 189-208, 1971.
9. E. P. D. Pednault, "ADL: exploring the middle ground between strips and the situation calculus," in Proceedings of the first international conference on Principles of knowledge representation and reasoning. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 1989, pp. 324-332.
10. E. Giunchiglia, J. Lee, V. Lifschitz, and N. McCain, "Nonmonotonic causal theories." Artificial Intelligence, vol. 153, no. 1-2, pp. 49-104, 2004.
11. E. Pednault, "Adl and the state-transition model of action," Journal of Logic and Computation, vol. 4, no. 5, pp. 467-512, 1994.
12. M. Ghallab, D. Nau, and P. Traverso, Automated Planning: Theory and Practice. San Francisco, CA, USA: Morgann Kaufmann, 2004.
13. M. Bratman, Intention, plans, and practical reason. Cambridge, Massachusetts: Harvard University Press, 1987.
14. J. Thangarajah, M. Winikoff, L. Padgham, and K. Fischer, "Avoiding resource conflicts in intelligent agents," in Proceedings of the 15th European Conference on Artifical Intelligence, ECAl'02. IOS Press, 2002.
15. P. Langley, K. Cummings, and D. Shapiro, "Hierarchical skills and cognitive architectures," in Proceedings of the Twenty-Sixth Annual Conference of the Cognitive Science Society, 2004, pp. 779-784.
16. J. E. Laird, A. Newell, and P. S. Rosenbloom, "Soar: an architecture for general intelligence," Artificial Intelligence, vol. 33, no. 1, pp. 1-64, 1987.
17. A. Newell, "Production systems: Models of control structures," in Visual Information Processing, W. Chase, Ed. New York: Academic Press, 1973.
18. M. Oaksford and N. Chater, "Theories of reasoning and the computational explanation of everyday inference," Thinking and Reasoning, vol. I, no. 2, pp. 121-152, 1995.
19. U. Rafique and S. Y. Huang, "SMART: Structured memory for abstract reasoning and thinking," in M.A. Orgun and J. Thornton (Eds.): Al 2007, LNA1 4830, 2007, pp. 781-785.
20. D. Choi, M. Kaufman, P. Langley, N. Nejati, and D. Shapiro, "An architecture for persistent reactive behavior," in Proceedings of AAMAS'04, 2004, pp. 998-995.
21. J. R. Anderson, M. D. Byrne, S. Douglass, C. Lebiere, and Y. Qin, "An integrated theory of the mind," Psychological Review, vol. 111, no. 4, pp. 1036-1050, 2004.