- AutorIn
- Thomas Hofmann
- Titel
- Ein modularer Beweiser für agentenabhängige Terminologien
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-166266
- Schriftenreihe
- Abschluss- und Qualifikationsarbeiten aus der Fakultät für Mathematik und Informatik
- Datum der Einreichung
- 01.03.2001
- Abstract (DE)
- Ziel der vorliegenden Arbeit ist die Entwicklung eines modular aufgebauten Erfüllbarkeitstesters für verschiedene unimodale und eine polymodale Beschreibungslogik, die zur Repräsentation von agentenabhängig modelliertem terminologischen Wissen genutzt werden kann. Es werden dazu Tableaukalküle eingeführt, und deren Implementationen vorgestellt. Die Tableaukalküle bearbeiten Beschreibungslogik- und Modallogikanteile getrennt, dieser Trennung folgt dann auch der Aufbau des Testers. Zur Bearbeitung der Beschreibungslogikanteile wird das System FaCT benutzt, welches als Modul in den Erfüllbarkeitstester integriert wird. Eine notwendige Vorverarbeitungsstufe wird von einem weiteren Modul realisiert. Für die Performance des gesamten modularen Systems spielt die interne Kommunikation eine entscheidene Rolle. Deshalb ist eine optimierte Variante der Kommunikation zwischen FaCT und dem Gesamtsystem entwickelt worden. Während des Tests verschiedener Formeln eines Benchmarks konnte das hier entwickelte modulare System im Vergleich mit anderen Systemen akzeptable Leistungen erbringen.
- Freie Schlagwörter (DE)
- Beschreibungslogiken, Erfüllbarkeitstester, modale
- Klassifikation (DDC)
- 000
- Den akademischen Grad verleihende / prüfende Institution
- Universität Leipzig, Leipzig
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa2-166266
- Veröffentlichungsdatum Qucosa
- 26.10.2017
- Dokumenttyp
- Diplomarbeit
- Sprache des Dokumentes
- Deutsch