idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
idw-Abo

idw-News App:

AppStore

Google Play Store



Instance:
Share on: 
09/08/2009 10:40

Internationale Konferenz für "Logisches Programmieren und Nichtmonotones Schließen" vom 14. bis 18. September an der Uni Potsdam

Sylvia Prietz Referat für Presse- und Öffentlichkeitsarbeit
Universität Potsdam

    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.

    Diese Medieninformation ist auch unter
    http://www.uni-potsdam.de/pressmitt/2009/pm196_09.htm im Internet abrufbar.


    Images

    Criteria of this press release:
    Information technology, Mathematics
    transregional, national
    Scientific conferences
    German


     

    Help

    Search / advanced search of the idw archives
    Combination of search terms

    You can combine search terms with and, or and/or not, e.g. Philo not logy.

    Brackets

    You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

    Phrases

    Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

    Selection criteria

    You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).

    If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).