BEGIN:VCALENDAR
VERSION:2.0
PRODID:www.dresden-science-calendar.de
METHOD:PUBLISH
CALSCALE:GREGORIAN
X-MICROSOFT-CALSCALE:GREGORIAN
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
DTSTART:19810329T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:DSC-850
DTSTART;TZID=Europe/Berlin:20110525T080000
SEQUENCE:1305876925
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20110525T090000
URL:https://dresden-science-calendar.de/calendar/de/detail/850
LOCATION:TUD Andreas-Pfitzmann-Bau\, Nöthnitzer Straße 4601069 Dresden
SUMMARY:Straß: Statusvortrag im Promotionsverfahren: \"Default Reasoning i
 n Action Theories\"
CLASS:PUBLIC
DESCRIPTION:Speaker: Hannes Straß\nInstitute of Speaker: TU Dresden\nTopic
 s:\nInformatik\n Location:\n  Name: TUD Andreas-Pfitzmann-Bau (INF 2026)\n
   Street: Nöthnitzer Straße 46\n  City: 01069 Dresden\n  Phone: \n  Fax:
  \nDescription: Action Theories are versatile and well-studied knowledge r
 epresentation   formalisms for modelling dynamic domains. However\, tradit
 ional action   theories allow only the specification of definite world kno
 wledge\, that   is\, universal rules for which there are no exceptions. Mo
 delling a   complex domain for which no complete knowledge can be obtained
 \, the   axiomatiser faces an unpleasant choice: either they cautiously re
 strict   themselves to the available definite knowledge and live with a li
 mited   usefulness of the axiomatisation\, or they bravely model some gene
 ral\,   defeasible rules as definite knowledge and risk inconsistency in t
 he   case of an exception for such a rule.    The talk presents a framewor
 k for default reasoning in action theories   that overcomes these problems
  and offers useful default assumptions   while retaining a correct treatme
 nt of default violations. The framework   allows to extend action theories
  with defeasible statements that express   how the domain usually behaves.
  Normality of the world is then assumed   by default and can be used to co
 nclude what holds in the domain under   normal circumstances. In the case 
 of an exception\, the default   assumption is retracted\, whereby consiste
 ncy of the domain   axiomatisation is preserved.
DTSTAMP:20260426T084848Z
CREATED:20110517T073530Z
LAST-MODIFIED:20110520T073525Z
END:VEVENT
END:VCALENDAR