This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.
On the one hand, class ical terminological knowledge representation excludes the possi bility of handling uncertain concept descrip tions involving, e.g., "usually true" concept properties, generalized quantifiers, or excep tions. On the other hand, purely numer ical approaches for handling uncertainty in general are unable to consider terminologi cal… (More)
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of this system more than a dozen similar representation systems have been developed by various research groups. These systems vary along a number of dimensions. In this paper, we present the results of an empirical analysis of six… (More)
In this report we deene a probabilistic extension for a basic terminologi-cal knowledge representation languages. Two kinds of probabilistic statements are introduced: statements about conditional probabilities between concepts and statements expressing uncertain knowledge about a speciic object. The usual model-theoretic semantics for terminological logics… (More)
—An intelligent robot platform for autonomous systems with vision capabilities has been developed by the University of Applied Sciences Brandenburg in cooperation with SME's. The system will be suitable as a research and education platform for universities, a basis for industrial applications and for private developers of robots. This paper presents an… (More)
This thesis is about the use of registration algorithms for navigation of a mobile robot. Generally, the use of these algorithms for the localization and a modification of the navigation system are examined. The Lib3D framework of the Robotics and Machatronics Center of the DLR serves as experimental evaluation environment. The main goal here is to improve… (More)