Abstract
We present an approach for studying logical properties of problem-solving methods (PSMs) for knowledge-intensive tasks. It is based on semantic tableaux (a deduction-style theorem-proving technique). We show how tableaux can be manipulated in a methodical way to formalize non-deductive style PSMs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Aliseda-LLera. Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD thesis, ILLC, University of Amsterdam, Amsterdam, The Netherlands, 1997.
V. R. Benjamins and D. Fensel. Problem-solving methods. Int. J. Human-Computer Studies, 49(4):305–313, 1998. Editorial special issue.
E.W. Beth. Semantic entailment and formal derivability. In J. Hintikka, editor, The Philisophy of Mathematics, pages 9–41. Oxford University Press, 1969.
D. Fensel and R. Groenboom. Specifying knowledge-based systems with reusable components. In Proceedings of SEKE-97, 1997.
M. C. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, New York, 1990.
T. R. Gruber, G. R. Olsen, and J. Runkel. The configuration-design ontologies and the VT elevator domain theory. Int. J. Human-Computer Studies, 44(3/4):569–598, 1996.
A. C. Kakas, R. A. Kowalski, and M. Toni. Abductive logic programing. Journal of Logic and Computation, 2(6):719–770, 1993.
A. Th. Schreiber, J.M. Akkermans, A. A. Anjewierden, R. de Hoog, N. R. Shadbolt, W. Van de Velde, and B. J. Wielinga. Knowledge Engineering and Management: The CommonKADS Methodology. MIT Press, Cambrdige, MA, 1999.
M. Stefik. Introduction to Knowledge Systems. Los Altos, CA. Morgan Kaufmann, 1993.
F. van Harmelen and A. ten Teije. Characterising problem solving methods by gradual requirements. In Proceedings of the Eleventh Workshop on Knowledge Acquisition for Knowledge-Based Systems (KAW’98), Banff, Alberta, 1998.
B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber. A competence theory approach to problem-solving method construction. Int. J. Human-Computer Studies, 49:315–338, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jansen, M.G., Th. Schreiber, A., Wielinga, B.J. (2000). Adapting Tableaux for Classification. In: Dieng, R., Corby, O. (eds) Knowledge Engineering and Knowledge Management Methods, Models, and Tools. EKAW 2000. Lecture Notes in Computer Science(), vol 1937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39967-4_26
Download citation
DOI: https://doi.org/10.1007/3-540-39967-4_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41119-2
Online ISBN: 978-3-540-39967-4
eBook Packages: Springer Book Archive