TY  - RPRT
T1  - Task acquisition with a description logic reasoner 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1995
A1  - Buchheit,Martin
A1  - Bürckert,Hans-Jürgen
A1  - Hollunder,Bernhard
A1  - Laux,Armin
A1  - Nutt,Werner
A1  - Wójcik,Marek
Y1  - 2011/07/05
N2  - 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. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3817
ER  -