What is Input/Output Logic? Input/Output Logic, Constraints, Permissions (bibtex)
by David Makinson, Leendert W. N. van der Torre
Abstract:
We explain the em 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 define, 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. They also provide a convenient platform for distinguishing and analysing several different kinds of permission.
Reference:
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions (David Makinson, Leendert W. N. van der Torre), In Normative Multi-agent Systems, 2007.
Bibtex Entry:
@InProceedings{Makinson2007,
  Title                    = {What is Input/Output Logic? Input/Output Logic, Constraints, Permissions},
  Author                   = {David Makinson and Leendert W. N. van der Torre},
  Booktitle                = {Normative Multi-agent Systems},
  Year                     = {2007},

  Abstract                 = {We explain the {em 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 define, 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. They also provide a convenient platform for distinguishing and analysing several different kinds of permission. },
  Bdsk-url-1               = {http://drops.dagstuhl.de/opus/volltexte/2007/928},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/dagstuhl/2007P7122},
  Ee                       = {http://drops.dagstuhl.de/opus/volltexte/2007/928},
  Timestamp                = {2013.07.26},
  Url                      = {http://drops.dagstuhl.de/opus/volltexte/2007/928}
}
Powered by bibtexbrowser