Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Internationale Konferenz für "Logisches Programmieren und Nichtmonotones Schließen"

08.09.2009
Computer so zu programmieren, dass sie wie der Mensch logische Schlüsse ziehen können - mit dieser Herausforderung beschäftigt sich eine internationale Konferenz, die vom 14. bis 18. September 2009 an der Uni Potsdam stattfindet.

Organisiert vom Institut für Informatik befördert die Tagung den Austausch zwischen Forschern aller Teilbereiche der logikbasierten Wissensrepräsentation und automatischen Wissensverarbeitung.

Ein inhaltlicher Schwerpunkt der Konferenz liegt auf Formalismen zum s. g. nichtmonotonen Schließen, die sich dem Umgang mit unvollständiger und teilweise widersprüchlicher Information widmen. Rund 100 Experten aus 18 Ländern werden auf dem Campus in Griebnitzsee erwartet.

Wenn auf einem Fahrplan keine Zugabfahrt um 17.23 Uhr angegeben ist, gehen Fahrgäste automatisch davon aus, dass um diese Zeit kein Zug abfährt. Derartige alltägliche Schlüsse basieren auf "gesundem Menschenverstand". Der Mensch ergänzt fehlende Informationen, ohne sich das Fehlen bewusst zu machen. Solche Denkprozesse erscheinen einfach, ihre Automatisierung in "intelligenten Computerprogrammen" jedoch ist ein schwieriges und deshalb intensiv untersuchtes Unterfangen.

Schließlich beschränken sich die Fähigkeiten von Computern auf die vom Menschen vorgegebenen Symbolmanipulationen, deren Entwicklungszeitraum im Vergleich zur Evolution nur ein Wimpernschlag ist. Um Computer dennoch mit gesundem Menschenverstand oder etwas, das dem ähnelt, auszustatten, sind die Formalisierung von Alltagswissen und die Entwicklung effizienter Algorithmen zum Schlussfolgern erforderlich. Diesen Problemen widmet sich die Konferenz in über 60 Vorträgen, Kolloquien und Workshops.

Hinweis an die Redaktionen:
Zeit: 14. bis 18. September 2009
Ort: Uni-Campus Griebnitzsee, August-Bebel-Str. 89, Haus 6 / Hörsäle 1 und 2
Kontakt: Als Ansprechpartner steht Ihnen vom Institut für Informatik Prof. Dr. Torsten Schaub unter Tel. 0331/977-3080, E-Mail torsten@cs.uni-potsdam.de zur Verfügung.

Das Konferenzprogramm ist unter http://www.cs.uni-potsdam.de/lpnmr09/ zu finden.

Sylvia Prietz | idw
Weitere Informationen:
http://www.uni-potsdam.de/pressmitt/2009/pm196_09.htm
http://www.cs.uni-potsdam.de/lpnmr09/

Weitere Nachrichten aus der Kategorie Veranstaltungsnachrichten:

nachricht DFG unterstützt Kongresse und Tagungen - April 2018
21.02.2018 | Deutsche Forschungsgemeinschaft (DFG)

nachricht Tag der Seltenen Erkrankungen – Deutsche Leberstiftung informiert über seltene Lebererkrankungen
21.02.2018 | Deutsche Leberstiftung

Alle Nachrichten aus der Kategorie: Veranstaltungsnachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Verlässliche Quantencomputer entwickeln

Internationalem Forschungsteam gelingt wichtiger Schritt auf dem Weg zur Lösung von Zertifizierungsproblemen

Quantencomputer sollen künftig algorithmische Probleme lösen, die selbst die größten klassischen Superrechner überfordern. Doch wie lässt sich prüfen, dass der...

Im Focus: Developing reliable quantum computers

International research team makes important step on the path to solving certification problems

Quantum computers may one day solve algorithmic problems which even the biggest supercomputers today can’t manage. But how do you test a quantum computer to...

Im Focus: Innovation im Leichtbaubereich: Belastbares Sandwich aus Aramid und Carbon

Die Entwicklung von Leichtbaustrukturen ist eines der zentralen Zukunftsthemen unserer Gesellschaft. Besonders in der Luftfahrtindustrie und in anderen Transportbereichen sind Leichtbaustrukturen gefragt. Sie ermöglichen Energieeinsparungen und reduzieren den Ressourcenverbrauch bei Treibstoffen und Material. Zum Einsatz kommen dabei Verbundmaterialien in der so genannten Sandwich-Bauweise. Diese bestehen aus zwei dünnen, steifen und hochfesten Deckschichten mit einer dazwischen liegenden dicken, vergleichsweise leichten und weichen Mittelschicht, dem Sandwich-Kern.

Aramidpapier ist ein etabliertes Material für solche Sandwichkerne. Sein mechanisches Strukturversagen ist jedoch noch unzureichend erforscht: Bislang fehlten...

Im Focus: Die Brücke, die sich dehnen kann

Brücken verformen sich, daher baut man normalerweise Dehnfugen ein. An der TU Wien wurde eine Technik entwickelt, die ohne Fugen auskommt und dadurch viel Geld und Aufwand spart.

Wer im Auto mit flottem Tempo über eine Brücke fährt, spürt es sofort: Meist rumpelt man am Anfang und am Ende der Brücke über eine Dehnfuge, die dort...

Im Focus: Eine Frage der Dynamik

Die meisten Ionenkanäle lassen nur eine ganz bestimmte Sorte von Ionen passieren, zum Beispiel Natrium- oder Kaliumionen. Daneben gibt es jedoch eine Reihe von Kanälen, die für beide Ionensorten durchlässig sind. Wie den Eiweißmolekülen das gelingt, hat jetzt ein Team um die Wissenschaftlerin Han Sun (FMP) und die Arbeitsgruppe von Adam Lange (FMP) herausgefunden. Solche nicht-selektiven Kanäle besäßen anders als die selektiven eine dynamische Struktur ihres Selektivitätsfilters, berichten die FMP-Forscher im Fachblatt Nature Communications. Dieser Filter könne zwei unterschiedliche Formen ausbilden, die jeweils nur eine der beiden Ionensorten passieren lassen.

Ionenkanäle sind für den Organismus von herausragender Bedeutung. Wenn zum Beispiel Sinnesreize wahrgenommen, ans Gehirn weitergeleitet und dort verarbeitet...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

DFG unterstützt Kongresse und Tagungen - April 2018

21.02.2018 | Veranstaltungen

Tag der Seltenen Erkrankungen – Deutsche Leberstiftung informiert über seltene Lebererkrankungen

21.02.2018 | Veranstaltungen

Digitalisierung auf dem Prüfstand: Hochkarätige Konferenz zu Empowerment in der agilen Arbeitswelt

20.02.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Geheimtinte: Von antiken Rezepturen bis zu High-Tech-Varianten

22.02.2018 | Biowissenschaften Chemie

Neuer Sensor zur Messung der Luftströmung in Kühllagern von Obst und Gemüse

22.02.2018 | Energie und Elektrotechnik

Neues Prinzip der Proteinbindung entdeckt

22.02.2018 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics