and Leendert van der Torre (2000)
Download:
|
|
by David Makinson
Input/output logics, J. Philosophical Logic
http://www.cs.vu.nl/~torre/papers/bnaic01.ps.Z
Add To MetaCart
Abstract:
We explain the raison d'^etre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation comes from the logic of norms. Unconstrained input/output operations are straightforward to dene, with relatively simple behaviour, but ignore the subtleties of contrary-to-duty norms. To deal with these more sensitively, we constrain input/output operations by means of consistency conditions, expressed via the concept of an outfamily. However, this is a more complex aair, with dicult choices between alternative options. 1
Citations
| 1177 | A logic for default reasoning – Reiter - 1979 |
| 434 | On the logic of theory change: partial meet contraction and revision functions – GÄRDENFORS - 1985 |
| 342 | A logical framework for default reasoning – Poole - 1988 |
| 127 | General patterns in nonmonotonic reasoning – Makinson - 1994 |
| 39 | Philosophical foundations of deontic logic and the logic of defeasible conditionals – Alchourrón - 1993 |
| 33 | On a fundamental problem of deontic logic – Makinson - 1999 |
| 32 | Contrary-to-duty obligations – Prakken, Sergot - 1996 |
| 29 | The Expressive Conception of Norms – ALCHOURRÓN, BULYGIN - 1981 |
| 9 | Principles of a logic of normative systems – Stenius - 1963 |
| 4 | Zur Unbegründbarkeit der Forderungsätze. Theoria 3 – Dubislav - 1937 |
| 2 | and Leendert van der Torre (2001). Constraints for input/output logics – Makinson |
| 1 | Imperatives and logic – Jrgensen - 1937 |
