Abstract
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the unconsidered context of the formalized knowledge and argue that erroneous and inadequate behavior of systems based on formalized knowledge can be attributed to different states of the unconsidered context; either while formalizing or during application of the formalization. We then propose an automatic strategy to identify different states of unconsidered context inside a given formalization and to classify which parts of the formalization to use in a given application situation. The goal of this work is to uncover unconsidered context by observing sucess and failure of a given system in use. The paper closes with the evaluation of the proposed procedures in an error diagnosis scenario featuring a plan based user interface.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brooks, R.A.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1) (March 1986)
Gärdenfors, P.: Belief revision: An introduction. In: Gärdenfors, P. (ed.) Belief Revision, pp. 1–28. Cambridge University Press, Cambridge (1992)
Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Francisco (1987)
Ginsberg, A., Weiss, S.M., Politakis, P.: Automatic knowledge base refinement for classification systems. Artificial Intelligence 2(35), 192–226 (1988)
Goldberg, D.E.: Genetic algorithms in search, optimization, and machine learning. Addison-Wesley Publishing Company, London (1989)
Harries, M.B., Horn, K., Sammut, C.: Learning in time ordered domains with hidden changes in context. In: Papers from the AAAI 1998 Workshop on Predicting the Future: AI Approaches to Time-Series Problems, pp. 29–33 (1998)
Helmbold, D.P., Long, P.M.: Tracking drifting concepts by minimizing disagreements. Technical Report UCSC-CRL-91-26 (1991)
Lenat, D.B.: CYC: A large-scale investment in knowledge infrastructure. Communications of the ACM 38(11), 33–38 (1995)
Ludwig, B.: Tracing actions helps in understanding interactions. In: Alexandersson, J., Knott, A. (eds.) Proceedings of the 7th SIGdial Workshop on Discourse and Dialogue (2006)
Mandl, S., Ludwig, B., Schmidt, S., Stoyan, H.: Recurring hidden contexts in online concept learning. In: Workshop on Planning, Learning and Monitoring with Uncertainty in Dynamic Worlds, pp. 25–29 (2006)
McCarthy, J.: Circumscription—a form of non-monotonic reasoning. Artificial Intelligence 13, 27–39 (1980)
McCarthy, J.: Notes on formalizing context. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, vol. 1, pp. 555–560 (1993)
Niemelä, I., Simons, P., Syrjänen, T.: Smodels: a system for answer set programming. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (April 2000)
Puppe, F., Stoyan, H., Studer, R.: Knowledge engineering. In: Görz, G., Rollinger, C.-R., Schneeberger, J. (eds.) Handbuch der Künstlichen Intelligenz. ch. 15, pp. 599–641. Oldenbourg Verlag, München (2003)
Rabiner, L.R.: A tutorial on hidden markov models and selected applications in speech recognition. Proceedings of the IEEE 77 (1989)
Reiter, R.: Nonmonotonic reasoning. Annual Review of Computer Science 2, 147–186 (1987)
Schmidt, A.: Ubiquitous Computing — Computing in Context. PhD thesis, Lancaster University (2002)
Simons, P.: Extending and implementing the stable model semantics, Research Report 58, Helsinki University of Technology, Helsinki, Finland (2000)
Widmer, G., Kubat, M.: Learning flexible concepts from streams of examples: FLORA 2. In: European Conference on Artificial Intelligence, pp. 463–467 (1992)
Widmer, G., Kubat, M.: Learning in the presence of concept drift and hidden contexts. Machine Learning 23(1), 69–101 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mandl, S., Ludwig, B. (2007). Coping with Unconsidered Context of Formalized Knowledge. In: Kokinov, B., Richardson, D.C., Roth-Berghofer, T.R., Vieu, L. (eds) Modeling and Using Context. CONTEXT 2007. Lecture Notes in Computer Science(), vol 4635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74255-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-74255-5_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74254-8
Online ISBN: 978-3-540-74255-5
eBook Packages: Computer ScienceComputer Science (R0)