Pstable Theories and Preferences

Abstract

In this paper we introduce preference rules which allow us to specify preferences as an ordering among the possible solutions of a problem. Our approach allow us to express preferences for general theories and we define a semantics for them. The formalism used to develop our work is Pstable semantics.