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

Low Dimensional Semiconductor Structures: Characterization, Modeling and Applications

Beginning with the 1st transistor in 1949, the area has skilled a technological revolution which has permeated so much points of contemporary lifestyles, fairly during the last iteration. another such revolution looms up earlier than us with the newly built potential to regulate topic at the nanometer scale.

Complete Minimal Surfaces of Finite Total Curvature

This monograph comprises an exposition of the idea of minimum surfaces in Euclidean house, with an emphasis on entire minimum surfaces of finite overall curvature. Our exposition relies upon the philosophy that the examine of finite overall curvature whole minimum surfaces in R3, in huge degree, coincides with the research of meromorphic capabilities and linear sequence on compact Riemann sur­ faces.

Convexity and Optimization in Finite Dimensions I

Dantzig's improvement of linear programming into the most appropriate optimization suggestions has unfold curiosity within the algebra of linear inequalities, the geometry of polyhedra, the topology of convex units, and the research of convex services. it's the target of this quantity to supply a synopsis of those issues, and thereby the theoretical again­ flooring for the mathematics of convex optimization to be handled in a sub­ sequent quantity.

Psychological and Behavioral Assessment: Impact on Pediatric Care

During the last a number of many years, the amazing luck of technological know-how and scientific expertise has allowed many youngsters with continual sickness and handicapping stipulations to stay longer and more healthy lives. yet this suc­ cess isn't really with out toll. The human rate of continual disorder or a handicap­ ping may be huge, immense for the kid and the family members.

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

Sample text

But both t' and t" are irreducible, so t' = u = t". 7: The rewrite rule system (RG) is not locally confluent. This can be seen by considering the two terms 1· y and X-I. (x· y). only be reduced to y and the second term is irreducible. (x-l·x)·y ~G2) l·y l(RGl) Y ~(RG3) x-l·(x·y) • If M is a term algebra. and -> is the reduction relation modulo a rewrite rule system R, then it suffices to carry out the test for local confluence for finitely many so called "critical" situations x f - Z -> y. 8: Let R be a rewrite rule system, 11 ~ rl, 12 ~ r2 two rules in R, p an occurrence in 11 such that It/p ia not a variable.

In some of these vers ions, illocutionary acts play an explicit role, in that utterances are assigned illocutionary act labels as part of the representation of their meaning (as in (1) above). g. Cohen & Levesque, 1985). The most sophisticated versions which can be found in the literature have so far not been implemented; less sophisticated versions are used in the LOQUI system (Wachtel, 1987) and in the TENDUM system (Bunt, 1986). 3 Language interpretation and knowledge processing We have seen above that language understanding by its very nature is a combination of determining linguistic structure and applying world knowledge, since the understanding of a sentence involves the identification of the knowledge elements that the linguistic expression refers to.

Durch diese vier Wissenserhebungsphasen entsteht ein auf vier Ebenen beschriebenes konzeptuelles Modell. Jede Ebene erweitert und konkretisiert damit die auf den höheren Ebenen gegebene Spezifikation. Der Blick des Wissensingenieurs wird hierdurch top-down auf gewisse Teilaspekte der Expertise gelenkt, die dann-losgelöst-gezielt bearbeitet werden können. B. hnen, und schließlich sieht man nur noch aus Eigenschaften aggregierte Phasenziele oder den Phasenverlaufsplan. Die Darstellung auf Ebenen 1 bis j gibt also eine abstraktere Sicht als die auf Ebenen 1 bis j+l.

Download PDF sample

Rated 4.78 of 5 – based on 42 votes