Filters








16 Hits in 5.2 sec

REZENSIONSTEIL

1990 Zeitschrift für Sprachwissenschaft  
Zu der Frage etwa, ob die intuitionistische Logik ein Subsystem, eine Erweiterung oder eine Rivalin der klassischen Logik sei, bemerkt Richard Sylvan zutreffend:  ...  [Barwise/Perry 1983]) das Augenmerk auf die Rolle partieller Modelle zur Interpretation natürlicher Sprachen gelenkt worden, und in der neubelebten Maschinerie der Kategorialgrammatik sind relevanzlogische  ...  Die von Blarney in Kapitel l entwickelte partielle Logik ist eine inklusive freie Logik, und Blarneys partielle Semantik eine "outer domain"-Semantik.  ... 
doi:10.1515/zfsw.1990.9.1-2.213 fatcat:dcslfmoysndjvpn4mwurhb6vme

Spezifikation und Modellierung [chapter]

Peter Marwedel
2021 Eingebettete Systeme  
ZusammenfassungWie können wir das System, welches wir entwerfen wollen, beschreiben und wie können wir partielle Entwürfe darstellen?  ...  Eine Antwort auf diese Fragen gibt dieses Kapitel, in dem wir Modelle und Beschreibungstechniken vorstellen, mit denen sowohl die Spezifikation wie auch Zwischenschritte dargestellt werden können.  ...  Die Unterstützung für vierwertige Logik ist direkt in die Verilog-Sprache eingebaut und der Standard IEEE 1364 stellt auch eine mehrwertige Logik mit acht verschiedenen Signalstärken zur Verfügung.  ... 
doi:10.1007/978-3-658-33437-6_2 fatcat:vol7ufcuara45bvzrjso7uyfaq

Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung [online]

Peter Kullmann
2001
Im anschließenden Abschnitt wird dann die Idee der Mediatorarchitektur und die Anforderungen erläutert, die an eine solche Architektur aus dem Blickwinkel der Informationsintegration gestellt werden.  ...  symmetrisch und vermeidet Unerfüllbarkeit durch eine dreiwertige Logik.  ...  Moduls zur Verarbeitung von Mediatorprogrammen.  ... 
doi:10.5445/ir/2602001 fatcat:uqk2etzahncnpase5hujloejrm

Eine modulare Architektur für dienstbasierte Interaktionen zwischen Agenten [article]

