Truth as Utility: A Conceptual Synthesis
Enrique H. Ruspini

TL;DR
This paper develops a unified logical framework combining utilitarian and logical concepts to evaluate and compare the quality and desirability of solutions in reasoning and decision-making contexts, using multi-valued logic and complex constraints.
Contribution
It introduces a novel synthesis of utilitarian and logical concepts, extending Rescher's preference logics with constraint-dependent measures and mechanisms for representing complex utility relations.
Findings
Defines measures for solution quality and desirability in a possible worlds framework.
Proposes logical operations for combining goal-specific utility measures.
Extends modal logic to represent ignorance about utility values.
Abstract
This paper introduces conceptual relations that synthesize utilitarian and logical concepts, extending the logics of preference of Rescher. We define first, in the context of a possible worlds model, constraint-dependent measures that quantify the relative quality of alternative solutions of reasoning problems or the relative desirability of various policies in control, decision, and planning problems. We show that these measures may be interpreted as truth values in a multi valued logic and propose mechanisms for the representation of complex constraints as combinations of simpler restrictions. These extended logical operations permit also the combination and aggregation of goal-specific quality measures into global measures of utility. We identify also relations that represent differential preferences between alternative solutions and relate them to the previously defined desirability…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Bayesian Modeling and Causal Inference
