Causal deontic logic (bibtex)
by L. van der Torre
Abstract:
In this paper we introduce a descriptive temporal deontic logic based on causal theories. The underlying nonmonotonic temporal logic has two distinctive properties. First, it distinguishes between observations and interventions, which among others is used to distinguish between the existence and creation of deontic states such as obligations, permissions and prohibitions. Second, its explicit causal theories lead to a descriptive or modeling perspective, that not only enables a simple and intuitive formalization of the benchmark examples of nonmonotonic temporal reasoning, but that also makes the logic a good candidate for applications in computer science.
Reference:
Causal deontic logic (L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000.
Bibtex Entry:
@InProceedings{Torre2000b,
  Title                    = {Causal deontic logic},
  Author                   = {van der Torre, L.},
  Booktitle                = {Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse},
  Year                     = {2000},
  Pages                    = {351-367},

  Abstract                 = {In this paper we introduce a descriptive temporal deontic logic based on causal theories. The underlying nonmonotonic temporal logic has two distinctive properties. First, it distinguishes between observations and interventions, which among others is used to distinguish between the existence and creation of deontic states such as obligations, permissions and prohibitions. Second, its explicit causal theories lead to a descriptive or modeling perspective, that not only enables a simple and intuitive formalization of the benchmark examples of nonmonotonic temporal reasoning, but that also makes the logic a good candidate for applications in computer science.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/deon00.ps.Z},
  Date-modified            = {2011-12-20 17:14:46 +0100},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/deon00.ps.Z}
}
Powered by bibtexbrowser