44 Search Results for "Rott, Hans"


Document
Speech acts as announcements

Authors: Nadine Guiraud, Andreas Herzig, and Emiliano Lorini

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


Abstract
Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a modelling in terms of speech acts.

Cite as

Nadine Guiraud, Andreas Herzig, and Emiliano Lorini. Speech acts as announcements. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{guiraud_et_al:DagSemProc.09351.8,
  author =	{Guiraud, Nadine and Herzig, Andreas and Lorini, Emiliano},
  title =	{{Speech acts as announcements}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--4},
  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.8},
  URN =		{urn:nbn:de:0030-drops-22935},
  doi =		{10.4230/DagSemProc.09351.8},
  annote =	{Keywords: Logic of belief, logic of goals, speech act theory, dynamic epistemic logic, public announcements}
}
Document
09351 Abstracts Collection – Information processing, rational belief change and social interaction

Authors: Giacomo Bonanno, James Delgrande, and Hans Rott

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


Abstract
From 23.08. to 27.08.2009, the Dagstuhl Seminar 09351 ``Information processing, rational belief change and social interaction '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Giacomo Bonanno, James Delgrande, and Hans Rott. 09351 Abstracts Collection – Information processing, rational belief change and social interaction. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.09351.1,
  author =	{Bonanno, Giacomo and Delgrande, James and Rott, Hans},
  title =	{{09351 Abstracts Collection – Information processing, rational belief change and social interaction}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--14},
  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.1},
  URN =		{urn:nbn:de:0030-drops-22343},
  doi =		{10.4230/DagSemProc.09351.1},
  annote =	{Keywords: Social software, belief revision, conditionals, social choice, game theory, contraction, update, argumentation, preference aggregation, agency, inform}
}
Document
09351 Executive Summary – Information processing, rational belief change and social interaction

Authors: Giacomo Bonanno, James Delgrande, and Hans Rott

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


Abstract
From August 23, 2009 to August 27, 2009, the Dagstuhl Seminar 09351 "Information processing, rational belief change and social interaction" was held at the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in these Proceedings. The Executive Summary describes the seminar topics and goals in general and contains the program of the workshop. Links to extended abstracts or full papers are provided, if available.

Cite as

Giacomo Bonanno, James Delgrande, and Hans Rott. 09351 Executive Summary – Information processing, rational belief change and social interaction. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.09351.2,
  author =	{Bonanno, Giacomo and Delgrande, James and Rott, Hans},
  title =	{{09351 Executive Summary – Information processing, rational belief change and social interaction}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--6},
  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.2},
  URN =		{urn:nbn:de:0030-drops-22273},
  doi =		{10.4230/DagSemProc.09351.2},
  annote =	{Keywords: Social software, belief revision, conditionals, social choice, game theory, contraction, update, argumentation, preference aggregation, agency, inform}
}
Document
Awareness and forgetting of facts and agents

Authors: Hans Van Ditmarsch and Tim French

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


Abstract
We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We model these dynamics by quantifying over propositional variables and agent variables, in a multi-agent epistemic language with awareness operators, employing a notion of bisimulation with a clause for `same awareness'. The quantification is over all different ways in which an agent can become aware (or forget). Logics for change of awareness combine well with logics for informational change, as when a public announcement simultaneously makes you aware of an issue (`a plane just crashed on Schiphol Airport').

Cite as

Hans Van Ditmarsch and Tim French. Awareness and forgetting of facts and agents. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{vanditmarsch_et_al:DagSemProc.09351.3,
  author =	{Van Ditmarsch, Hans and French, Tim},
  title =	{{Awareness and forgetting of facts and agents}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--8},
  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.3},
  URN =		{urn:nbn:de:0030-drops-22286},
  doi =		{10.4230/DagSemProc.09351.3},
  annote =	{Keywords: Awareness, knowledge, multi-agent systems, dynamics}
}
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
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together

Authors: Emiliano Lorini, François Schwarzentruber, and Andreas Herzig

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


Abstract
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and enabling to reason about epistemic games in strategic form. We provide complexity results for EDLA. In the second part of the paper, we study in EDLA the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). In the last part of the paper we combine EDLA with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.

Cite as

Emiliano Lorini, François Schwarzentruber, and Andreas Herzig. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{lorini_et_al:DagSemProc.09351.5,
  author =	{Lorini, Emiliano and Schwarzentruber, Fran\c{c}ois and Herzig, Andreas},
  title =	{{Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--20},
  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.5},
  URN =		{urn:nbn:de:0030-drops-22313},
  doi =		{10.4230/DagSemProc.09351.5},
  annote =	{Keywords: Modal logic, game theory, epistemic games}
}
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
Revealed preference, iterated belief revision and dynamic games

