Modelling Legitimate Expectations

Legitimate expectation in the context of culpa in contrahendo is an important legal concept for the study of good faith and the duty to negotiate with good care. However when wanting to model it and reason about it, one finds that most existing legal formalisations do not directly account for the concept. In this paper we present a formal model that can explicitly model and reason about legitimate expectations by extending the formal InstAL legal framework. We demonstrate our extensions with the help of a private law case study which has gained wide popularity in Japanese law.

[1]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[2]  Tran,et al.  A combined logic of expectation and observation: a generalization of BDI logics , 2003, AAMAS 2003.

[3]  James Harland,et al.  A Combined Logic of Expectation and Observation , 2003 .

[4]  James Harland,et al.  A Combined Logic of Expectation & Observation. A generalisation of BDI logics , 2003, DALT.

[5]  Virginia Dignum,et al.  OperettA: a prototype tool for the design, analysis and development of multi-agent organizations , 2008, AAMAS.

[6]  Marina De Vos,et al.  Answer Set Programming for Representing and Reasoning About Virtual Institutions , 2006, CLIMA.

[7]  Trevor J. M. Bench-Capon,et al.  On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.

[8]  Jean-Pascal Benassy.  The Role of Expectations , 1986 .

[9]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[10]  Gil Tidhar,et al.  Social and Individual Commitment , 1996, PRICAI Workshop on Intelligent Agent Systems.

[11]  Friedrich Kessler,et al.  Culpa in Contrahendo, Bargaining in Good Faith, and Freedom of Contract: A Comparative Study , 1964 .

[12]  Joan Feigenbaum,et al.  Towards a formal model of accountability , 2011, NSPW '11.

[13]  Marina De Vos,et al.  Legal Modelling and Reasoning Using Institutions , 2010, JSAI-isAI Workshops.

[14]  Peter Gärdenfors.  The Role of Expectations in Reasoning , 1992, Logic at Work.

[15]  Virginia Dignum.  A Model for Organizational Interaction , 2003 .

[16]  David Stuart Robertson,et al.  Automated Reasoning with Uncertainties , 1992, Logic at Work.