CIO defines instrumental obligation as 'the action that causes the goal and ranks highest in an ideal priority ordering,' and it is axiomatized completely with NP-complete satisfiability.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
A logic for instrumental obligation
CIO defines instrumental obligation as 'the action that causes the goal and ranks highest in an ideal priority ordering,' and it is axiomatized completely with NP-complete satisfiability.