Abelson, R. (1981): "Psychological status of the script concept". American Psychologist 36. 715-29.

Ade1ung, J.Ch. (1781): Deutsche Sprachlehre. Voss: Berlin.

Anderson, J. (1983): The Architecture of Cognition. Harvard UP: Cambridge, Mass.

Anderson, J./Bower, G. (1974): Human Washington D.C. (2nd. ed.)

Associative Memory. Hemisphere Publ.:

Anderson, J./Hastie, R. (1974): "Individuation and reference in memory: proper names and definite descriptions." Cognitive Psychology 6. 495-514.

Bach, E./Partee, B. (1980): "Anaphora and semantic structure". Chicago Ling. Soc., Parasession on Pronouns and Anaphora. 1-28.

Barr, A./Feigenbaum, E.A. (eds) (1981): The Handbook of Artificial Intelligence, vol 1, Kaufman: Los Altos.

Bartlett, F.C. (1932): Remembering. Cambridge UP: Cambridge.

Barwise, J. (1981): "Scenes and other situations". 369-97.

Journal of Philosophy 78.

Barwise, J. (1984): "The situation in logic - I". CSLI (Stanford), Report 84-2.

Barwise, J ./Cooper, R. (1981) : "General ized quant i fiers and natural language" . Linguistics and Philosophy 4. 159-219.

Barwise, J./Perry, J. (1983): Situations and Attitudes. MIT-Press: Cambridge, Mass.

Bates, E./Kintsch, W./Fletcher, Ch./Guiliani, V. (1980): surface forms in dialogue: explicit vs. anaphoric Linguistic Society - Papers from the Parasession on 41-8.

"Recognition memory for reference". in Chicago Pronouns and Anaphora.

Belnap, N. D. (1973): "Restricted quantification and conditional assertion". in: H. Leblanc (ed.): Truth, Syntax and Modality. North Holland: Amsterdam. 48-75.

Belnap, N.D. (1976): "How a computer should think" in: G. Ryle (ed.): Contemporary Aspects of Philosophy. Oriel Press: Stocks field. 30-56.

Belnap, N.D. (1977): "A useful four-valued logic" in: J.M. Dunn/G. Epstein (eds): Modern Uses of Multiple-Valued Logic. D.Reidel: Dordrecht. 8-37.

Belnap, N.D./Steel, T.B. (1976): The logic of questions and answers. Yale Univ. Press: New Haven.

van Benthem, J. (1983a): "Determiners and logic". 447-78.

Linguistics and Philosophy 6.

van Benthem, J. (1983b): The Logic of Time. Reidel: Dordrecht.

van Benthem, J. (1984): "Questions about quantifiers". Journ. of Symbolic Logic 49. 443-66.

Bibel, W. (1983): "Knowledge representation from a deductive point of view". TU Mlinchen, Bericht ATP-19-V-83.

290

Blackburn, S. (1984): Spreading the Word. Clarendon Press: Oxford.

Block, N. (ed.) (1981): Imagery. MIT Press: Cambridge, Mass.

Block, N. (1981): "Introduction - what is the issue?" in; N. Block (ed.); Imagery. MIT Press: Cambridge, Mass. 1-18.

Bobrow, D.G. (1980): "Editor's Preface. Artificial Intelligence. Special Issue on Non-Monotonic Logic". Artificial Intelligence 13. 1-4.

Bobrow, D./Winograd, T. (1977): "An overview of KRL, a knowledge representation language". Cognitive Science 1. 3-46.

Boden, M. (1977): Artificial Intelligence and Natural Man. Harvester Press: Brighton.

Boolos, G./Jeffrey, R. (1980, 2nd.ed.): Computability and Logic. Cambridge Univ. Press; Cambridge.

Brachman, R. (1979): "On the epistemological status of semantic networks". in: N. Findler (ed.); Associative Networks, Academic Press: New York. 3-50.

Brachman, R. (1983): "What ISA is and isn't". Fairchild Lab AI Research. FLAIR TR 15.

Brachman, R. /Fikes, R. /Levesque, H. 1983): "KRYPTON: A functional Appraoch to Knowledge representation". Fairchild Lab AI Research. FLAIR TR 16.

Brown, R./Gilman, A. (1960): "The pronouns of power and solidarity" in: T.A. Sebeok (ed.): Style in Language. MIT-Press: Cambridge, Mass. 253-76.

Carlson, G. (1980): Reference to Kinds in English. Garland: New York.

Carlson, G. (1982): "Generic terms and generic sentences" Journ. of Philosophical Logic 11. 145-81.

Carnap, R. (1956): "Meaning Postulates" in: R. Carnap: Meaning and Necessity. Chicago UP: Chicago. 222-9.

Carnap, R. (1958): Introduction to symbolic logic and its applications. Dover: New York.

Carroll, L. (1965): Alice in Wonderland & Through the Looking Glass, edited and commented by Martin Gardner: "The Annotated Alice." Penguin: Harmondworth, Middlesex.

Castaneda, H. (1977): "On the philosophical foundations of the theory of communication: Reference" in: P.A. French/T.E. Uehling/H. Wettstein (eds) (1979): Contemporary Perspectives in the Philosophy of Language. University of Minnesota Press: Minneapolis. 125-46.

Chisholm, R. (1979): Erkenntnistheorie. dtv: MUnchen.

Chomsky, N. (1956): "Three Models for Transactions on Information Theory.

the descriptione Vol IT-2/3. 113-24.

Chomsky, N. (1957): Syntactic Structures. Mouton: The Hague.

of language" . LR.E.

Chomsky, N. (1965): Aspects of the Theory of Syritax. MIT Press: Cambridge, Mass.

Chomsky, N. (1980): Rules and Representations. Basil Blackwell: Oxford.

291

Chomsky, N. (1981): Lectures on Government and Binding. Foris: Dordrecht.

Chomsky, N. (1982): Some Concepts and Consequences of the Theory of Government and Binding. MIT-Press: Cambridge, Mass.

Chomsky, N./Lasnik, H. (1977): 425-504.

"Filters and control". Linguistic Inquiry 8.

Christopherson, P. (1939): The Articles English. Munksgaard: Kopenhagen.

a Study of their Theory and Use in

Clark, H.H./Clark, E.V. (1977): Psychology and language. Harcourt Brace Jovanovich: New York.

Clark, H.H./Haviland, S.E. (1977): "Comprehension and the Given-New Contract". in: R. Freedle (ed.): Discourse Production and Comprehension. Lawrence Erlbaum: Hillsdale, N.J. 1-40.

Clark, H.H./Marshall, C.R. (1981): "Definite reference and mutual A.K. Joshi/I. Sag/B. Webber (eds): Elements of Discourse Cambridge Univ. Press: Cambridge. 10-63.

knowledge". in: Understanding.

Clark, H.H./Sengul, C.J. (1979): "In search of referents for nouns and pronouns". Memory and Cognition 7. 35-41.

Clocksin, W./Mellish, C. (1981): Programming in PROLOG. Springer: Berlin.

Cohen, P./Feigenbaum, E. (eds) (1982): The Handbook of Artificial Intelligence, Vol. 3. Kaufman: Los Altos, Cal.

Collins, A. /Loftus, E. (1975): "A spreading-activation theory processing". Psychological Review 82. 407-28.

of semantic

Cooper, R. (1983): Quantification and Syntactic Theory. Reidel: Dordrecht.

Date, C.J. (1983): An Introduction to Database Systems. Vol II. Addison-Wesley: Reading, Mass.

Davidson, D. (1980): Essays on actions and events. Oxford UP: Oxford.

Devitt, M. (1981): Designation. Columbia UP: New York.

van Dijk, T./Kintsch, W. (1983): Strategies of Discourse Comprehension. Academic Press: New York.

Donnellan, K. (1966): "Reference and definite descriptions". 75. 281-304.

Philosophical Review

