Search Results

Documents authored by Broersen, Jan M.


Found 2 Possible Name Variants:

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.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.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.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}
}

Broersen, Jan

Document
Normative Reasoning and Consequence

Authors: Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)


Abstract
In this chapter, we first provide a general introduction to the research area methodology and relevance, then we discuss normative reasoning for multiagent systems, and finally we discuss current research challenges. We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our in- tended audience. To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only.

Cite as

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber. Normative Reasoning and Consequence. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 33-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{broersen_et_al:DFU.Vol4.12111.33,
  author =	{Broersen, Jan and Cranefield, Stephen and Elrakaiby, Yehia and Gabbay, Dov and Grossi, Davide and Lorini, Emiliano and Parent, Xavier and van der Torre, Leendert W. N. and Tummolini, Luca and Turrini, Paolo and Schwarzentruber, Fran\c{c}ois},
  title =	{{Normative Reasoning and Consequence}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{33--70},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.33},
  URN =		{urn:nbn:de:0030-drops-39994},
  doi =		{10.4230/DFU.Vol4.12111.33},
  annote =	{Keywords: Norms, MAS}
}
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