Dissertation Information for Tim PatrickNAME:
DEGREE:
DISCIPLINE:
SCHOOL: ADVISORS: COMMITTEE MEMBERS: MPACT Status: Incomplete - Not_Inspected Title: Lewis-style semantics for conditional logic of obligation
Abstract: A typology of conditional logics of obligation is presented. Lewis-style semantics, a kind of possible world preference semantics, is described and existing implementations for different types of conditional logic of obligation are surveyed. Three new systems, two allowing for a conditional possibility interpretation of statements of conditional obligation and one allowing for multiple preference relations, are described. Several criticisms of Lewis-style semantics are discussed. Three open problems and an application to automated planning systems are described. |
MPACT Scores for Tim PatrickA = 0 Advisors and Advisees Graph |