Donnellan, K. (1974): "Speaking of nothing". Philosophical Review 83. 3-22.

Doyle, J. (1979): "A truth maintenance system". Artificial Intelligence 12. 231-72.

Dretske, F.I. (1981): Knowledge and the Flow of Information. Basil Blackwell: Oxford.

Drever, J. (1964; rev.ed.): The Harmondsworth.

Penguin Dictionary of Psychology. Penguin:

Dreyfus, H. (1979): What computers can't do. Revised edition, Harper & Row: New York.

292

Emde, W. (1984): Das Konzept der Sttitzmenge als Basis des maschinellen Lernens. Diplomarbeit, Fachbereich Informatik, TU Berlin.

Emde, W./Habel, Ch./Rollinger, C.-R. (1983): "The discovery of the equator or concept driven learning" in: Proc. 8th IJCAI. 455-8.

Evans, G. (1973): "The causal theory of names". Aristotelian Society Supplementary Volume 47. 187-208.

Evans, G. (ed.)

(1980a): "Pronouns, quantifiers and relative clauses (I)" in: M. Platts Reference, Truth and Reality. Routledge & Kegan Paul: London. 255-317.

Evans, G. (1980b): "Pronouns". Linguistic Inquiry 11. 337-62.

Evans, G. (1982): The Varieties of Reference. ed. by: J. McDowell. Clarendon Press: Oxford.

Falkenberg, E. (1975): Structuring and Representation of Interface between Data Base User and Data Base Management Stuttgart.

Information at the System. Diss. Univ.

Fanselow, G. (1983): "Zur Behandlung der Anaphora in der generativen Grammatik - Ein tiberblick". Arbeitsberichte des SFB 99, Univ. Konstanz.

Fleck, J. (1982): "Development and Establishment in Artificial Intelligence". in: N. Elias/H. Martins/ R. Whitley (eds): Scientific Establishments and Hierarchies, Sociology of the Sciences VI. D.Reidel: Dordrecht. 169-217.

Fodor, J.A. (1983): The Modularity of Mind. MIT Press: Cambridge, Mass.

Fodor, J.A./Pylyshyn, Z.W. (1981): "How direct reflections on Gibson's 'Ecological Approach'''.

is visual perception? Some Cognition 9. 139-196.

Frege, G. (1892): "tiber Sinn und Bedeutung". Zeits. f. Phil. & phil. Kritik NF 100. 25-80.

Frey, W./Reyle, U./Rohrer, Ch. (1983): "Automatic construction of a knowledge base by analysing texts in natural language". Proc. 8th 1JCAI. 727-9.

Ftirnsinn, M./Khenkhar, M./Ruschkowski, B. (1984): System mit riiumlichem Vorstellungsvermogen". Probleme des (Text-)Verstehens. Ansiitze Niemeyer: Ttibingen. 172-84.

"GEOSYS - ein Frage-Antwort­in: C.-R. Rollinger (Hrsg.): der Ktinstlichen Intelligenz.

Geach, P. (1968, 2nd. emend. ed.): Reference and Generality. Cornell Univ. Press: Ithaca, N.Y.

Gericke, H. (1967; 2.Aufl.): Theorie der Verbiinde. BI: Mannheim.

Gibson, J. (1979): The Ecological Approach to Visual Perception. Houghton Mifflin: Boston.

Glubrecht, M. / Oberschelp, A. / Todt, G. (1983): Klassenlogik. B1: Mannheim.

Grice, H.P. (1975): "Logic and Conversation". in: P. Cole/J.C. Morgan (eds) (1975): Speech Acts. Academic Press: New York. 41-58.

Grosz, B. (1978): "Discourse knowledge" in: D. Walker (ed.): Understanding Spoken Language. North-Holland: New York. 229-344.

293

Grosz, B. (1981): "Focusing and description in natural Joshi, A./Webber, B./Sag, I. (eds): Elements of Cambridge UP: Cambridge. 84-105.

language dialogues". in: Discourse Understanding.

Gtinther, S. (1984 a): "Zur Repriisentation temporaler Beziehungen in SRL". TU­Berlin, FB Informatik: KIT-Report 21.

Giinther, S. (1984 b): "Zur Repriisentation C.-R. Rollinger (Hrsg.): Probleme des 143-55.

und Verarbeitung zeitlichen Wissens" in: (Text-) Verstehens. Niemeyer: Tiibingen.

Gtinther, S./Habel, Ch./Rollinger, C.-R. (1983): "Ereignissnetze: Zeitnetze und referentielle Netze". in: Linguistische Berichte 88. 37-55.

Guenthner, F. /Lehmann, H. (1984): "Automatic construction of representation structures". Proc. COLING-84 (Stanford). 398-401.

Gust, H./Habel, Ch./Rollinger, C.-R. (1981): "Language-World communication model". TU Berlin, FB-Informatik Bericht 81-12.

discourse

Systems: A

Haack, S. (1978): Philosophy of Logics. Cambridge University Press: Cambridge.

Habel, Ch. (1979): Aspekte bewertender Grammatiken. Einhorn: Berlin

Habel, Ch. (1981): "Zur Geschichte von Referenzobjekten - Teil I: Diskursmodelle". ms. , Berlin.

Habel, Ch. (1982a): "Referential nets with attributes". in: J. Horecky (ed.): Proc. COLING-82. North-Holland: Amsterdam. 101-6.

Habel, Ch. (1982b) "Textverstehende Systeme: Ein Informatik - Kognit ionswissenschaft " . in: GI (Hrsg.). Springer: Berlin. 372-91.

Beispiel fiir die Beziehung 12. Jahrestagung, J. Nehmer

Habel, Ch. (1983a): "Inferences Schwarze/A. v. Stechow (eds):

- the base of semantics?" in: R. Biiuerle/Ch. Meaning, Use, and Interpretation of Language. de

Gruyter: Berlin. 147-63.

Habel, Ch. (1983b): "Logische Systeme und Repriisentationsprobleme" in: B. Neumann (Hrsg.): GWAI-83. Springer: Berlin. 118-42.

Habel, Ch. (1984a): "SRL und Textverstehen". des (Text-) Verstehens. Ansiitze der Tiibingen. 3-23.

in: C.-R. Rollinger (Hrsg.): Probleme Kiinstlichen Intelligenz. Niemeyer:

Habel, Ch. (1984b): "Zur Repriisentation der referentiellen Struktur". in: C.-R. Rollinger (Hrsg.): Probleme des (Text-) Verstehens. Ansiitze der Kiinstlichen Intelligenz. Niemeyer: Tiibingen. 125-42.

Habel, Ch. (1984c): "Stories erscheint in: Poetics, 1986.

An Artificial Intelligence Perspective (?)".

Habel, Ch. (1985a): "Referential Nets as Knowledge Structures - some structural and dynamical properties". in: T. Ballmer (ed.): Linguistic Dynamics. de Gruyter: Ber lin. 62-84.

Habel, Ch. (1985b): "Das Lexikon in der Forschung der Kiinstlichen Intelligenz". in: Ch. Schwarze / D. Wunderlich (Hrsg.): Handbuch der Lexikologie. Atheniium: Konigstein/Ts. 441-74.

294

Habel, Ch./Reddig, C./Rollinger, C.-R. (1981): "Term-Sortierung in MSRL". SNP Report 1/80. (in: Schneider et al. 1981. 25-45, 66-131)

Habel, Ch./Rollinger, C.-R. (1982): "EZH-Strukturen als Textrepriisentation - Ein Beispiel". in I. Batori/H.D. Lutz/J. Krause (Hrsg.): Linguistische Datenverarbeitung, Versuch einer Standortbestimmung im Umfeld von Informationslinguistik und Klinstlicher Intelligenz. Niemeyer: Tlibingen. 137-53.

