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