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

Regenerative Inventory Systems: Operating Characteristics and Optimization

This can be a renewal-theoretic research of a category of single-item (s, S) stock structures. incorporated, in a unified exposition, are either con­ tinuous and periodic evaluate structures less than rather normal random de­ mand techniques. The monograph is whole within the experience that it begins from the derivation of the time based and desk bound dis­ tributions of easy stochastic procedures regarding those structures and concludes with the development and checking out of straightforward, distribution­ unfastened approximations for optimum regulate rules.

Collaborative, Trusted and Privacy-Aware e/m-Services: 12th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2013, Athens, Greece, April 25-26, 2013. Proceedings

This e-book constitutes the refereed convention court cases of the twelfth IFIP WG 6. eleven convention on e-Business, e-Services and e-Society, I3E 2013, held in Athens, Greece, in April 2013. The 25 revised papers offered including a keynote speech have been conscientiously reviewed and chosen from various submissions.

Interpretation and Extrapolation of Reproductive Data to Establish Human Safety Standards

The overseas lifestyles Sciences Institute (! LSI) is a systematic starting place that addresses serious well-being and questions of safety of nationwide and overseas con­ cern. ILSI promotes foreign cooperation by way of delivering the mechanism for scientists from govt, undefined, and universities to interact on cooperative courses to generate and disseminate medical information.

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

Example text

The idea that the semantics of a sentence does not lie in its truth conditions, but rather in the way it changes the information of the interpreter, is quite similar to the starting point of discourse-semantic theories, which view the interpretation of multi-sentence discourse as a process that grows and updates representation structures, and also to the idea that the pragmatic meaning of an utterance 24 consists in the way the semantic content changes the mental states of the participants involved.

And V, • So for deciding the validity of an equation modulo E is suffices to show that the equation can be syntactically derived from E. 3. Rewrite rule systems One approach to deciding equational theories = E is to use rewrite rule systems. The idea is to associate a direction (left to right or right to left) with every equation of the 31 basis E. This leads to a "reduction relation" --+ E on the terms such that = E is equal to the reflexive, symmetric, transitive closure of --+E. Then the decision prnhiem for =E can be solved if --+ E has some nice properties: (1) --+ E always terminates after a finite number of applications and (2) --+ E has the so called Church-Rosser property.

The following example illustrates this. Suppose we want to construct a semantic representation of the sentence "Tbe people who presented the reports on morphology are with Siemens·. Tbe use of the defmite artic1es indicates that there is a predication ranging over known domains, and that all the people and reports in these domains are involved. 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.

Download PDF sample

Rated 4.55 of 5 – based on 6 votes