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.
Journal of Logic, Language and Information4, 251–271 (1995)
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.