In the first part of this book, the authors introduce a generic algebraic framework that encompasses & unifies a large number of such formalisms. This formalism, called the Plausibility--Feasibility--Utility (PFU) framework, is based on algebraic structures, graphical models, & sequences of quantifications.