Zusammenfassung
In dieser Arbeit wird die Rekonstruktion von Aspekten eines Gegenstandsbereichs des LILOG-Systems vorgestellt. Im Vordergrund steht hier die Rekonstruktion eines Teils des Weltwissens, das für das Verstehens eines natürlichsprachlichen Textes notwendig ist. Diese Rekonstruktion umfaßt die in diesem Text auftretenden Referenzobjekte und deren zugehörige Sortenhierarchie. Als Sortenbeschreibungssprache wurde eine Variante der logikbasierte Beschreibungs- sprache S0RTLLILOG LILOG-Projektes genommen. Die Möglichkeiten und Schwierigkeiten einer solchen Rekonstruktion werden aufgezeigt und diskutiert.
Chapter PDF
Similar content being viewed by others
Literatur
J.F. Allen, H.A. Kautz: A Model of Naive Temporal Reasoning. In: Formal Theories of the Commonsence World, Hobbs, Moore (eds.), Ablex Publ., 1985
Y. Arens: Insights into the Janus Abstruction Structure. Draft, 1985
Baedeker Dusseldorf Ostiildern: Baedekers Autoführer-Verlag, 2.Aufl. 1987
M. Bierwisch: Semantische und konzeptuelle Reprasentationen lexikalischer Einheiten. In: studia grammatica XXII, Berlin 1982, 61–99.
D.G. Bobrow, T. Winograd: KRL: Another Perspective. Cognitive Science 3, 1979, 29–42
R.J. Brachman: On the Epistemological Status of Semantic Networks. In: Associative Networks, Findler (ed.), Academic Press 1979, 3–50
R. J. Brachman, H.J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. Proc. of AAAI-84, 1984, 34–37
D. McDermott: Reasoning about Plans. In: Formal Theories of the Commonsence World, Hobbs, Moore (eds.), Ablex Publ., 1985
D. McDermott: A critique of pure reason. Comp. Intell. 3, No 3, Aug. 1987
Gust et al. 88] H. Gust, P. Ludewig, M. Rickheit: Die Struktur des Lexikons fur LILOG. LILOG-Report 29, IBM Deutschland, WT LILOG
Chr. Habel: Prinzipien der Referentialitat. Springer 1986
Herzog et al.: LILOG — Linguistische und logische Methoden fiir das maschinelle Verstehen des Deutschen. IBM Deutschland GmbH, LILOG-Report la, 1986
A. Kak (ed.): Spatial Reasoning. Special Issue Al magazine 9, No 2, 1988
W. Lehnert, Y. Wilks: A Critical Perspective on KRL. Conitive Science 3, 1979, 1–28
H. Levesque (ed.): Taking Issue/Forum: A Critique of Pure Reason. Comp. Intell. 3, No. 3, Aug. 1987
K. v. Luck, B. Owsnicki-Klewe: New Al Formalisms for Knowledge Representation: A Case Study. KIT-Report 57, TU Berlin, FB Informatik, Projektgruppe KIT, 1987
K. v. Luck: SORTLLILOG: Eine Sortenbeschreibungssprache für LLILOG- IBM Deutschland GmbH, Draft, 1988
G.A. Miller, E. Galanter, K.H. Pribram: Plans and the Structure of Behavior. Holt, Rinehart and Winston, 1960
J. Moore: A Hierarchy for Entities. USC/Information Sciences Institute, 1985 (draft)
B. Nebel, K. v. Luck: BACK: A Hybrid Reasoner. Proc. of AAAI-Workshop on Principles of Hybrid Reasoning, 1988
M. Pinkal: Logik und Lexikon. de Gruyter, 1985
P. Schefe: Zur Rekonstruktion von Wissen in neueren Reprasentationssprachen derKunstlichen Intelligenz. In: Proc. GWAI-85, Stoyan (ed.), Springer 1985, 230–244
G. Smolka: A Feature Logic with Subsorts. IBM Deutschland GmbH, LILOG-Report 33, 1988
G. Tamas: The Logic of Categories. Dordrecht: Reidel 1986
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
v. Luck, K., Meyer, R., Pirlein, T. (1989). Die logische Rekonstruktion eines Gegenstandsbereiches — Eine Fallstudie —. In: Retti, J., Leidlmair, K. (eds) 5. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74688-8_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-74688-8_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51039-0
Online ISBN: 978-3-642-74688-8
eBook Packages: Springer Book Archive