Habel, Ch./Rollinger, C.-R. (1985): "Lernen und Wissensaquisition". (Hrsg.): Klinst1iche Intelligenz Repriisentation von natlirlichsprachliche Systeme. KIFS-84. Springer: Berlin. 249-320.

in: Ch. Habel Wissen und

Habel, Ch./Schmidt, A. (1979): "Eine modallogische Repriisentationssprache zur Darstellung von Wissen". in: Vandeweghe, W. IVan de Velde, M. (Hrsg.): Bedeutung, Sprechakte und Texte. Niemeyer: Tlibingen. 31-40.

Hajicova, E./Vrbova, J. (1982): "On the role of the hierarchy of activation in the process of natural language understanding". in: J. Horecky (ed.): COLING82. North Holland: Amsterdam. 107-13.

Hankamer, J./Sag, 1. (1976): "Deep and surface anaphora". Linguistic Inquiry 7. 391-428.

Hauge 1 and , John (1978): "The Nature and Plausibilities of Cognitivism". in: J. Haugeland (ed.)(1981): Mind Design. Bradford: Montgomery VT. 243-81.

Haugeland, J. (1985): Artificial Intelligence - The Very Idea. MIT Press: Cambridge, Mass ..

Hausser, R. (1979): "How do pronouns denote?" in: F. Heny/H. Schnelle (eds): Selections from the Third Groningen Round Academic Press: New York. 93-139.

Table. Syntax and Semantics 10.

Hawkins, J. (1978): Definiteness and Indefiniteness. Croom Helm: London.

Hayes, P. (1977): "In defence of logic". 5th IJCAI, Cambridge, Mass. 559-65.

Hayes, P. (1979): "The Naive Physics Manifesto". D. Michie (ed.): Expert Systems in the Microelectronic Age. Edinburgh University Press. Edinburgh. 242-70.

Hayes, P. (1980): "The logic of frames". in D. Metzing (ed.): Frame Conceptions and Text Understanding. de Gruyter: Berlin. 46-61.

Heidolph, K./Fliimig, W./Motsch, W. (Hrsg.) (1981): Grundzlige einer deutschen Grammatik. Akademie-Verlag: Berlin (DDR).

Heim, I. (1982): The Semantics of Definite and Indefinite Noun Phrases. Ph.D. dissertation Univ. at Amherst. (distributed by SFB 99, Univ. of Konstanz)

Heim, 1. (1983): "File change semantics and the familiarity theory of definiteness". in: R. Biiuerle/Ch. Schwarze/A.v. Stechow (eds): Meaning, Use, and Interpretation of Language. de Gruyter: Berlin. 164-89.

Herrmann, Th./Laucht, M. (1976): "On multiple codability of objects". Psychological Research 38. 355-68.

Hewitt, C./Attardi, system OMEGA".

G./Simi, M. (1980): "Knowledge embedding in the description 1st AAAI Conference. 157-64.

295

Higginbotham, J. (1980): "Pronouns and bound variables". Linguistic Inquiry 11. 679-708.

Higginbotham, J. (1983a): "The Logic Alternative to Situation Semantics".

of Perceptual Reports: An Extensional in: Journal of Philosophy 80. 100-27.

Higginbotham, J. (1983b): "Logical form, 14. 395-420.

binding, and nominals". Linguistic Inquiry

Hilbert, D/Bernays, P. (1968): Grundlagen der Mathematik I (2.Aufl.). Springer: Berlin.

Hilbert, D./Bernays, P. (1970): Grundlagen der Mathematik II (2.Aufl.). Springer: Berlin.

Hirst, G. (1981): Anaphora in Natural Language Understanding: A Survey. Springer: Berlin.

Hoeppner, W. et a1. (1983): "Beyond domain independance. Experience with the development of a German language access system to highly diverse background systems". Proc. of 8th IJCAL 588-94.

Hormann, H. (1983): "The calculating listener or how many are 'einige', and 'ein paar' ". in: R. Bauerle/Ch. Schwarze/A. v. Stechow (eds): Use, and Interpretation of Language. de Gruyter: Berlin. 221-34

Hornstein, N. (1984): Logic as Grammar. MIT-Press: Cambridge, Mass.

'mehrere' Meaning,

Israel, D. (1983): "A prolegomenon to situation semantics". 21st Ann. Meeting of the ACL. 28-37.

Jackendoff, R. (1983): Semantics and Cognition. MIT Press: Cambridge, Mass.

Jackendoff, Ray (1985): "Information is in the mind of the beholder". Linguistics & Philosophy 8. 23-33.

Jameson, A./Wahlster, W. (1982): "User Modelling in Anaphora Generation: Ellipsis and Definite Description" ECAI-82 (Orcay, France), Conference Proceedings. 222-7.

Johnson-Laird, P.N. (1980): "Mental models in cognitive science", Cognitive Science 4. 71-115.

Johnson-Laird, P.N. (1982): "Formal semantics and the psychology of meaning". in S. Peters/E. Saarinen (eds): Processes, Beliefs, and Questions. Reidel: Dordrecht. 1-68.

Johnson-Laird, P.N. (1983): Mental models. Cambridge UP: Cambridge.

Johnson-Laird, P.N./Garnham, A. (1980): "Descriptions and discourse models". Linguistics and Philosophy 3. 371-93.

Johnson-Laird, P.N./Steedman, M. (1978): "The psychology of syllogisms". Cognitive Psychology 10. 64-99.

Kalish, D./Montague, R. (1964): Logic - Techniques of formal reasoning. Harcourt, Brace &World: New York.

Kamp, H. (1981): "A theory of truth and semantic representation". J./Janssen, T./Stokhof, M. (eds): Formal Methods in the Study 1. Mathematisch Centrum: Amsterdam. 277-322.

in: Groenendijk, of Language. pt

296

Kamp, H./Rohrer, Ch. (1983): "Tense in Texts" in: R. Biiuerle/Chr. Schwarze/A. von Stechow (Hrsg.): Meaning, Use and Interpretation of Language. de Gruyter: Berlin. 250-69.

Kanngiesser, S. (1983a): "Millers Prinzip und 'Simulation grammatischer Kreativitat', 83/3.

Turings Test" . Arbei tsbericht: Univ. Osnabrtick.

Kanngiesser, S. (1983b): "Linguistische Erklarungen und linguistische Simulationen". Arbeitsbericht: 'Simulation grammatischer Kreativitat', 83/8. Univ. Osnabrtick.

Kanngiesser, S. (1983c): "Chomsky's Selbstreproduktion, maschinelle Sprachbeherrschung. Arbeitsbericht: 83/11. Univ. Osnabrtick.

Sprecher-Horer-Modell oder Selbstorganisation,

'Simulation grammatischer

Kanngiesser, S. (1984): "SimulationsKonzepte des Wissens und der C.-R. Rollinger (Hrsg.): Probleme des (Text-) Verstehens. Klinstlichen Intelligenz. Niemeyer: Ttibingen. 24-44.

Maschinelle maschinelle

Kreati vitat' ,

Grammatik" in: Ansatze der

Kaplan, D. (1966): "Rescher's plurality quantification". Journal of Symbolic Logic 31. 153-4.

Keil, F. (1979): Semantic and conceptual development. Harvard University Press: Cambridge Mass.

Kintsch, W. (1977): Memory and Cognition. Wiley: New York.

Konrad, E. (1976): Formale Semantik Fachbereich Informatik, TU Berlin.

von Datenbanksprachen. Dissertation,

Kosslyn, S.M. (1978): "Imagery and Internal Representation". in: Rosch, E./Lloyd, B. (eds): Cognition and Categorization. Lawrence Erlbaum: Hillsdale, N.J. 217-57.

Kosslyn, S.M. (1981): "The Medium and the Message in Mental Imagery. A Theory". Psychological Review 88. 46-66, auch in: N. Block (ed.)(1981): Imagery. MIT Press, Cambridge, Mass. 207-44.

