3 Search Results for "Broersen, Jan M."


Document
Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'

Authors: Jan M. Broersen

Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)


Abstract
Most juridical systems contain the principle that an act is only unlaw- ful if the agent conducting the act has a `guilty mind' (`mens rea'). Dif- ferent law systems distinguish different modes of mens rea. For instance, American law distinguishes between `knowingly' performing a criminal act, `recklessness', `strict liability', etc. I will show we can formalize several of these categories. The formalism I use is a complete stit-logic featuring operators for stit-actions taking effect in `next' states, S5-knowledge op- erators and SDL-type obligation operators. The different modes of `mens rea' correspond to the violation conditions of different types of obligation definable in the logic.

Cite as

Jan M. Broersen. Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{broersen:DagSemProc.09351.4,
  author =	{Broersen, Jan M.},
  title =	{{Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--22},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9351},
  editor =	{Giacomo Bonanno and James Delgrande and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.4},
  URN =		{urn:nbn:de:0030-drops-22296},
  doi =		{10.4230/DagSemProc.09351.4},
  annote =	{Keywords: Product update, agency, stit theory, knowingly doing}
}
Document
Interpreting Product Update as Reasoning about Observations and Meta-Observations

Authors: Jan M. Broersen

Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)


Abstract
In this brief note, I would like to suggest that it makes sense to reinterpret product update, as introduced by Baltag, Moss and Solecki, as a system to account for observations and metaobservations, where a meta-observation is an observation of an observation. Under this interpretation we also take products of action models with meta-action models. I deliberate on some possible consequences of this extension to the interpretation of product update.

Cite as

Jan M. Broersen. Interpreting Product Update as Reasoning about Observations and Meta-Observations. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{broersen:DagSemProc.09351.6,
  author =	{Broersen, Jan M.},
  title =	{{Interpreting Product Update as Reasoning about Observations and Meta-Observations}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9351},
  editor =	{Giacomo Bonanno and James Delgrande and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.6},
  URN =		{urn:nbn:de:0030-drops-22333},
  doi =		{10.4230/DagSemProc.09351.6},
  annote =	{Keywords: Product update, agency, stit theory, knowingly doing}
}
Document
What an Agent Ought To Do

Authors: Jan M. Broersen and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)


Abstract
This paper reviewes Horty's 2001 book `Agency and Deontic Logic'. We place Horty's research I a broader context and discuss the relevancy for logics for multi-agent systems.

Cite as

Jan M. Broersen and Leendert van der Torre. What an Agent Ought To Do. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{broersen_et_al:DagSemProc.07122.31,
  author =	{Broersen, Jan M. and van der Torre, Leendert},
  title =	{{What an Agent Ought To Do}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.31},
  URN =		{urn:nbn:de:0030-drops-9051},
  doi =		{10.4230/DagSemProc.07122.31},
  annote =	{Keywords: Deontic logic, STIT, agency, action}
}
  • Refine by Author
  • 3 Broersen, Jan M.
  • 1 van der Torre, Leendert

  • Refine by Classification

  • Refine by Keyword
  • 3 agency
  • 2 Product update
  • 2 knowingly doing
  • 2 stit theory
  • 1 Deontic logic
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 2 2009
  • 1 2007

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail