Download e-book for iPad: 7. Österreichische Artificial-Intelligence-Tagung / Seventh by Wolfgang Wahlster, Elisabeth André, Som Bandyopadhyay,

By Wolfgang Wahlster, Elisabeth André, Som Bandyopadhyay, Winfried Graf, Thomas Rist (auth.), Hermann Kaindl (eds.)

ISBN-10: 3540545670

ISBN-13: 9783540545675

ISBN-10: 3642467520

ISBN-13: 9783642467523

Die 7. \sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der starken Beteiligung aus dem Ausland einen ausgepr{gt internationalen Charakter, weshalb auch der vorliegende Tagungsband zweisprachig herausgegeben wurde. Die behandelten Themen aus dem Gebiet der K}nstlichen Intelligenz (KI) werden repr{sentiert durch sechzehn begutachtete Beitr{ge sowie zwei eingeladene Vortr{ge. Sie sind thematisch breit gestreut, wobei sich gewisse Schwerpunkte in den Gebieten "Nat}rliche Sprache" und "Wissensbasierte Systeme" sowie Logik und Schlie~en" abzeichnen.

Show description

Read Online or Download 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.–27. September 1991 Proceedings PDF

Similar german_5 books

Download e-book for iPad: Meß- und Regelungstechnik: Mathematische Grundlagen, by Hans P. Geering

Dieses Lehrbuch f? hrt in die Theorie der linearen dynamischen Mehrgr? ?ensysteme ein. Das Verhalten dynamischer Systeme unter dem Einflu? von deterministischen und stochastischen Vektorsignalen wird im Zeit- und Frequenzbereich analysiert, wobei die Systeme auch im Zustandsraum beschrieben werden. Die klassischen Methoden des Reglerentwurfs im Frequenzbereich werden ebenso behandelt wie die Entwurfsmethoden f?

Verschleißminderung an Werkzeugen der Kaltmassivumformung - download pdf or read online

Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als wissenschaftlicher Mitar beiter am Institut fur Umformtechnik der Universitat Stullgart. Herrn Professor Dr. -Ing. Dr. h. c. Kurt Lange danke ich herzlich fur das mir entgegenge brachte Vertrauen, seine grosszugige Forderung und seine Unterstutzung bei der Anferti gung dieser Arbeit.

Extra info for 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.–27. September 1991 Proceedings

Sample text

The model of rational action and interaction is grounded on four principles comprising the concepts of mental initiative, physical activity, purposeful selection, and cooperation, which are expressed as inference rules. It is shown how the adequacy of a communicative act for achieving a certain task-oriented goal can be derived by deductive and abductive use of these rules, given a suitable environment in terms of the competence and the propositional attitudes of the agents involved. Finally, the potential of extending this basic model is sketched out.

1 Grammar and Implementation We have decided to base the grammar formalism on attribute-value-structures (AVSsj for an overview cf. Johnson (1988) and Shieber (1986)). This choice contributes to the criterion of Declarativeness due to its neutrality with regard to parsing and generation. Grammar formalisms that use AVSs and that have influenced our work are those of HPSG (Pollard & Sag (1987)) and Fenstad et al. (1987). In order to fulfil the criterion of Implementability we have developed a unification formalism for feature descriptions (Matiasek (1989)), which has the ability to cope with disjunction and negation (cf.

Let us therefore consider a pair of non-tautological clauses C and D and show that we can reduce the decision problem C => D to a finite number of tests for strong condensation. Let D· denote the ground clause obtained from D by uniformly replacing each variable of D by a new' distinct constant not occurring in CUD. It is easy to see that C => D iff C => D·. 28 We show that C =? DO iff for each nonempty subset C' of C, C' U DO is not strongly condensed (our theorem follows immediately). H: We first show that each strong condensation of E = C U DO must contain DO as subset.

Download PDF sample

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.–27. September 1991 Proceedings by Wolfgang Wahlster, Elisabeth André, Som Bandyopadhyay, Winfried Graf, Thomas Rist (auth.), Hermann Kaindl (eds.)


by Paul
4.3

Rated 4.83 of 5 – based on 42 votes