Kripke, S. (1977): "Speaker's reference and semantic reference" in: P. A. French/T. E. Uehling/H. Wettstein (eds) (1979): Contemporary Perspectives in the Philosophy of Language. University of Minnesota Press: Minneapolis. 6-27.

Kripke, S. (1980): Naming and Necessity. Rev. ed. Basil Blackwell: Oxford.

v. Kutschera, F.(1967): Elementare Logik. Springer Verlag: Wien.

Lehrer, K. (1974): Knowledge. Clarendon Press: Oxford.

Lehrer, K. (1981):" A self profile". Bogdan, R. (ed.): K. Lehrer. D. Reidel: Dordrecht. 3-104.

Levesque, H. (1981): "The interaction with incomplete knowledge bases: a formal treatment". 7th IJCAI. 240-5.

Levesque, H. (1982): A Formal Treatment of Incomplete Knowledge Bases. Fairchild Lab. Artif. Intelligence: FLAIR TR 3.

Levesque, H./Mylopoulos, J. networks". in: N. Findler York. 93-120.

(1979) : (ed.) :

"A procedural semantics for semantic Associative Networks. Academic Press: New

Levi, I. (1980): The Enterprise of Knowledge. MIT Press: Cambridge, Mass.

297

Lewis, D. (1969): Convention: A philosophical study. Harvard University Press: Cambridge, Mass.

Linsky, L. (1977): Names and Description. University of Chicago Press: Chicago.

Lipski, W. (1979): "On semantic issues connected with incomplete information databases". Transactions on Database Systems 4. 262-96.

Loveland, D. (1978): Automated Theorem Proving: A Logical Basis. North-Holland: Amsterdam.

Macnamara, J. (1982): Names for Things. MIT Press, Cambridge, Mass.

Martin, R.L. (ed.) (1984): Recent Essays on Truth and the Liar Paradox. Oxford UP: Oxford.

May, R. (1977): The Grammar of Quantification. Ph. Dissertation MIT (publ. by: IULC 1982).

May, R. (1983): Logical Form as a Level for Linguistic Representation. IULC.

McCarthy, J. (1979): "Individual Concepts and Propositions". in: D. Michie (ed.): Expert Systems in the Microelectronic Age. Edinburgh UP. 271-87.

McCorduck, P. (1979): Machines who think. W. Freeman: New York.

McDermott, D. (1982a): "Nonmonotonic logic II: nonmonotonic modal theories". Journal of the ACM 29. 33-57.

McDermott, D. (l982b): "A Temporal Logic for Reasoning about Processes and Plans". Cognitive Science 6. 101-55.

McDermott, D./Doyle, J. (1980): "Non-Monotonic Logic I". 13. 41-72.

Artificial Intelligence

Michalski, R./Carbonell, J./Mitchell, Artificial Intelligence Approach.

T. (eds) (1983): Machine Tioga Pub.: Palo Alto

Learning: An

Miller, G. A. (1956): "The Magical Number Seven, plus or minus Review 63. 81-96. auch in: G.A. Miller (1968):

two". Psychological The Psychology of

Communication. Penguin.

Miller, G.A. (1964): "Computers,Communication and Cognition". Guildhall Lectures, Granada TV Network, Manchester. auch in: G.A. Miller (1968): The Psychology of Communication. Penguin. 95-123.

Miller, G.A. (1968): The Psychology of Communication. Penguin.

Miller, G.A. (1978a): "Semantic relations among words" , Miller (eds): Linguistic theory and psychological 60-117.

in: M. Halle/J. Bresnan/G. reality. Cambridge, Mass.

Miller, G.A. (1978b): "Practical and Lexical Knowledge". Rosch,E. /Lloyd, B. (eds): Cognition and Categorization. Erlbaum: Hillsdale N.J. 305-19.

Miller, G.A./Galanter, E./Pribram, K. (1960): Plans and the Structure of Behavior". Holt, Rinehart & Winston: New York.

Miller, G.A./Johnson-Laird, P.N. (1976): Language and Perception. Cambridge Univ. Press: Cambridge.

298

Minsky, M. (1974): A Framework for Representing Knowledge. MIT: AI-Lab. Memo 306. Teilweise abgedruckt in P.H. Winston (ed.) (1975): The psychology of computer V1S1on. McGraw Hill: New York. 211-77, bzw. in: J. Haugeland (ed.) (1981): Mind Design, MIT Press, Cambridge, Mass. 95-128.

Moore, R. (1982): "The Role of Logic in Knowledge Representation and Commonsense Reasoning". Proceedings of AAAI-Conference 1982. 428-33.

Moore, R. (1983): "Semantic considerations on nonmonotonic logic". 8th IJCAI (Karslruhe), expanded version: SRI Techn. Note 284.

Moore, R. (1984): "A Formal Theory of Knowledge and Action". SRI Technical Note 320. to appear in: J.R. Hobbs/R.C. Moore (eds): Formal Theories in the Common Sense World. Ablex Publ. Norwood, N.J.

Morik, K. (1982): trberzeugungssysteme der Ktinstlichen Intelligenz. Niemeyer: Ttibingen. 158-68.

Morik, K./Rollinger, C.-R. (1983): "Partnermodellierung im Evidenzraum". in: B. Neumann (Hrsg.): GWAI-83. Springer: Berlin.

Mostowski, A. (1957): "On a generalization of quantifiers". Fundamenta Mathematicae 44. 12-36.

Neumann, B. (1984): "Umrisse einer Imaginationskomponente". in: C.-R. Rollinger (Hrsg.): Probleme des (Text-)Verstehens. Ansatze der Ktinstlichen Intelligenz. Niemeyer: Ttibingen. 169-71.

Neumann, B./Novak, H.-J. (1983): Event Models for Recognition and Natural Language. Description of Events in Real-World Sequences". IJCAI-83. 724-26.

Newell, A. (1980): "Physical symbol systems". Cognitive Science 4. 135-83.

Newell A. /Simon H. A. (1956): "The logic theory machine". IRE Transactions on Information Theory, 11-2(3). 61-79.

Newell A./Simon, H.A. (1972): Human Problem Solving. Prentice Hall: Englewood Cliffs N.J.

Novak, H.-J./Neumann, B. (1984): "Szenenbeschreibung und Imagination in NAOS". in: C.-R. Rollinger (Hrsg.): Probleme des (Text-)Verstehens. Niemeyer: Ttibingen. 192-206.

Oberschelp, A. (1962): "Untersuchungen zur mehrsortigen Quantorenlogik". Mathematische Annalen 145. 297-333.

Oberschelp, A. (1977): "Eine erweiterte Pradikatenlogik" (Hrsg.): Kasustheorie, Klassifikation, semantische Hamburg. 263-83.

in: K. Heger/J. Petofi Interpretation. Buske:

Ogden, C.K./Richards, I.A. (1923): The Meaning of Meaning. London

Ortony, A./Anderson, R. C. (1977): "Definite descriptions and semantic memory". Cognitive Science 1. 74-83.

Paivio, A. (1983): "The Empirical Imagery, Memory and Cognition.

Case for Dual Coding". in: J. Yuille (ed. ): Lawrence Erlbaum: Hillsdale, N.J. 307-332.

Palmer, S. (1978): "Fundamental aspects of cognitive representation". in Rosch, E./Lloyd, B. (eds): Cognition and Categorization. Lawrence Erlbaum: Hillsdale, N.J. 259-303.

299

Partee, B.H. (1973): "Some structural analogies between tenses and pronouns in English". Journ. of Philosophy 70. 601-9.

Peters, P.S./Ritchie, R.W. (1973a): "On the Generative Power Grammars". Information Sciences 6. 49-83.

of Transformational

Peters, S./Ritchie, W. (1973b): "Nonfiltering and local filtering Transformational grammars". in: J. Hintikka/J. Moravsik/P. Suppes (eds): Approaches to Natural Languages. Reidel: Dordrecht. 180-94.

