Summary
The paper describes a system for updating and querying an extended PROLOG knowledge base with generic generalisations. It describes a referential semantics of generic generalisations, and explains the principles of its implementation. It argues against an analysis of generic generalisations by means of a default logic and shows how semantics and knowledge structures can meaningfully be seperated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature
A Dynamic Modal Semantics for Default Reasoning and Generics, in: Brewka and Freitag (eds.), Proceedings of the Workshop on Nonmonotonic Reasoning 1989, Arbeitspapiere der GMD 443, St.Augustin 1990
What some Generic Sentences Mean, DYANA Deliverable R2.5.B, Edinburgh
The Logic of Inheritance in Frame Systems, IJCAI
Reference to kinds in English, Bloomington; repr. 1982, N.Y.
Prolog Programming in depth, Scott, Foresman & Co, Glenview
Prinzipien der Referentialität, Springer
Definiteness and Indefiniteness, London
Generic Descriptions, Default Reasoning, and Typicality, Theoretical Linguistics 12
Semantics and Knowledge Representation in the Analysis of Generic Descriptions, Journal of Semantics 7/1
The knowledge base component in the final ACORD system: Its contribution to NL-processing, in: G.Bez (ed.), ACORD — Construction and interrogation of knowledge bases using natural language text and graphics, Berlin/Heidelberg/New York, to appear
A Theory of Truth and Semantic Representation, in: Groenendijk and Stokhoff, Truth, Interpretation, and Information, Dordrecht 1984
Genericity in Natural Language, Proceedings of the 1988 Tübingen Conference, SNS-Bericht 88–42, Tübingen
Definites, Journal of Semantics 4
Problems in Logical Form, ACL Proceedings 19th Annual Meeting, Urbana-Champaign
The meaning of meaning, in: Mind, Language, and Reality, Philosophical Papers Vol.2, Cambridge
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heyer, G. (1991). A Frame-Based Computational Model of Generic Generalisations. In: Christaller, T. (eds) GWAI-91 15. Fachtagung für Künstliche Intelligenz. Informatik-Fachberichte, vol 285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02711-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-02711-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54558-3
Online ISBN: 978-3-662-02711-0
eBook Packages: Springer Book Archive