Ralf Sesseler, Technische Universität Berlin, Technische Universität Berlin, Herrmann Krallmann, Erhard Konrad
2002
Mit der zunehmenden Vernetzung vor allem durch das Internet entsteht eine Computerinfrastruktur, die neue Möglichkeiten zur Gestaltung von Dienstplattformen mit sich bringt, aber auch neuartige Anforderungen  ...  Die Verwendung von formalen Wissensstrukturen bietet dabei einerseits eine abstrakte Ebene zur Spezifikation und Analyse von Agenten, andererseits bildet sie die Grundlage der autonomen Verhaltenskontrolle  ...  Ternäre Logik Für dreiwertige (und andere mehrwertige) Logiken gibt es verschiedene Ansätze zur Definition der logischen Verknüpfungen (vgl.  ... 
doi:10.14279/depositonce-515 fatcat:ax27wbphxbglvjclv2vkhnz7uu

Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung [article]

Dierk Johannes, Universität Des Saarlandes, Universität Des Saarlandes
2010
Dazu wird vorab mittels Shapeanalyse, einer auf Logik basierenden parametrischen statischen Programmanalysetechnik, eine Beschreibung der an den Programmpunkten auftretenden abstrakten Heapstrukturen berechnet  ...  Im Vordergrund stehen Methoden zur Strukturierung der Analyseausgabe. Ein Ähnlichkeitskonzept gestattet es, bezüglich verschiedener parametrischer Ähnlichkeitsbegrie zu abstrahieren.  ...  Dabei handelt es sich um einen der zurzeit mächtigsten Mechanismen zur statischen Programmanalyse. Sie basiert auf dreiwertiger Logik.  ... 
doi:10.22028/d291-25973 fatcat:cxs24sec3neipihailqfiry7hu

Denkräume und Denkbewegungen : Untersuchungen zum metaphorischen Gebrauch der Sprache der Räumlichkeit

Christian Hoffstadt
2009
Christian Hoffstadt, 1972 in essen geboren, ist ein interdisziplinär aktiver Denker.  ...  Dabei erleben wir in den letzten Jahren eine Renaissance des Raumes bzw. des Raumbegriffs 3 -während zugleich in 1  ...  Objekt." 268 Günther unterscheidet nun Modelle, die eine echte dreiwertige "Stellenwertlogik" einführen wollen, von Modellen, die Zwischenwerte in die traditionelle zweiwertige Logik einführen (zu letzteren  ... 
doi:10.5445/ksp/1000011606 fatcat:a3ktn6jzl5ctxkwjkt2pxh3o4y

Vector, 2. Jg., Heft 1 (2010) [article]

(:Unkn) Unknown, Universität Vechta
2021
Und wie oft ärgern wir uns über diese viel zu enge, weil bloß ‚dreiwertige Logik'! Die Künste wissen, dass es auch noch eine andere, komplexere ‚Logik' gibt, die uns oft gemäßer ist.  ...  Ich gebe zu, dass hier ein Problem liegt, sage aber, dass fürs erste eine wenigstens partiell einge- arbeitete Kraft der eigenen Universität ein notwendiger Anfang ist.  ...  Sie geben auch Antworten, freilich: ästhetische, also ihrer eigenen Logik folgende Antworten!)  ... 
doi:10.23660/voado-269 fatcat:aftnt6ykjvguhidhjqxnlmyqrm

Entscheidungsunterstützung zur Auswahl von Verfahren der Trinkwasseraufbereitung an den Beispielen Arsenentfernung und zentrale Enthärtung [article]

Alexander Ruhland, Technische Universität Berlin, Technische Universität Berlin, Martin Jekel
2004
In den Fallbeispielen wird für diese Ziele jeweils ein Katalog von Bewertungskriterien erarbeitet.  ...  Nach Anpassung und Erweiterung von Entscheidungsmodellen, die auf der Nutzwertanalyse sowie dem Outrankingverfahren PROMETHEE beruhen, werden diese an Fallbeispielen zur Arsenentfernung und zur zentralen  ...  Die wichtigsten zur Arsenentfernung eingesetzten Chemikalien sind zwei-oder dreiwertige Eisensalze.  ... 
doi:10.14279/depositonce-930 fatcat:f5xygjsmubhjzem46smb2lexby

Inferenzen als Prinzip des Sprachverstehens : zeichentheoretische Überlegungen und Erkundungen im Bereich von Wort, Satz und Text

Thomas Studer
2008
Das kam so: Bei der Lektüre einer grossen Anzahl von Artikeln zur psycholinguistischen und psychologischen Inferenzforschung zeigte sich, dass oft hoch differenzierte Datenerhebungs-und -auswertungsmethoden  ...  Entstanden ist aber nicht eine empirische, sondern eine über weite Strecken theoretisch ausgerichtete Arbeit über Inferenzen als Prinzip des Sprachverstehens, in die eine kleine empirische Studie zum Verständnis  ...  Informations-und eine Kontakt- funktion ersetzt.  ... 
doi:10.5167/uzh-163789 fatcat:v3wkch5fzjhr7jkpfa5ycfjss4

Sinn und Wert. Ein philosophierender Klärungsversuch