Piatelli-Palmarini, Massimo (ed.) (1980): Language and Learning. Routledge and Kegan Paul: London.

Pinkal, M. (1985): Logik und Lexikon. Die Semantik des Unbestimmten. deGruyter: Berlin.

Platts, M. (1979): Ways of Meaning. Routledge & Kegan Paul: London.

Pribbenow, S. (1984): Fragebeantwortung.

Untersuchungen zu Belnaps vierwertiger Logik in der Diplomarbeit, Fachbereich Informatik, TU Berlin.

Pribham, K.H. (1971): Languages of the Brain. Prentice-Hall, Englewood-Cliff, N.J.

Priest, G. (1984): "Logic of paradox revisited". Journ. of Phil. Logic 13. 153-79.

di Primio, F./Christaller, T. (1983): "A Poor Man's Flavor System". Institut da11e molle ISSCO, Working Paper 47. Genf.

Prince, E. (1979): "On the given-new distinction" in: Clyne, P./Hanks, W./Hofbauer, C. (eds): CLS 15. 267-78.

Prince, E. (1981): "Toward a taxonomy of given-new information". in: Cole, P. (ed.): Radical Pragmatics. Academic Press: New York. 223-55.

Putnam, H. (1975): "The meaning of 'meaning' It. in: K. Gunderson (ed.): Language, mind and knowledge. University of Minnesota Press: Minneapolis. Wieder abgedruckt in: H. Putnam: Mind, language and reality. Cambridge UP: Cambridge, 1975. 215-71.

Putnam, H. (1978): "Reference and understanding" in: Putnam, H.: Meaning and the Moral Sciences. Routledge & Kegan Paul: London. 97-119.

Pylyshyn, Z.W. (1973): "What the mind's eye tells the mind's brain". Psychological Bulletin 80. 1-24.

Pylyshyn, Z.W. (1980): "Computation and Cognition: issues in the foundations of cognitive science". Behavioural and Brain Sciences 3. 111-32.

Pylyshyn, Z. W. (1981): "The Imagery Debate: Knowledge".Psychological Review 88. 16-45. Imagery. MIT Press. 151-206.

Analogue Media auch in: N. Block

Versus Tacit (ed.) (1981):

Quillian, M. (1968): "Semantic memory". in: M. Minsky (ed.): Semantic Information Processing. MIT Press: Cambridge, Mass. 227-70.

Quine, W.V.O. (1951/ rev. ed. 1981): Mathematical Logic. Harvard UP. Cambridge, Mass.

Quine, W.V.O. (1956): "Quantifier and Philosophy 53. 177-87.

propositional attitudes". Journal of

300

Quine, W.V.O. (1969, rev. ed.): Set Theory and its Logic. Harvard UP. Cambridge, Mass.

Reichenbach, H. (1947): Elements of symbolic logic. New York.

Reichman, R. (1978): "Conversational coherency". Cognitive Science 2. 283-327.

Reinhart, T. (1983): Anaphora and Semantic Interpretation. Croom Helm: London

Reiter, R. (1980a): "A logic for default reasoning". Artificial Intelligence 13. 81-132.

Reiter, R. (1980b): "Equality and domain closure in first-order databases". JACM 27. 235-49.

Rescher, N. (1962): "Plurality quantification". Journal of Symbolic Logic 27. 373-4.

Rescher, N. (1969): Many-valued Logic. McGraw Hill: New York.

Rescher, N. (1984): The Limits of Science. University of California Press: Berkeley, Cal ..

Rescher, N./Brandom, R. (1980): The Logic of Inconsistency. Basil Blackwell: Oxford.

Rescher, N./Urquhart, A. (1971): Temporal Logic. Springer: Wien.

Rogers, R. (1971): Mathematical Logic and Formalized Theories. North Holland: Amsterdam.

Rollinger, C.-R. (Hrsg.) (1984): Probleme des (Text-) Verstehens. Ansatze der Klinstlichen Intelligenz. Niemeyer: Tlibingen.

Rollinger, C.-R. (1984a): "Zur Reprasentation der argumentativen Struktur von Texten" in: C.-R. Rollinger (Hrsg.): Probleme des (Text-) Verstehens. Verstehens. Ansatze der Klinstlichen IntelIigenz. Niemeyer: Tlibingen. 107-24.

Rollinger, C.-R. (l984b): "Die Reprasentation natlirlichsprachlich formulierten Wissens Behandlung der Aspekte Unsicherheit und Satzverkniipfung" . Dissertation, FB Informatik, TU Berlin.

Rosch, E. (1977): "Human categorization". in: Warren, N. (ed.): Advances in cross­cultural psychology, vol 1. Academic Press: New York. 1-49.

Rosenschein, S. (1983): "Natural-Language Processing: Crucible for Computational Theories of Cognition". 8th IJCAI (Karlsruhe). 1180-6.

Russell, B. (1905): "On denoting". Mind 14. 479-93.

Russell, B. (1973): Autobiographie II. Suhrkamp: Frankfurt.

Ryle, G. (1949): The Concept of Mind. Repr. bei: Penguin Univ. Books: Harmondsworth, Middlesex. (1973).

Salmon, N. (1982): Reference and Essence. Basil Blackwell: Oxford.

Samet, J ./Schank, R. (1984): "Coherence and Connectivity". Linguistics and Philosophy 7. 57-84.

Schank, R. (1975): Conceptual Information Processing. North-Holland: Amsterdam.

301

Schank, R. (1982): Dynamic Memory. Cambridge UP: Cambridge.

Schank, R. (1984): The Explantion Game. Yale Univ. Compo Science Dep. RR 307.

Schank, R./Abelson, R. (1977): Scripts, plans, goals and understanding. Hillsdale; New Jersey.

Schiffer, S. (1972): Meaning. Clarendon Press: Oxford.

Schmidt, A. (1938): "tfuer deduktive Theorien mit mehreren Sorten von Grunddingen". Mathematische Annalen 115. 485-506.

Schneider, H. -J. et al. (1981): "Automatische Erstellung semantischer Netze". Forschungsbericht. Technische Universiat Berlin.

Schubert, L. (1976): "Extending the expressive power of semantic networks". Artificial Intelligence 7. 163-98.

Schubert, L./Goebel, R./Cercone, N. (1979): "The structure and organization of a semantic net for comprehension and inference". in: N. Findler (ed.): Associative Networks. Academic Press: New York. 121-75.

Schwarz, D. (1979): Naming and Referring. de Gruyter: Berlin.

Scott, D. (1970): "Outline of a mathematical theory of computation". 4th Ann. Princeton Conf. on Information Sciences & Systems. 169-76.

Sga11, P./Hajicova, E./Benesova, E. (1973): Topic, Focus and Generative Semantics. Scriptor: Kronberg/Ts.

Shannon, C. (1950): A Chess-Playing Machine. Scientific American 182, Febr.

Sidner, C. (1979): Disambiguating References and Interpreting Sentence Purpose in Discourse. in: P.H. Winston, R.H. Brown (eds): Artificial Intelligence: An MIT Perspective - Vol 1. MIT-Press: Cambridge, Mass. 231-52.

Sidner, C. (1983): "Focusing in Brady/R. Berwick (eds): Cambridge, Mass. 267-330.

the comprehension of definite anaphora". in: M. Computational Models of Discourse. MIT-Press:

Simmons, R./Bruce, B. (1971): "Some relations between predicate calculus and semantic net representations of discourse". Proc. 2nd IJCAI. 524-30.

Simon, H. (1980): "Cognitive Science: the newest science of the artificial". Cognitive Science 4. 33-46.

Simon, H. (1981, 2nd. ed.): The Sciences of the Artificial. MIT Press: Cambridge, Mass.

Smith, E./Medin, D. (1981): Categories and Concepts. Harvard UP: Cambridge, Mass.

Steels, L. (1981): "Programming with objects using ORBIT". Schlumberger Doll: AI Memo 13.