Authors: Giacomo Bonanno

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


Abstract
In previous work (G. Bonanno, Rational choice and AGM belief revision, Artificial Intelligence, 2009) a semantics for AGM belief revision was proposed based on choice frames, borrowed from the rational choice literature. In this paper we discuss how to use choice frames to analyze extensive-form games. Given an extensive form with perfect recall, a choice frame can be used to represent a player's initial beliefs and her disposition to change those beliefs when she is informed that it is her turn to move. When some players move more than once along some play of the game, the issue of iterated belief revision arises. We provide a semantics for iterated belief revision in terms of choice frames and provide an outline of how to use choice frames to analyze solution concepts for extensive-form games.

Cite as

Giacomo Bonanno. Revealed preference, iterated belief revision and dynamic games. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bonanno:DagSemProc.09351.7,
  author =	{Bonanno, Giacomo},
  title =	{{Revealed preference, iterated belief revision and dynamic games}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--10},
  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.7},
  URN =		{urn:nbn:de:0030-drops-22326},
  doi =		{10.4230/DagSemProc.09351.7},
  annote =	{Keywords: Choice function, AGM belief revision, extensive-form game, iterated belief revision}
}
Document
Systematic judgment aggregators: An algebraic connection between social and logical structure

Authors: Daniel Eckert and Frederik Herzberg

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


Abstract
We present several results that show that systematic (complete) judgment aggregators can be viewed as both (2-valued) Boolean homomorphisms and as syntatic versions of reduced (ultra)products. Thereby, Arrovian judgment aggregators link the Boolean algebraic structures of (i) the set of coalitions (ii) the agenda, and (iii) the set of truth values of collective judgments. Since filters arise naturally in the context of Boolean algebras, these findings provide an explanation for the extraordinary effectiveness of the filter method in abstract aggregation theory.

Cite as

Daniel Eckert and Frederik Herzberg. Systematic judgment aggregators: An algebraic connection between social and logical structure. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{eckert_et_al:DagSemProc.09351.9,
  author =	{Eckert, Daniel and Herzberg, Frederik},
  title =	{{Systematic judgment aggregators: An algebraic connection between social and logical structure}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--12},
  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.9},
  URN =		{urn:nbn:de:0030-drops-22302},
  doi =		{10.4230/DagSemProc.09351.9},
  annote =	{Keywords: Judgment aggregation; social structure; Boolean homorphism; ultraproduct}
}
Document
07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents

Authors: Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
From 26.08. to 30.08.2007, the Dagstuhl Seminar 07351 ``Formal Models of Belief Change in Rational Agents'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott. 07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.07351.1,
  author =	{Bonanno, Giacomo and Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans},
  title =	{{07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang 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.07351.1},
  URN =		{urn:nbn:de:0030-drops-12414},
  doi =		{10.4230/DagSemProc.07351.1},
  annote =	{Keywords: Belief change, rational agents, information economy, information processing}
}
Document
Measuring Ranks via the Complete Laws of Iterated Contraction

Authors: Wolfgang Spohn

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of that behavior, i.e., a complete set of laws of iterated contraction. It does so by showing how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multi-plicative constant and thus how to measure ranks on a ratio scale.

Cite as

Wolfgang Spohn. Measuring Ranks via the Complete Laws of Iterated Contraction. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{spohn:DagSemProc.07351.14,
  author =	{Spohn, Wolfgang},
  title =	{{Measuring Ranks via the Complete Laws of Iterated Contraction}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang 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.07351.14},
  URN =		{urn:nbn:de:0030-drops-12398},
  doi =		{10.4230/DagSemProc.07351.14},
  annote =	{Keywords: Ranking theory, iterated contraction, measurement theory}
}
Document
Two-Dimensional Belief Change

