The following list points to memos ("LKI-M-") of our group and
further publications published with other publishers.
| ConIPF | See diverse publications related to ConIPF |
| Shaker Verlag |
Intelligente Diagnose in der industriellen Anwendung Intelligent Diagnosis in Industrial Applicaionts Lothar Hotz, Peter Struss, Thomas Guckenbiehl, ISBN: 3-8265-7002-2 |
| 99/5 | Benutzeradaptiver Netzinformationsdienst Hidde, Joswig, Mantay, Möller, Neumann postscript_file |
| 98/3 | Meeting Re-use Requirements of Real-life Diagnosis
Applications Guckenbiehl, Milde, Neumann, Struss postscript_file |
| 98/3 | MAD: A Real World Application of Qualitative
Model-Based Decision Tree Generation for Diagnosis Milde et al. postscript_file |
| 98/2 | A More Efficient Knowledge Representation for
Allen's Algebra and Point Algebra Kahl et al. postscript_file |
| 98/1 | A More Efficient Knowledge Representation for
Allen's Algebra and Point Algebra: Extended Version Kahl et al. postscript_file |
| 97/4 | Untersuchung der SDSP-Analyse auf
Vollständigkeit und Korrektheit Heiko Milde |
| 97/3 | Zwischenbericht Das Labor für Künstliche Intelligenz der Universität Hamburg (Hrsg.) |
| 97/2 | Qualitative Analyse von Widerstandsnetzwerken
für die Diagnose Heiko Milde |
| 97/1 | Reasoning about Behavior Deviations with an
Interval-Based Qualitative Reasoning Calculus Lothar Hotz, Heiko Milde, Ralf Möller, Bernd Neumann |
| 96/4 | Knowledge-based Inference Methods for
Modeling Technical Systems Gerd Kamp and Bernd Neumann Abstract: Description Logics with concrete domains present an approach to realize a general engineering workbench. They provide a representation language that enables us to describe in a uniform way devices, assemblies and components along with their structure, constraints on attributes and physical laws as well as models of their correct and faulty behavior. Furthermore, sound and complete algorithms can be given for a set of basic inferences. These basic inferences render it possible to simulate the behavior of the devices and provide the basic building blocks for consistency-based diagnosis. In addition they enable us to devise procedures for finding errors, omissions and inconsistencies in model libraries. Also in: Proc. 30th Hawaiian International Conference on System Sciences, Wailea, Hawaii, Computer Society Press Available as: lkireport-96-04.ps.gz (Postscript) |
| 96/3 | Using Description Logics for Knowledge
Intensive Case-based Reasoning Gerd Kamp Abstract: In this paper we argue that description logics with their object-oriented representation based on a declarative semantics and their powerful inferences are a good base for building similarity-based systems. But in existing description logic systems it is not possible to formulate and use knowledge about concrete domains (e.g. data types like numbers, strings, sets of symbols). Based on Baader and Hanschke's theoretical work on ``admissible concrete domains'' we realized CTL, an extensible description logic system that is able to integrate such concrete domains via a generic interface to existing implementations of such data types. Initially, we coupled a system in order to realize sound and complete inferences over systems of linear inequalities. This concrete domain is especially useful within the area of second-level corporate support, a domain whose requirements initiated our investigations on description logics and which we will use for our illustrating examples. Also in: Proc. 3rd European Workshop on Case-Based Reasoning - EWCBR'96, Lausanne, Switzerland, Springer Verlag, Lecture Notes in Artificial Intelligence. Subseries of Lecture Notes in Computer Science Available as: lkireport-96-03.ps.gz (Postscript) |
| 96/2 | Falldaten: Case-based Reasoning for the Diagnosis
of Technical Devices Gerd Kamp, Petra Pirk, Hans-Dieter Burkhard Abstract: We investigate the suitability of case-based reasoning supporting experts during technical diagnosis. Diagnosis is not considered as a classification task, but as a process to be guided by computer assisted experience. This corresponds to a flexible "case completion" approach. Flexibility is also needed for the expert view with predominant interest in the unexpected, unpredictable cases. Integration of further knowledge sources (domain knowledge, common knowledge) is investigated in the project. Two different approaches based on semantic nets are investigated: Fallexperte-D makes use of Case Retrieval Nets (CRN) that are based on spreading activation techniques. Falldaten-DL employs description logics enhanced by concrete domains. Also in: |
| 96/1 | CTL - A description logic with expressive
concrete domains Gerd Kamp and Holger Wache Abstract: Compared with frame-based systems, description logics have the advantage of well-defined semantics and powerful inferences. In order to exploit these advantages in technical domains, the ability to use concrete domains is needed, e.g. systems of (in)equalities over (non)linear polynomials to handle physical laws. Existing systems can only cope with comparisons between attributes. We present an approach that considerably improves the expressiveness of the concrete domains. CTL is based on the ideas developed by Baader and Hanschke. Concrete domains are realised through a well-defined interface to external algorithms. Constraint Logic Programming (CLP) systems allow us to easily realise a whole range of concrete domains, e.g. over sets of symbols and numbers. In particular, we are able to handle systems of arbitrary linear polynomials. They also enable us to automatically participate in recent and future improvements in the areas of CLP and computer algebra, e.g. systems capable of handling arbitrary non-linear polynomials. Available as: lkireport-96-01.ps.gz (Postscript) |
| 95/1 | Zwischenbericht Das Labor für Künstliche Intelligenz der Universität Hamburg (Hrsg.) |
| 94/5 | Extending Process Monitoring by Event
Recognition S. Kockskämper, B. Neumann, M. Schick Also in: |
| 94/4 | Integrating Semantic Structure and Technical
Documentation in Case-Based Service Support Systems Gerd Kamp Abstract: Help desk systems are one of the most successful application areas of case-based reasoning. However, case-based reasoning techniques cover only parts of the whole help desk scenario. One missing part is providing access to the technical documentation. Combining these becomes especially important in the area of service support systems, where the service person has no access to the printed documentation. This paper presents a concept how to integrate CBR and technical documentation for service support systems Also in: Topics in Case-Based Reasoning - Selected Papers from EWCBR93, Springer Verlag, LNCS, 1994, pp. 393-402 Available as: lkireport-94-04.ps.gz (Postscript) |
| 94/3 | AMS - A Case-Based Service Support System Gerd Kamp Abstract: This paper presents the general structure of AMS, which is a case/based support system for cooling lubricant manufacturers' sales representatives. AMS is based on a variant of CBR which in the following will be called structured CBR. This variant differs from more classical CBR approaches by incorporating knowledge of a certain domain in order to structure cases ant to provide a more semantic similarity measure. Also in: Proc. 7th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Austin, TX, Gordon and Breach Science Publishers, 1994, pp. 677-683 Available as: lkireport-94-03.ps.gz (Postscript) |