5. Österreichische Artificial-Intelligence-Tagung: by Roy Leitch, Mark Wiegand (auth.), Johannes Retti, Karl

By Roy Leitch, Mark Wiegand (auth.), Johannes Retti, Karl Leidlmair (eds.)

Die 5. Österreichische Artificial-Intelligence-Tagung setzt sich zusammen aus wissenschaftlichem Programm, Workshops und Tutorials. Der wissenschaftlich orientierte Teil des Tagungsprogramms umfaßt sowohl eingeladene als auch begutachtete Vorträge zu den Themen Qualitatives Schließen, Methodik Wissensbasierter Systeme und deren Anwendung, Logik/Deduktion, Natürlichsprachliche Systeme, Lernen und Kognition. Zum Informationsaustausch waren zusätzlich Workshops zur Weiterbildung vorgesehen. Besonders das Thema "Philosophie und KI" demonstrierte das allgemeine Interesse. Dies soll mit Beiträgen dokumentiert werden, die einen Überblick über Berührungspunkte der KI mit philosophischen Strömungen bieten und auch den Einfluß der KI als Teil der Informatik auf das philosophische Weltbild verdeutlichen. Ebenfalls repräsentative Beiträge wurden zu den Workshops "Konnektionismus", "Qualitatives Schließen" und "Begriffsbildung/-modellierung" ausgewählt.

Show description

Read or Download 5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings PDF

Similar nonfiction_8 books

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

Classifier structures are an exciting method of a huge variety of computing device studying difficulties, in accordance with automatic iteration and evaluate of condi­ tion/action principles. Inreinforcement studying projects they concurrently deal with the 2 significant difficulties of studying a coverage and generalising over it (and re­ lated items, similar to price functions).

Bacterial Membranes and the Respiratory Chain

The main invaluable carrier Dr. Gel'man and her colleagues have played for the numerous investigators of bacterial membrane platforms in generating their first very good monograph on "The breathing gear of micro organism" in 1966 has been endured and elevated within the education of this quantity. The au­ thors have introduced jointly in one quantity a lot of the aspect of investiga­ tions of bacterial membranes on the ultrastructura11eve1 and the chemical and biochemical organizationa11eve1s.

Species of Aphytis of the World: Hymenoptera: Aphelinidae

The good value of exact systematics for organic regulate has been mentioned and mentioned again and again by means of quite a few authors (see Clausen, 1942; Sabrosky, 1955; Schlinger and Doutt, 1964; Compere, 1969; Rosen and De Bach, 1973; DeBach, 1974; Delucchi, Rosen and Schlinger, 1976; and others) and doesn't require from now on elaboration right here.

Additional info for 5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings

Sample text

Franz Winkler Institut für Mathematik and Research Institute for Symbolic Computation Johannes Kepler Universität Linz Abstract Equational theorem proving is interesting both from a mathematical and a computational point of view. Many mathematical structures like monoids, groups, etc. can be described by equational axioms. So the theory of free monoids, free groups, etc. is the equational theory defined by these axioms. Adecision procedure for the equational theory is a solution for the word problem over the associated algebraic structure.

Et al. (1986) LILOG - Linguistic and logic methods for the computational understanding of german. LILOG Report 1b, ffiM Germany, Stuttgart. (1987) CML in LOKI. LOKI Working Paper BI-30, Hamburg University. (1988) An application of default logic to speech act theory. M. ) The structure o/multimodal dialogue. North-Holland, Amsterdam (forthcoming). (1987) Events and VP modifiers. In: Recent developments and applications ofnaturallanguage understanding. Unicom, Uxbridge. (1987) Semantic processing in speech understanding.

All the people involved are said to be with Siemens, so a universal quantification over the domain of the relevant people is in order. However, the quantification over reports on morphology should not be universal, since the relative clause is not meant to seleet those people who presented every report on morphology, but rather those who presented some of those reports. Tbe problem is that the same determiner seems to require a universal quantifier in some syntactic positions and an existential one in others.

Download PDF sample

Rated 4.31 of 5 – based on 38 votes