Abstract
In many knowledge based systems the application domain is modeled in an object-centered formalism. Research in knowledge acquisition has given evidence that this approach allows one to adequately model the conceptual structures of human experts. However, when a novice user wants to describe a particular task to be solved by such a system he has to be well acquainted with the underlying domain model, and therefore is charged with the burden of making himself familiar with it. We aim at giving automated support to a user in this process, which we call task acquisition.
This paper describes the Tacos system, which guides a user through an object-centered domain model and gives support to him in specifying his task. A characteristic of Tacos is that the user can enter only information that is meaningful and consistent with the domain model. In order to identify such information, Tacos exploits the ability of a description logic based knowledge representation system to reason about such models.
on leave from the Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland
Preview
Unable to display preview. Download preview PDF.
References
F. Baader and B. Hollunder. \(\mathcal{K}\mathcal{R}\mathcal{I}\mathcal{S}\): \(\mathcal{K}\)nowledge \(\mathcal{R}\)epresentation and \(\mathcal{I}\)nference \(\mathcal{S}\)ystem. SIGART Bulletin, 2(3), 1991.
F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms. In M. Richter and H. Boley, editors, Proc. of PDK'91, Kaiserslautern, Germany, 1991.
M. Buchheit, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt, and M. Wójcik. Task acquisition with a description logic reasoner. Research Report RR-95-04, DFKI Saarbrücken, 1995.
M. Buchheit, F. M. Donini, W. Nutt, and A. Schaerf. Refining the structure of terminological systems: Terminology = Schema + Views. In Proc. of AAAI'94, Seattle (Washington, USA), 1994.
B. Gaines and M. Shaw. Knowledge acquisition tools based on personal construct psychology. The Knowledge Engineering Review, 8(1), 1993.
Y. Gil. Knowledge refinement in a reflective architecture. In Proc. of AAAI'94, Seattle (Washington, USA), 1994.
P. Hanschke and K. Hinkelmann. Combining terminological and rule-based reasoning for abstraction processes. In Proc. of GWAI'92, Bonn, Germany, 1992.
R. MacGregor. Inside the LOOM description classifier. SIGART Bulletin, 2(3), 1991.
B. Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1990.
P. F. Patel-Schneider, D.L. McGuinness, R. J. Brachman, L. Alperin Resnick, and A. Borgida. The CLASSIC knowledge representation system: Guiding principles and implementation rational. SIGART Bulletin, 2(3), 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buchheit, M., Bürckert, HJ., Hollunder, B., Laux, A., Nutt, W., Wójcik, M. (1995). Task acquisition with a description logic reasoner. In: Wachsmuth, I., Rollinger, CR., Brauer, W. (eds) KI-95: Advances in Artificial Intelligence. KI 1995. Lecture Notes in Computer Science, vol 981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60343-3_31
Download citation
DOI: https://doi.org/10.1007/3-540-60343-3_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60343-6
Online ISBN: 978-3-540-44944-7
eBook Packages: Springer Book Archive