Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness

Journal of Logic and Computation

Volumn 15, Issue 1, 2005, Pages 21-40

  Anderson, Michael L ^a   Perlis, Donald R ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b Institute of Advanced Computer Science   (United States)

Author keywords

Active logic; Autonomous agents; Brittleness; Metareasoning; Non monotonic reasoning; Time

Indexed keywords

AUTONOMOUS AGENTS; BRITTLENESS; DECISION MAKING; FORMAL LOGIC; MATHEMATICAL MODELS; PERTURBATION TECHNIQUES; SENSORS;

ACTIVE LOGIC; METAREASONING; NON-MONOTONIC REASONING; TIME;

PROBLEM SOLVING;

EID: 15744362251     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/exh034     Document Type: Article

References (61)

1. Logical formalizations and commonsense reasoning, 2004. Special issue of Artificial Intelligence, edited by Ernest Davis and Leora Morgenstern.
2. J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. Journal of Logic and Computation, 4, 531-580, 1994.
3. J. F. Allen, B. W. Miller, E. K. Ringger, and T. Sikorski. A robust system for natural spoken dialogue. In Proceedings of the 1996 Annual Meeting of the Association for Computational Linguistics (ACL-96), pp. 62-70, 1996.
4. M. L. Anderson. Embodied cognition: a field guide. Artificial Intelligence, 149, 91-130, 2003.
5. M. L. Anderson, W. Gomaa, J. Grant, and D. Perlis. On the reasoning of real-word agents: toward a semantics for active logic, in preparation.
6. th German Conference on Artificial Intelligence, 2002.
7. M. L. Anderson, D. Josyula, and D.Perlis. Talking to computers. In Proceedings of the Workshop on Mixed Initiative Intelligent Systems, IJCAI-03, 2003.
8. M. L. Anderson, D. Josyula, D. Perlis, and K. Purang. Active logic for more effective human-computer interaction and other commonsense applications. In Proceedings of the Workshop Empirically Successful First-Order Reasoning, International Joint Conference on Automated Reasoning, 2004.
9. M. L. Anderson, Tim Oates, Waiyian Chong, and D. Perlis. Enhancing reinforcement learning with metacognitive monitoring and control for improved perturbation tolerance, in preparation.
10. M. L. Anderson, Y. Okamoto, D. Josyula, and D. Perlis. The use-mention distinction and its importance to HCI. In Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialog, 2002.
11. M. Bhatia, P.Chi, W. Chong, D. P. Josyula, M. Anderson, Y. Okamoto, D. Perlis, and K. Purang. Handling uncertainty with active logic. In Proceedings of the AAAI Fall Symposium on Uncertainty in Computation, 2001.
12. W. Bibel. Let's plan it deductively. Artificial Intelligence, 103, 183-208, 1998.
13. P. Bloom and L. Markson. Capacities underlying word learning. Trends in Cognitive Sciences, 2, 67-73, 1998.
14. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, RA-2, 14-23, 1986.
15. R. A. Brooks. Intelligence without reason. In Proceedings of 12th International Joint Conference on Artificial Intelligence, pp. 569-95, 1991.
16. R. A. Brooks. From earwigs to humans, practice and future of autonomous agents, Robotics and Autonomous Systems, 20, 291-304, 1997.
17. R. Brooks. Intelligence without representation. Artificial Intelligence, 47, 139-60, 1991.
18. F. Brown, (ed.). The Frame Problem in Artificial Intelligence. Morgan Kaufmann, 1987.
19. W. Chong, M. O'Donovan-Anderson, Y. Okamoto, and D. Perus. Seven days in the life of a robotic agent. In Proceedings of the GSFC/JPL Workshop on Radical Agent Concepts, 2002.
20. J. Doyle. A truth maintenance system. Artificial Intelligence, 12, 231-272, 1979.
21. J. Doyle. A Model for Deliberation, Action, and Introspection. PhD thesis, Massachusetts Institute of Technology, 1980.
22. J. Elgot-Drapkin and D. Perlis. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2, 75-98, 1990.
23. D. M. Gabbay and J. Woods. Agenda Relevance: A Study in Formal Pragmatics. North-Holland, 2003.
24. M. Ginsberg, (ed.). Readings in Nonmonotonic Reasoning. Morgan Kaufmann, 1987.
25. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988.
26. P. Gärdenfors. Belief Revision. Cambridge University Press, Cambridge, 1992.
27. P. Gärdenfors and H. Rott. Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume IV, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, eds. pp. 35-132. Oxford University Press, 1995.
28. K. Hennacy. N. Swamy, and D. Perlis. RGL study in a hybrid real-time system. In Proceedings of the IASTED NCI, 2003.
29. D. Josyula, M. L. Anderson, and D. Perlis. Towards domain-independent, task-oriented, conversational adequacy. In Proceedings of IJCAI-2003 Intelligent Systems Demonstrations, pp. 1637-8, 2003.
30. H. H. Kendler and T. S. Kendler. Vertical and horizontal processes in problem solving. Psychological Review, 69, 1-16, 1962.
31. H. H. Kendler and T. S. Kendler. Reversal-shift behavior: Some basic issues. Psychological Bulletin, 72, 229-32, 1969.
32. H. Khalil. Logical Foundations of Default Reasoning. PhD thesis, University of Leipsig, Leipzig, Germany, 2002.
33. D. Kirsh. Today the earwig, tomorrow man? Artificial Intelligence, 47, 161-184, 1991.
34. G.F.Marcus. The Algebraic Mind: Integrating Connectionism and Cognitive Science. MIT Press, 2001.
35. J. McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28, 89-116, 1986.
36. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, B. Meltzer and D. Michie, eds, pp. 463-502. Edinburgh University Press, 1969.
37. O. Melnik and J.B. Pollack. Theory and scope of exact representation extraction from feed-forward networks. Cognitive Systems Research, 3, pp. 203-226, 2002.
38. M. Miller. A View of One's Past and Other Aspects of Reasoned Change in Belief. PhD thesis. Department of Computer Science, University of Maryland, College Park. Maryland, 1993.
39. M. Miller and D. Perlis. Presentations and this and that: logic in action. In Proceedings of the 15th Annual Conference of the Cognitive Science Society, Boulder, Colorado, 1993.
40. A. W. Moore and C. G. Atkeson. Prioritized sweeping: Reinforcement learning with less data and less time. Machine Learning, 13, 103-130, 1993.
41. T. O. Nelson. Consciousness and metacognition. American Psychologist, 51, 102-16, 1996.
42. T. O. Nelson and J. Dunlosky. Norms of paired-associate recall during multitrial learning of Swahili-English translation equivalents. Memory, 2, 325-35, 1994.
43. T. O. Nelson, J. Dunlosky, A. Graf, and L. Narens. Utilization of metacognitive judgments in the allocation of study during multitrial learning. Psychological Science, 4, 207-13, 1994.
44. M. Nirkhe, S. Kraus, M. Miller, and D. Perlis. How to (plan to) meet a deadline between now and then. Journal of Logic and Computation. 7, 109-156, 1997.
45. D. Perlis. On the consistency of commonsense reasoning. Computational Intelligence, 2, 180-190, 1986.
46. D. Perlis. Sources of and exploiting, inconsistency: Preliminary report. Journal of Applied Non-classical Logics, 7, pp. 13-24, 1997.
47. D. Perlis, K. Purang, and C. Andersen. Conversational adequacy: mistakes are the essence. International Journal of Human-Computer Studies, 48, 553-575, 1998.
48. G. Priest. Paraconsistent logic. In Handbook of Philosophical Logic, 2ed, D. Gabbay and F. Guenther, eds, pp. 287-393. Kluwer Academic Publishers, 2002.
49. G. Priest. R. Routley, and J. Norman. Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, München, 1989.
50. K. Purang. Systems that Detect and Repair their Own Mistakes. PhD thesis. Department of Computer Science, University of Maryland. College Park. Maryland, 2001.
51. K. Purang, D. Purushothaman. D. Traum. C. Andersen. D. Traum, and D. Perlis. Practical reasoning and plan execution with active logic. In Proceedings of the IJCAI'99 Workshop on Practical Reasoning and Rationality, 1999.
52. N. Rescher and A. Urquhart. Temporal Logic. Springer-Verlag, New York, 1971.
53. S. Russell and E. Wefald. Principles of metareasoning. Artificial Intelligence, 49, 361-395, 1991.
54. R. Sun, T. Peterson. and C. Sessions. The extraction of planning knowledge from reinforcement learning neural networks. In Proceedings of 12th Italian Workshop on Neural Nets, 2001.
55. R. Sun. Integrating Rules and Connectionism for Robust Commonsense Reasoning. John Wiley and Sons, Inc., New York, 1994.
56. R. Sun. Supplementing neural reinforcement learning with symbolic methods. In Hybrid Neural Systems, S. Wermeter and R. Sun, eds, pp. 333-47. Springer-Verlag, Berlin, 2000.
57. R. S. Sutton and A. G. Barto. Reinforcement Learning: An Introduction. MIT Press, 1995.
58. D. R. Traum, C. F. Andersen, W. Chong, D. Josyula, Y. Okamoto, K. Purang, M. O'Donovan-Anderson, and D. Perlis. Representations of dialogue state for domain and task independent meta-dialogue. Electronic Transactions on Artificial Intelligence, 3, 125-152, 1999.
59. C. J. C. H. Watkins. Learning from Delayed Rewards. PhD thesis, Cambridge University, Cambridge, England, 1989.
60. C. J. C. H. Watkins and P. Dayan. Q-learning. Machine Learning, 8, 279-292, 1992.
61. S. Wermeter and R. Sun. Hybrid Neural Systems. Springer-Verlag, Heidelberg, 2000.