Stich, S.P. (1983): From Folk Psychology to Cognitive Science. MIT Press: Cambridge, Mass.

Stoy, J. (1977): Denotational Semantics. MIT-Press: Cambridge, Mass.

Strawson, P.F. (1959): Individuals. Methuen: London.

302

Tulving, E. (1972): "Episodic and semantic memory". in: E. Tulving/W. Donaldson (eds): Organization of memory. Academic Press: New York. 382-404.

Tulving, E. (1983): Elements of Episodic Memory. Clarendon Press: Oxford.

Turing, A.M. (1950): "Computing machinery and intelligence". Mind 59. 433-60.

Ullman, J. (1980): Principles of Database Systems. Pitman: London.

Vater, H. (1984): "Determinantien und Sprachwissenschaft 3. 19-42.

Quantoren im Deutschen". Zeits. f.

Visser, A. (1984): "Four valued semantics and the liar". Journ. of Phil. Logic 13. 181-212.

Wahlster, W. (1982): "Aufgaben, Standards und Perspektiven sprachorientierter KI­Forschung". 1. Batori/H.D. Lutz/J. Krause (Hrsg.): Linguistische Datenverarbeitung, Versuch einer Standortbestimmung im Umfeld von Informationslinguistik und Klinstlicher Intelligenz. Niemeyer: Tlibingen. 13-24.

Waltz, D. (1981): "Generating and Understanding Scene Descriptions". A. Joshi/B. Webber/I. Sag (eds): Elements of Discourse Understanding. Cambridge UP. 266-82.

Webber, B.(1979): A Formal Approach to Discourse Anaphora. Garland: New York.

Webber, B. (1983): "So what can we talk Computational Models of Discourse.

about now". in: M. Brady/R. Berwick (eds): MIT-Press: Cambridge, Mass. 331-71.

Webster (1981): New Webster's Dictionary of the English Language. College Edition. Delair Publ. Compo New York.

Weyhrauch, R.W. (1980): Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence 13. 133-70.

Wiggins, D. (1980): "'Most' and 'all': some comments on a familiar programme, and on the logical form of quantified sentences". in: M. Platts (ed.): Reference, Truth and Reality. Routledge & Kegan Paul: London. 318-46.

Winograd, T. (1974): "Five lectures on Artificial University, Compo Science Dept. Report: CS 74-459.

Intelligence". Stanford

Winograd, T. (1975): "Frame representations and the declarative / procedural controversy". in: D.Bobrow/A. Collins (eds): Representation and Understanding. New York. 185-210.

Winograd, T. (1983): Language as a Cognitive Process. Vol 1: Syntax. Addison­Wesley: Reading.

Winston, P.H./Horn, B. (1981): LISP. Addison-Wesley: Reading, Mass.

Woodruff, P. (1984): "Paradox, truth and logic. Part I: Paradox and truth". Journ. of Phil. Logic 13. 213-32.

INDEX

A

Aktivierung 155f, 163f. Alternativenentscheidung 196ff Alternativengenerierung 197 Alternativenraum 196 analoge Reprasentation 40 Anaphern 97ff, 102f, 151f, 279ff Angeborenheit 83 Antezedensanwarter 158f, 197ff Antezedens-Maxime 206 Antezedent 97ff, 197ff Approxiamationsverband 249f, 260f,

276 Approximationsstruktur 251f, 256ff Attribut 87f, 145ff, 156, 169ff, 175,

179, 181f

B

Bedeutung 29f, 35, 37, 61, 106 Bestimmtheit 240 Bestimmtheitsbedingung 249 Bestimmtheitsstruktur 251, 258, 260f,

267, 277, 283

D

Deaktivierung 142 defaults 39, 45, 49ff, 77, 87, 246,

271, 285 definite Kennzeichnung 94ff, 100ff,

102f, 235 Definitheit 136f, 238f de re - de dicto 123ff Designation 91, 117ff, 176, 179,

193ff Designationsattribut 148ff, 156, Designationskette 121, 213 Deskription 116ff, 182f, 228

164

Deskriptionsoperator 94, 131ff, 137ff, 161, 228, 236ff

Discourse Representation Theory Diskursmodel1 28, 112, 140ff,

226ff doppeltattributiertes RefN 159 dual coding theory 40 dummies 128 ff

219ff 212,

E

Eigennamen -) Namen El1ipsen 209f ETA-Operator 126ff, 131 Evidenzbewertung 87 existentielle Quantifikation

137 Existenzaussagen 104, 107ff

F

99ff,

faktuelles Wissen 34, 75ff, 123ff Familiaritat 203f Fehlermerkierung 246f, 250 file-change-semantics 219, 222ff Fokus 155, 201f, 230f Fokusattribut 155, 158, 163 Fokussierung 120, 126f, 155 frame 44ff, 48 Fusion 189ff

G

Gedachtnis I11f, 116, 119, 125 Generalisierung 82f Generierung 128ff, 145f, 161, 166,

193, 206ff generisch 103f, 285f Genus-Sexus 150f, 153, 155, 157f given-new 205ff

H

historische Theorie der Referenz 215ff

Homomorphie-Annahme 112

I

imagery 40 indefinite Deskription 99ff, 102f,

137f, 162, 235 Indefinitheit 238f Individuenkonstante 94, 115 Individuen-RefO 132ff, 238 inferentiel1er Prozess 30, 49, 76 Inferenz-Operator 71ff Inferenzregel 51f, 71ff, 76ff, 87f Informationsapproximation 257f Informationsverarbeitendes System Informationsverarbeitungs-Prozess 4,

7, 21 7ff, 11, 27f, 32, 34, 56, 63, 109, 115, 145f, 211

Informationszuwachs 211, 257, 260f Inklusion 184ff

Inkonsistenz 274f

147, 246, 250, 269ff,

Intelligenz, formale 15 Intelligenz, Ktinstliche -) Ktinstliche

Intelligenz Intelligenz, synthetische 15 IP-Hypothese 9, 26 IP-Paradigma 4, 9f, 26, 167 IPS -) Informationsverarbeitendes

System Iota-operator 94f, 106ff, 131ff, 236ff ISA-Hierarchie 70, 79

K

Kardinalitat 132f, 237f, 240ff Kardinalitat, mogliche 244, 248f Kardinalitatsattribut 160f, 241f,

248ff Kardinalitatsberechnung 243ff Kardinalitatseigenschaften 119, 132f Kardinalitatsstruktur 249ff Kategorie 163 kausale Beziehung 42, 44 Kausale Theorie der Referenz 95f,

213, 215ff Kenntnisse 21f KI -) Ktinstliche Inte11igenz Klassen-Ref 0 131ff, 160, 163, 221,

238 Kognitionswissenschaft 2, 6, 15f, 18,

26 kognitive ~konomie 83f, 94, 184 kognitive Realitat 162 kognitiver Prozess 6f, 22 kognitive Simulation 11, 13 Kol1ektiva 102f, 131ff, 216 Konsistenz 48f, 178f, 265 Konzept 61ff, 71f, 78ff, 84ff konzeptuelle Folgerung 71ff, 84f Kontext 101 Koreferenz 96ff, 195 Korrektur 260ff, 277 Kreiierung 143, 174ff, 180f, 198f,

202ff, 212 Ktinstliche Intelligenz 2, 15f, 18, 26

L

Loschung 174ff Logik, mehrwertige 57, 271, 276f logische Sprachen 38f

M

MANY-Operator 138, 237 Maschine, abstrakte 9, Ilff 'meist' 49ff, 103, 138, 286 menta1er Prozess 11

304

28, 226ff 13f

mentales Modell Millersche These Modalitat 39, 49, Modularitat 21

59

monotone Logik 51

N

Namen 93ff, 115, 148f nattirliche Sprache 6, 18, 38 Negation 104f Non-monotonie 50ff, 57, 77