Robert H Gassmann
2017
Ein einfacher Satz illustriert die beiden Rollen: ich handle [WIE?], um zu [ABSICHT, WOZU?].  ...  Das bringt zwar sisyphidisches Mühen mit sich, aber auch Erfahrungen eines «glückenden Lebensvollzugs», besonders wenn das eigene Handeln sinngeleitet und wertbezogen gestaltet werden kann.  ...  Die Sprache ist wahrhaftig ein Wunder: Sie ist ein verkürzter Zugang zur Vorstellungswelt, ein Ordnungsinstrument (u. a. durch die verbalisierte Logik), ein virtuelles kollektives Gedächtnis (das speicherbar  ... 
doi:10.5167/uzh-173137 fatcat:32u7c6f7pbgnxpvezstlmx65we

Exzess und Selbst

Jan Juhani Steinmann
2020 unpublished
Die Kritik und Komplementierung der waldenfelsischen Anteile legen schließlich einen modalen Qualitätssprung nahe, der die Hyperphänomenologie, über sich selbst hinaus, in der Existenz eines exzessiven  ...  Waldenfels" untersucht die von Bernhard Waldenfels, in vielfachem Rückgriff auf die philosophische sowie phänomenologische Tradition von Platon bis Merleau-Ponty, vorgelegte Hyperphänomenologie als Versuch eines  ...  Diesbezüglich geht Platon hier auch über eine dreiwertige Logik noch hinaus.  ... 
doi:10.25365/thesis.65873 fatcat:5ckzrubtsvfenlugd4bmkrtrpi

Routine und Innovation

Christian Debus, Wirtschaftswissenschaften
2011
Herr Debus erkennt hier richtig eine Parallele zu autopoietischen, d.h. sich selbst gestaltenden, Systemen.  ...  Müller, der immer ein interessierter und kritischer Gesprächspartner für mich war für seine ausdauernde fachliche und moralische Unterstützung sowie Herrn Dr.  ...  Nefiodow, Leo A.: Der sechste Kondratieff: Wege zur Produktivität und Vollbeschäftigung im Zeitalter der Information, St.  ... 
doi:10.17192/z2003.0297 fatcat:fyjlf4k6kje4xoein3cncw5wx4

Das Potential und Design von Universaltheorien Das Potential und Design von Universaltheorien

Anne Gaiser, Anne Gaiser
unpublished
Somit kann der selbstreferentielle Bezug der Theorie hinsichtlich des Verhältnisses von Theorie zur Welt ein Stück differenzierter dargestellt werden.  ...  B. in der Evolutions-oder der Chaosforschung, als ganzheitliche Erklärungsansätze fungieren und es ermöglichen, nicht nur partielle Phänomenbereiche zu erklären, sondern Wechselwirkungen in umfassenden  ...  aristotelische Logik innerhalb der antiken.  ... 
fatcat:4b236pmkabcbnohfspadk7zbna

Definitionen in Wörterbuch und Text

Irene Cramer, Technische Universität Dortmund, Technische Universität Dortmund
2011
Alternativ entwickeln Computerlinguisten Methoden, die auf der Grundlage eines kleinen Ausschnitts manuell aufbereiteter Daten Verfahren zur automatischen Extraktion implementieren.  ...  Diese Merkmale wurden in einem System implementiert, das zur automatischen Extraktion von Definitionen eingesetzt werden und z. B. als Hilfsmittel für die lexikographische Arbeit dienen kann.  ...  Für einen Leser aber, der mit dem Begriff Colitis ulcerosa nichts anfangen kann, beinhaltet das Segment eine -wenn auch knappe -Information zur Einordnung in seinen Wortschatz.  ... 
doi:10.17877/de290r-8780 fatcat:n4u52bswxvgnherz736yinffti

Objektive Tests: Empirische Untersuchung zu Integration und Kontrast direkter und indirekter Messverfahren

Dominik Weigand
2018
In the social sciences, direct measurement methods, such as self-assessment or self-information measures, are particularly affected by reactive effects.  ...  Diese Anfälligkeit ergibt sich daraus, dass Messverfahren dieser Klasse eine bewusste Aufmerksamkeit der Probanden für den Forschungsgegenstand voraussetzen und eine explizite Artikulation von Einstellungen  ...  dreiwertige Objektivität aufweisen.  ... 
doi:10.5283/epub.37863 fatcat:usmxtiraonggtbfym2kjnw5s3q
« Previous Showing results 1 — 15 out of 16 results