Authors: Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
The idea of two-dimensional belief change operators is that a belief state is transformed by an input sentence $A$ in such a way that $A$ gets accepted with at least the strength or certainty of a sentence $B$ (the reference sentence). The input of such a transformation may alternatively be conceived as `$B leq A$' [`$B$ less-than-or-equal-to $A$']. This notation makes explicit that the process induced is basically one of doxastic preference change. The principal case of two-dimensional belief change obtains when $B$ is a prior belief which is more strongly accepted than both $A$ and $ eg A$, but the non-principal cases are interesting in their own right. Various two-dimensional revision operators were studied by Cantwell (1997, `raising' and `lowering'), Fermé and Rott (2003, `revision by comparison'), and Rott (2007, `bounded revision'). Special choices of a fixed input sentence $A$ or a fixed reference sentence $B$ lead to some well-known unary oparators of belief change: `irrevocable' (aka `radical') revision, `severe withdrawal' (aka `mild contraction'), `natural' (aka `conservative') and `lexicographic' (aka `moderate') revision. The talk gives a survey of several variants of two-dimensional belief change and their representations. I argue that two-dimensional belief change operators offer an interesting qualitative model with an expressive power between (all too poor) unary operators and (all too demanding) quantitative models of belief change.

Cite as

Hans Rott. Two-Dimensional Belief Change. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{rott:DagSemProc.07351.22,
  author =	{Rott, Hans},
  title =	{{Two-Dimensional Belief Change}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--27},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang 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.07351.22},
  URN =		{urn:nbn:de:0030-drops-12404},
  doi =		{10.4230/DagSemProc.07351.22},
  annote =	{Keywords: Belief revision, radical revision, conservative revision, moderate revision, severe withdrawal, preference change, qualitative vs. quantitative change}
}
Document
07351 Executive Summary – Formal Models of Belief Change in Rational Agents

Authors: Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
From August 26, 2007 to August 30, 2007, the Dagstuhl Seminar 07351 "Formal Models of Belief Change in Rational Agents" was held at the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. The Executive Summary describes the seminar topics and goals in general. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in the Proceedings. Links to extended abstracts or full papers are provided, if available.

Cite as

Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott. 07351 Executive Summary – Formal Models of Belief Change in Rational Agents. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.07351.2,
  author =	{Bonanno, Giacomo and Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans},
  title =	{{07351 Executive Summary – Formal Models of Belief Change in Rational Agents}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang 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.07351.2},
  URN =		{urn:nbn:de:0030-drops-12018},
  doi =		{10.4230/DagSemProc.07351.2},
  annote =	{Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, epistemic logic,conditionals, social choice, game theory}
}
Document
A blueprint for deontic logic in three (not necessarily easy) steps

Authors: Krister Segerberg

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
The famous AGM paradigm for the analysis of theory change drew its inspiration from two sources: belief change and norm change. But very early on, interest in the former eclipsed the interest in the latter. Now, many years later, it is appropriate once again to raise the question about norm change. In the author’s terminology, given the current work in Dynamic Doxastic Logic, what might Dynamic Deontic Logic look like?

Cite as

Krister Segerberg. A blueprint for deontic logic in three (not necessarily easy) steps. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{segerberg:DagSemProc.07351.3,
  author =	{Segerberg, Krister},
  title =	{{A blueprint for deontic logic in three (not necessarily easy) steps}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang 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.07351.3},
  URN =		{urn:nbn:de:0030-drops-12187},
  doi =		{10.4230/DagSemProc.07351.3},
  annote =	{Keywords: Belief change, norm change, Dynamic Doxastic Logic, Dynamic Deontic Logic}
}
Document
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning

Authors: Gabriele Kern-Isberner

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and belief update are investigated within an abstract framework of epistemic states and (qualitative or quantitative) conditionals. Moreover, we distinguish between background knowledge and contextual information in order to analyse belief change more appropriately. The rich epistemic representation framework allows us to make a clear conceptual distinction between revision and update on the one side, while revealing structural similarities on the other side. We propose generic postulates for revision and update that also apply to iterated change. Furthermore, we complete the unifying picture by introducing universal inference operations as a proper counterpart in nonmonotonic reasoning to iterated belief change.

Cite as

Gabriele Kern-Isberner. A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{kernisberner:DagSemProc.07351.4,
  author =	{Kern-Isberner, Gabriele},
  title =	{{A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang 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.07351.4},
  URN =		{urn:nbn:de:0030-drops-12082},
  doi =		{10.4230/DagSemProc.07351.4},
  annote =	{Keywords: Belief revision, belief update, nonmonotonic inference, epistemic states, conditionals}
}
  • Refine by Author
  • 8 Bonanno, Giacomo
  • 8 Delgrande, James
  • 8 Rott, Hans
  • 6 Lang, Jérôme
  • 4 Herzig, Andreas
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 11 Belief revision
  • 6 conditionals
  • 6 iterated belief revision
  • 6 social choice
  • 6 update
  • Show More...

  • Refine by Type
  • 44 document

  • Refine by Publication Year
  • 22 2007
  • 12 2005
  • 9 2009
  • 1 2006

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