o

Objektwissen 34, 75ff, 112ff, 123ff, -) referentielles Netz

Operator 59, 79f, 84ff, 172f Operator-Operanden-Struktur 39

P

Paradoxie der 274, 276

Paradoxie des Partnermodell

materiellen Implikation

Ltigners 278 207

permanente Entitaten 144, 194 Perzeptionsausdrticke 59, 72f Plural 102f, 131ff, 215ff, 231f Pradikatenlogik 39, 49f Prazisierung 244, 273 Pronomen 151ff propositionale Sprachen 39ff, 48 Prototyp 163

Q

quantifier, generalized 138f quantifikationel1e Analyse

102f, 106ff

R

Reali tat Redundanz

91, 215ff 125

99ff,

referentiel1er Prozess 166ff referentielles Netz (RefN) 75ff, 112,

117ff Referenz 91ff, Referenzobjekt

177f

100ff (Ref 0) 75ff,

Referenzoperator 151ff Referenz-Situation 193ff, 208 RefO-Attribut 158ff Ref0-Identitat 190 Regel 11 Rege1schema 78f, 120

115ff,

Regelwissen 34, 75ff Regularitat 43 Reprasentation 11, 89 Reprasentationsformat 35f, 39ff, 58 Reprasentationssprache 22, 37ff,

56ff, III Reprasentation von Wissen 21f, 31,

35, 37 Revision 51

S

schemaorientierte Reprasentation 43, 86

Schlussfolgerung 6, 34 Script 44, 46ff semantisches Netz 39, 48 Situation 280 Situations-Semantik 216ff Sorte (Sortierung) 65ff, 163 Sortenattribut 149f, 160f Sorten-RefO 201 Sortenvertraglichkeit 68ff, 267 Splitting 19lf Sprachbeherrschung 20ff, 26, 44, 89,

92 Sprachgemeinschaft 63 SRL 59ff, 6lff Stellvertreter 115, 162 Suchraum 196 Syllogismus 228 Symbolstruktur 8f, 26, 37

T

temporare Entitat 142ff, 194 Tendenzregel 97, 115, 205 Term 60, 114ff Testprozess 167ff Turing-Maschine 9 Turing-Maschinen-Psychologie 13 Turingtest 13ff 'typisch' 50ff

U

Uberbestimmtheit 244f, 251, 269ff Unbestimmtheit 241f, 251 Unitatsbedingung 94, 100f, 104, 107,

132, 236 Unsicherheit; 50 Unterbestimmtheit Unvol1standigkeit

239, 269ff 50, 269ff

305

v

Vagheit 273 Variable 59, 116 Vererbung 70 Vergessen 174 Vergleichsprozess 167ff Verstehen 44 Vertraglichkeitstest 169f, 172f Verweisoperator 184ff, 190 Vollstandigkeit 48f,

Unvo11standigkeit Vorwissen 22f

W

Wahrheitskriterium rur Wissen 21 Wahrheitswertlticke 278 Wahrnehmung 34

-)

Weltmodel1 (WM) 28ff, 32, 37, 75ff, 108f, 112, 140ff, 166f, 212

We1tmodell, Veranderung von 30, 166f, 189f, 193ff

Welt, projizierte 27f, 32, 37, 89ff, 115f, 141, 162, 215ff

Welt, reale 26ff, 37f Weltwissen 22, 25, 31, 99 widersprtichlich Dua1es 251 Wissen 20, 31f, 34 Wissen, explizit vs. implizit 76f wissensbasierter Prozess 22 wissensbasiertes System 11 Wissensquel1e (-spur) 33, 88, 147, 164 Wissenssystem (-bestand) 22, 25, 32,

75ff, 123ff, 140ff, 211 Wohlgeformheitsbedingung 65, 84f,

178f

z

zeitliche Struktur 43f, 281f Zeit-Ref 0 28lff Zustand eines IPS 30 Zustand, mentaler 26, 30, 61

Personenregister

A

Abelson 26, 42, 44, 46f Anderson Ill, 163, 191

B

Bartlett 43 Barwise 38, 58, 72f,

106, 138, 216ff, 237 Belnap 51, 58, 125, 231,

259f, 269, 274ff Bernays 94 Block 40, 135f Bobrow 44, 190 Bower 111

'Brachman 39, 44, 69, 80

C

Carlson 103f, 285 Carnap 71, 119 Carroll 20, 104f Chisholm 32 Chomsky 4f, 9, 21, 23,

26, 65, 83 Clark 163f, 205ff, 225ff Collins 83f Cooper 138, 237

D

Devitt 95, 116, 120, 213, 215

Donneilan 91, 95, 215 Doyle 51f Dretske 83, 86 Dreyfus 3, 10, 14

E

Euler 33 Evans 96, 108, 215

F

Fodor 21, 26 Frege 213

G

Geach 109 Glubrecht 132 Grice 134, 206, 247 Grosz 155, 213

H

Hajicova 155, 202 Haugeland 10, 15 Haviland 205f, 225 Hawkins 203, 235 Hayes 39, 48, 84 Heim 99, 101, 106, 109,

133, 203, 219, 222ff Herrmann 164 Hilbert 94 Hornstein 106

J

Jackendoff 27, 62, 80, 91 Jameson 209f Johnson-Laird 28, 71,

141, 226ff

K

Kanngiesser 13f, 20f, 24, 32ff, 88, 147, 196

Kamp 106, 219ff, 282f Keil 163 Kintsch

174, Kosslyn

lll, 141, 225 40

163,

Kripke 91, 96, 117, 120, 164, 215

L

Laucht 164 Lehrer 32

Levesque 270 Lewis 206f Loftus 83f

M

Macnamara 61, 163 Marshall 164, 207, McCarthy 3, 39 McDermott 52, 282 Miller 4f, 13, 24,

225fT

71,

84 Minsky 39, 44, 50 Montague 59 Moore 39, 51 Morik 31, 106f Mostowski 138

N

Neumann Newell Novak

o

34, 40 4, 7, 9f, 167

40

Oberschelp 65f, 69, 132

P

Paivio 40

Perry 38, 72f, 106, 216ff Pinkal 273

Q

Quillian 39 Quine 115, 123f, 132

R

Reichman 155 Reiter 50, 52, 58, 270f Rescher 90, 274, 282,

286 282f

163 Rohrer Rosch Russell Ryle 41

94ff, 108

S

Schank 26, 42, 44, 175 Schmidt 65, 69 Schubert 39 Scott 249, 251,

260, 269, 276 Shannon 2 Sgall 155 Sidner 230ff Simon 4, 9, 167, 196 Stich 26, 124 Stoy 249f, 260

46,

257,

T

Todt 132 Turing 5, 13ff Tu1ving 22, 24

307

v

van Benthem 138, 282 van Dijk 141, 225 Vater 236ff

237, W

Wah1ster 54, 209f Webber 231ff Winograd 23, 26, 40f,

44, 48, 86, 140

SRL-Abkiirzungen

ALL_t 132ff

ATT 88

card 132

CARD 248

CLASS 139

D-ATT 156

DESCR 117

DESIGN 117

dum 128f

EFF 59

ETA 126

F 75

FOR 59

In 190

IOTA 94

MANY t 138 -0 75

OP 59

R 75

R-ATT 159

REF-N 117

RefN 75

Ref 0 115

REFO 115

RRL 72

RUL 72

SOME_t 137

SRL 60

SUB 185

SUPER 185

TER 60

TYP 59

VAR 59

W-CARD 254

Operator der definiten p1uralen Deskription

Menge von Attributen

Kardinalitat

Menge moglicher Kardinalitaten

Operator der extensionalen Klassenbildung

Menge der Designationsattribute

Menge der deskribierenden Terme

Menge der designierenden Ausdrlicke

DUlIDIly-Symbol

Effekt

Operator der indefiniten singularen Deskription

Faktenwissen

