CALO Explanation Project Page
The CALO Explanation project provided explanation capabilities for various components in CALO. Through the Integrated Cognitive Explanation Environment (ICEE), this project enabled CALO to explain its task processing and task learning abilities, to aid in building user trust. This work was mainly conducted at Stanford University, Rensselaer Polytechnic Institute (RPI), and SRI International, under the primary guidance of Deborah L. McGuinness.
Research Team
Deborah L. McGuinness, RPI (PI)
Alyssa Glass, Stanford
Michael Wolverton, SRI
Paulo Pinheiro da Silva, UTEP
Cynthia Chang, RPI
Li Ding, RPI
Project Overview
CALO, as an adaptive agent, is incredibly complex. It includes task processors, hybrid theorem provers, and probabilistic inference engines; multiple learning components employing a wide range of logical and statistical techniques; and multiple heterogeneous, distributed information sources underlying the processing. Despite the sophistication, however, individual CALO components typically provide little transparency into the computation and reasoning being performed.
At CALO's heart is also the ability to take autonomous control. CALO must not only assist with user actions, but it must also act autonomously on behalf of its users.
As CALO plans for the achievement of abstract objectives, executes tasks, anticipates future needs, aggregates multiple sensors and information sources, and adapts its behavior over time, there is an underlying assumption that there will be a user in the loop whom CALO is serving. This user would need to understand the CALO's behavior and responses enough to participate in the mixed-initiative execution process and to adjust the autonomy inherent in CALO. The user would also need to trust the reasoning and actions performed by CALO, including that those actions are based on appropriate processes and on information that is accurate and current. CALO needs to be able to use these justifications to derive explanations describing how they arrived at a recommendation, including the ability to abstract away detail that may be irrelevant to the user's understanding and trust evaluation process. Further, with regards specifically to task processing, CALO needs to explain how and under what conditions it will execute a task, as well as how and why that procedure has been created or modified over time.
One significant challenge to explaining a cognitive assistant like CALO is that it, by necessity, includes task processing components that evaluate and execute tasks, as well as reasoning components that determine conclusions. Thus, a comprehensive explainer needs to explain task processing responses as well as more traditional reasoning systems, providing access to both inference and provenance information, which we refer to as knowledge provenance.
The ICEE project aimed to provide transparency into this knowledge provenance for the CALO systems. We conducted a trust study to analyze trust and explanations in complex adaptive agents. We designed an explanation framework to address the issues uncovered by our study, utilizing our Proof Markup Language (PML) intralingua and our Inference Web (IW) infrastructure, which previously had been used to represent provenance and inference information for logical inference, text analytics, and web services, and extending this paradigm to also include the results of task execution systems and machine learning. The resulting framework provides a uniform approach for representing and explaining both provenance and inference information from the disparate communities that contributed components to CALO. In particular, we emphasized (a) the information that systems need to make transparent in order to be considered "explainable," described here through support of introspective predicates provided to the explanation system; and (b) providing explanations across a wide range of machine learning, using a single unified representation. The result is our Integrated Cognitive Explanation Environment (ICEE), the explanation system that we built and tested within CALO.
Publications
- Glass, A., McGuinness, D.L., Pinheiro da Silva, P., and Wolverton, M. "Trustable Task Processing Systems." In Roth-Berghofer, T., and Richter, M.M., editors, KI Journal, Special Issue on Explanation, Kunstliche Intelligenz, 2008. (to appear) [pdf]
- McGuinness, D.L., Furtado, V., Pinheiro da Silva, P., Ding, L., Glass, A., and Chang C. "Explaining Semantic Web Applications." In Cardoso, J., and Lytras, M.D., editors, Semantic Web Engineering in the Knowledge Society, IRM Press, 2008. [pdf]
- Glass, A., McGuinness, D.L., and Wolverton, M. "Toward Establishing Trust in Adaptive Agents." 2008 International Conference on Intelligent User Interfaces (IUI2008), Canary Islands, Spain, 2008. [pdf]
- Pinheiro da Silva, P., Del Rio, N., McGuinness, D.L., Ding, L., Chang, C., and Sutcliffe, G. "User Interfaces for Portable Proofs." 8th International Workshop On User Interfaces for Theorem Provers, 2008.
- McGuinness, D.L., Glass, A., Wolverton, M., and Pinheiro da Silva, P. "Explaining Task Processing in Cognitive Assistants that Learn." Proceedings of the 20th International FLAIRS Conference (FLAIRS-20), Key West, Florida, 2007. [pdf]
- McGuinness, D.L., Glass, A., Wolverton, M., and Pinheiro da Silva, P. "A Categorization of Explanation Questions for Task Processing Systems." 2007 Workshop on Explanation-aware Computing (ExaCt-2007), Vancouver, Canada, 2007. [pdf]
- McGuinness, D.L., Glass, A., Wolverton, M., and Pinheiro da Silva, P. "Explaining Task Processing in Cognitive Assistants that Learn." AAAI 2007 Spring Symposium on Interaction Challenges for Intelligent Assistants, Stanford, California, 2007. [pdf]
- Furtado, V., Pinheiro da Silva, P., McGuinness, D.L., Deshwal, P., Narayanan, D., Carvalho, J., Pinheiro, V., and Chang, C. "Abstracting Web Agent Proofs into Human-Level Justifications." Proceedings of the Twentieth International FLAIRS Conference (FLAIRS-20), Key West, Florida, 2007. [pdf]
- McGuinness, D.L., Ding, L., Glass, A., Chang, C., Zeng, H., and Furtado, V. "Explanation Interfaces for the Semantic Web: Issues and Models." 3rd International Semantic Web User Interaction Workshop (SWUI'06), International Semantic Web Conference (ISWC'06), Athens, Georgia, 2006. [pdf]
- Glass, A. and McGuinness, D.L. "Introspective Predicates for Explaining Task Execution in CALO." Technical Report KSL-06-04, Knowledge Systems, Artificial Intelligence Laboratory, Stanford University, 2006. [pdf]
- Zeng, H., Alhossaini, M., Ding, L., Fikes, R., McGuinness, D.L. "Computing Trust from Revision History." Proceedings of the 2006 International Conference on Privacy, Security and Trust (PST-2006), 2006. [pdf]
- Murdock, J.W., McGuinness, D.L., Pinheiro da Silva, P., Welty, C., and Ferrucci, D. "Explaining Conclusions from Diverse Knowledge Sources." Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, Georgia, 2006.
- Pinheiro, V., Furtado, V., Pinheiro da Silva, P., and McGuinness, D.L. "WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems." Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering, 2006. [pdf]
- McGuinness, D.L., Zeng, H., Pinheiro da Silva, P., Ding, L., Narayanan, D., and Bhaowal, M. "Investigations into Trust for Collaborative Information Repositories." WWW2006 Workshop on the Models of Trust for the Web (MTW'06), 2006. [pdf]
- Victor, P., Cornelis, C., De Cock, M., and Pinheiro da Silva, P. "Towards a Provenance-Preserving Trust Model in Agent Networks." WWW2006 Workshop on the Models of Trust for the Web (MTW'06), 2006. [pdf]
- Cowell, A.J., McGuinness, D.L., Varley, C.F., and Thurman, D.A. "Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems." Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces, 2006. [pdf]
Presentations
- Deborah McGuinness. Presentation and demonstration of InferenceWeb. User Interfaces for Theorem Proving (UITP-08), Montreal, Canada, August 21, 2008. * no CALO travel funds used
- Deborah McGuinness, Li Ding, Cynthia Chang. Poster and demo presentations of ICEE. RPI Tetherless World Constellation Grand Opening, Troy, NY, June 11, 2008. * no CALO travel funds used
- Deborah McGuinness. Future of cyberinfrastructure, including explainable cognitive assistants. NSF Cyberinfrastructure Meeting, Boulder, CO, May 6-7, 2008. * no CALO travel funds used
- Alyssa Glass. Toward Establishing Trust in Adaptive Agents. IUI2008, Canary Islands, Spain, January 16, 2008.
- Alyssa Glass. Explanation and Trust in Adaptive Agents Invited talk at Willow Garage Seminar Series, Menlo Park, CA, September 7, 2007. (PPT)
- Deborah McGuinness. A Categorization of Explanation Questions for Task Processing Systems. ExaCt-2007, Vancouver, Canada, July 22, 2007.
- Deborah McGuinness. Semantically Enabling Informatics Applications. AI and Law Conference, Stanford, CA, June 4-6, 2007.
- Alyssa Glass. Explanation and Trust in Adaptive Agents. Presented at Logic Group meeting, Stanford, CA, May 30, 2007. (PPT)
- Deborah McGuinness, Li Ding, Cynthia Chang. Ontologies 101 Revisited, Advanced OWL Topics, Semantically-Enabled Applications. Semantic Technologies 2007, San Jose, CA, May 20-24, 2007.
- Deborah McGuinness, Explaining Task Processing in Cognitive Assistants that Learn. FLAIRS 2007, Key West, Florida, May 7-9, 2007.
- Deborah McGuinness. An Ontology Spectrum Perspective. NIST Interoperability Week, Washington, DC, April 23-24, 2007.
- Deborah McGuinness, Alyssa Glass. Explaining Task Processing. Stanford Artificial Intelligence Lab Retreat, Monterey, CA, April 18-20, 2007.
- Deborah McGuinness, Alyssa Glass. Explaining Cognitive Assistants that Learn, plus panel presentation on contributions from explanation research. AAAI Spring Symposium on Interaction Challenges for Intelligent Assistants, Stanford, CA, March 26-28, 2007.
- Deborah McGuinness, Alyssa Glass, Cynthia Chang. CALO Explanation Summary and Plans. DARPA CALO Stanford Site Visit, Stanford, CA, January 26, 2007.
- Deborah McGuinness, Alyssa Glass, Michael Woverton. Explaining Cognitive Assistants that Learn. Presented at the DARPA PAL Cognitive Assistant that Learns PI Meeting in the Process Execution Assistant Meeting. SRI International, Menlo Park, CA., January 22, 2007. (PPT)
- Deborah McGuinness. Ontologies and Explanation. DARPA Integrated Learning PI Meeting, Tampa, Florida, November 28-29, 2006. * no CALO travel funds used
- Li Ding, Enhancing Web-scale Semantic Web Data Access, logic group meeting, Stanford, CA, Nov 15, 2006. (PPT)
- Deborah McGuinness, Li Ding. SWUI Interface presentation. ISWC 2006, Athens, Georgia, November 4-11, 2006.
- Deborah McGuinness. Information Integration and Explanation. NSF Information Integration Meeting, Philadelphia, PA, October 26-27, 2006.
- Deborah McGuinness. Improving Trust in Distributed Evolving Systems -- The Inference Web Approach. DTO Apstars Meeting, Washington, DC, August 17, 2006.
- Li Ding, Deborah L. McGuinness, Tim Finin, Anupam Joshi. Semantic Web Technologies: A Tutorial. Kodak Research Laboratories, Rochester, NY, July 18, 2006. (Abstract) (PPT)
- Deborah McGuinness. Trust and Explanation. WWW Models of Trust on the Web, Edinburgh, CA, May 22, 2006.
- Alyssa Glass. Explaining Task Processing in Cognitive Agents. Presented to Stanford Logic Lunch, March 22, 2006. (PPT)
- Deborah McGuinness. Keynote Presentation on Trust and Explanation. Semantic Technology Conference, San Jose, CA, March 6-9, 2006.
- Deborah L. McGuinness. Next Generation Knowledge Systems. Research Topics Seminar, Stanford, CA. October 19, 2005. (PPT)
- Deborah L. McGuinness. Increasing Trust in Answers from Intelligence Applicaions: The Inference Web Approach. Invited Talk, Pacific Northwest Research Center, Richland, Washington, August 5, 2005. (PPT)
- Paulo Pinheiro da Silva. Explainable Systems: The Inference Web Approach. Invited Talk, Knowledge Media Institute, Open University, Milton Keynes, UK, 2005. (PPT)
- Deborah L. McGuinness. Why Should You Trust Answers from the Web. Invited talk for the Joint Conference on Information Sciences,Web Intelligence and Security Track, Salt Lake City, Utah, July 23, 2005. A paper accompanies this talk. (PPT)
- Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. iTrust2005, Rocquencourt, France, 2005. (PPT)
- Deborah L. McGuinness, Dan Mandell, Sheila Mcllraith, Paulo Pinheiro da Silva. Explainable Semantic Discovery Services. Stanford Networking Research Center Project Review, February 17, 2005, Stanford, CA (PPT)
- Deborah McGuinness. Explaining Information. New Paradigms in Using Computers , Amaden, CA. August 4, 2004. (PPT)
Posters
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva, Cynthia Chang, and Li Ding. Explainable Adaptive Assistants. DARPA CALO PI Meeting, Menlo Park, CA, USA, January 2009. (PPT)
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva, and Cynthia Chang. Explainable Adaptive Assistants. Tetherless World Constellation Grand Opening, RPI, Troy, NY, USA, June 2008. (PPT)(PDF)
- Deborah L. McGuinness, Alyssa Glass, and Michael Wolverton. Toward Establishing Trust in CALO. DARPA CALO PI Meeting, Menlo Park, CA, USA, February 2008. (PPT)
- Deborah L. McGuinness, Alyssa Glass, and Michael Wolverton. Explaining Cognitive Assistants that Learn: CALO Year 3 ICEE Advances. DARPA CALO PI Meeting, Menlo Park, CA, USA, January 2007. (PDF)
- Alyssa Glass. Explaining Preference Learning. Stanford Machine Learning Poster Session, Stanford, CA, USA, December 2006. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Alyssa Glass, and Michael Wolverton. Explainable Cognitive Assistants. DARPA CALO PI Meeting, Menlo Park, CA, USA, October 2005. (PPT) (PDF)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Priyendra Deshwal. Towards Explaining CALO-QM Answers. DARPA CALO PI Meeting, SRI International, Menlo Park, CA, USA, May 2004. (PPT)
Demos