BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/456
DTSTAMP:20230914T125925Z
SUMMARY:Bridging the Gap Between Classical Logic Based Formalisms and Logic
  Programs
DESCRIPTION:Speaker: Ravi Palla (Arizona State University\nP.O. Box 878809\
 nTempe\, AZ 85287-8809\nUnited States of America)\n\nAbstract: \nAbstract:
  Different logic-based knowledge representation formalisms have different 
 limitations either with respect to expressivity or with respect to comput
 ational efficiency. First-order logic\, which is the basis of Description 
 Logics (DLs)\, is not suitable for defeasible reasoning due to its monoto
 nic nature. The nonmonotonic formalisms that extend first-order logic\, s
 uch as circumscription and default logic\, are expressive but lack effic
 ient implementations. The nonmonotonic formalisms that are based on the de
 clarative logic programming approach\, such as Answer Set Programming (AS
 P)\, have efficient implementations but are not expressive enough for rep
 resenting and reasoning with open domains.\n\nWe use the first-order stab
 le model semantics\, which extends both first-order logic and ASP\, to r
 elate circumscription to ASP\, and to integrate DLs and ASP\, thereby par
 tially overcoming the limitations of the formalisms. By exploiting the rel
 ationship between circumscription and ASP\, we show how well-known actio
 n formalisms\, such as the situation calculus\, the event calculus\, and 
 Temporal Action Logics\, can be reformulated in ASP. We show that these 
 reformulations have certain advantages with respect to the generality of 
 the reasoning tasks that can be handled and with respect to the computati
 onal efficiency. Our integration of DLs and ASP enables us to perform non
 monotonic reasoning with DL knowledge bases and provides a framework for i
 ntegrating rules and ontologies for the semantic web. Observing the need t
 o integrate action theories and ontologies\, we use the above results t
 o reformulate the problem of integrating action theories and ontologies as
  a problem of integrating rules and ontologies\, thus enabling us to use
  the computational tools developed in the context of the latter for the f
 ormer.\n
URL:https://www.tcs.tifr.res.in/web/events/456
DTSTART;TZID=Asia/Kolkata:20140211T113000
DTEND;TZID=Asia/Kolkata:20140211T123000
LOCATION:D-405 (D-Block Seminar Room)
END:VEVENT
END:VCALENDAR