Menge der wohlgeformten Formeln

Identitatsverweis zwischen Ref Os

Operator der definiten singularen Deskription

indefiniter pluraler Deskriptionsoperator ('viele')

Objektwissen

Menge der SRL-Operatoren

Regelwissen

Menge der RefO-Attribute

Referentielles Netz (als Wissenstruktur)

Referentielles Netz

Referenzobjekt

Menge der Referenzobjekte

Regelreprasentationssprache

Menge der Regeln

Operator der indefiniten p1uralen Deskription

Menge der woh1geformten Ausdrlicke

Verweisoperator der Ink1usion

Verweisoperator der Ink1usion

Menge der woh1geformten Terme

Typ eines Operators

Menge der Variab1en

Menge widersprtich1icher Kardina1itaten

Irammierumgebungen: Entwicklungswerkzeuge und iprachen, Herausgegeben von W. Sam mer und W, I 236 Seiten, 1984,

~e Informationstechnologlen und Verwaltung, Pro-13, Herausgegeben von R, TraunmQller, H, Fiedler, K H, Reinermann, XI, 402 Selten, 1984,

rdinaten von Informationen, Proceedings, 1983, Her­IOn R. Kuhlen, VI, 366 Seiten, 1984,

ode, Mlkroarchitekturen und Mikroprogrammierung: hreibung und Optimierung, 6, 7-227 Seiten, 1984,

tware-Fehlertoleranz und -Zuverliissigkeit. Heraus­:: Belli, S, Pfleger und M, Seifert, VII, 297 Seiten, 1984,

hlertolerierende Rechensysteme, 2, GI/NTG/GMR­Bonn 1984, Herausgegeben von K-E. GroBpietsch n, X, 433 Seiten, 1984,

ulationstechnik. Proceedings, 1984, Herausgegeben Bcker und W, Kleinert, XII, 676 Seiten, 1984,

,eBrechner 1984, 4, GI/GMR/KfK-Fachtagung, Karls­Iber 1984, Herausgegeben von H, Trauboth und A. I 710 Seiten, 1984,

lterkennung 1984, Proceedings, 1984, Herausgege­'opatsch, IX, 351 Seiten, 1984,

14, Jahrestagung, Braunschweig, Oktober 1984, Pro­rausgegeben von H,-D, Ehrich, IX, 451 Seiten, 1984,

chgespriiche auf der 14, GI-Jahrestagung, Braun­)ber 1984, Herausgegeben von H,-D, Ehrich, V, 267

Irmatik als Herausforderung an Sc;hule und Ausbil­htagung, Berlin, Oktober 1984, Herausgegeben von Haefner, X, 416 Seiten, 1984,

Stoyan, Maschinen-unabMngige Code-Erzeugung lrhaltende beweisbare Programmtransformation, IV, 984,

me Multlfunktionale BOroarbeltspliitze, Proceedings, ;gegeben von F. KrOckeberg, S, Schindler und 0, 35 Seiten, 1985,

Instliche Intelligenz, FrOhjahrsschule Dassel, Miirz gegeben von C, Habel. VII, 320 Seiten, 1985,

tenbank-Systeme fOr BOro, Technik und Wirtschaft. 1985, Herausgegeben von A. Blaser und P. Pistor,

,1985,

nmunikation in Verteilten Systemen I. GI-NTG-Fach­:ruhe, Miirz 1985, Herausgegeben von D, Heger, G, aniol und W. Zorn, IX, 691 Seiten, 1985,

lanisation und Betrieb der Informationsverarbeitung, 1985, Herausgegeben von W, Dirlewanger, XI, 261

~i1imer, Systematische Software- Qualitiitssicherung lualitiits- und Produktmodellen, VII, 162 Seiten, 1985,

entliche Verwaltung und Informationstechnik, Neue 1, neue Probleme, neue Perspektiven, Proceedings, ,gegeben von H, Reinermann, H, Fiedler, K Grimmer, t TraunmOller, X, 396 Seiten, 1985,

<Ospert, Fehlererkennung und Fehlerbehandlung in sstrukturen von Datenbanksystemen, IX, 294 Seiten,

Band 100: W. Lamersdori, Semantische Repriisentation komplexer Objektstrukturen, IX, 187 Seiten, 1985,

Band 101: J, Koch, Relationale Anfragen, VIII, 147 Seiten, 1985,

Band 102: H,-J, Appelrath, Von Datenbanken zu Expertensystemen, VI, 159 Seiten, 1985,

Band 103: GWAI-84, 8th German Workshop on Artificial Intelli­gence, WingsVStade, October 1984, Edited by J, Laubsch, VIII, 282 Seiten, 1985,

Band 104: G, Sagerer, Darstellung und Nutzung von Expertenwis­sen fOr ein Bildanalysesystem, XIII, 270 Seiten, 1985,

Band 105: G, E. Maier, Exceptionbehandlung und Synchronisation, IV, 359 Seiten, 1985,

Band 106: Osterreichische Artificial Intelligence Tagung, Wien, September 1985, Herausgegeben von H, Trost und J, Retti. Viii, 211 Seiten, 1985,

Band 107: Mustererkennung 1985, Proceedings, 1985, Herausge­geben von H, Niemann, XIII, 338 Seiten, 1985,

Band 108: GI/OCG/OGJ-Jahrestagung 1985, Wi en, September 1985, Herausgegeben von H, R. Hansen, XVII, 1086 Seiten, 1985,

Band 109: Simulationstechnik, Proceedings, 1985, Herausge­geben von D, P. F. Moller, XIV, 539 Seiten, 1985,

Band 110: Messung, Modellierung und Bewertung von Rechen­systemen, 3, GI/NTG-Fachtagung, Dortmund, Oktober 1985, Her­ausgegeben von H, Beilner, X, 389 Seiten, 1985,

Band 111: Kommunikation in Verteilten Systemen II, GI/NTG-Fach­tagung, Karlsruhe, Marz 1985, Herausgegeben von D, Heger, G, Krager, 0, Spaniol und W. Zorn, XII, 236 Seiten, 1985,

Band 112: Wissensbasierte Systeme, GI-KongreB 1985, Heraus­gegeben von W, Brauer und B, Radig, XVI, 402 Seiten, 1985,

Band 113: Datenschutz und Datensicherung im Wandel der Infor­mationstechnologien, 1, GI-Fachtagung, MOnchen, Oktober 1985, Proceedings, 1985, Herausgegeben von P. P. Spies, Viii, 257 Seiten, 1985,

Band 114: Sprachverarbeitung in Information und Dokumentation, Proceedings, 1985, Herausgegeben von B, Endres-Niggemeyer und J, Krause, Viii, 234 Seiten, 1985,

Band 115: A. Kobsa, Benulzermodellierung in Dialogsystemen, XV, 204 Seiten, 1985,

Band 116: Recent Trends in Data Type Specification, Edited by H,-J, Kreowski. VII, 253 pages, 1985,

Band 117: J, Rohrich, Parallele Systeme, XI, 152 Seiten, 1986,

Band 118: GWAI-85, 9th German Workshop on Artificial Intelli­gence, Dassel/Soiling, September 1985, Edited by H, Stoyan, X, 471 pages, 1986,

Band 119: Graphlk in Dokumenten, GI-Fachgespriich, Bremen, Miirz 1986, Herausgegeben von F. Nake, X, 154 Seiten, 1986,

Band 120: Kognitive Aspekte der Mensch-Computer-Interaktion, Herausgegeben von G, Dirlich, C, Freska, U, Schwatlo und K Wim­mer, VIII, 190 Seiten, 1986,

Band 121: K, Echtie, Fehlermaskierung durch verteilte Systeme, X, 232 Seiten, 1986,

Band 122: Ch, Habel, Prinzipien der Referentialitiit. Untersuchun­gen zur propositionalen Repriisentation von Wissen, X, 308 Seiten, 1986,