Modelling legitimate expectations

Authors:
Marina De Vos;Tina Balke;Ken Satoh
Affiliations:
Department of Computer Science, University of Bath, UK;Department of Computer Science, University of Bath, UK,Centre for Research in Social Simulation, University of Surrey, UK;Principles of Informatics Research Division, National Institute of Informatics, Japan
Venue:
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Year:
2012

Citing 8
Cited 0

A logic-based calculus of events

New Generation Computing
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
Social and Individual Commitment

PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
The Role of Expectations in Reasoning

International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
OperettA: a prototype tool for the design, analysis and development of multi-agent organizations

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Answer set programming for representing and reasoning about virtual institutions

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Towards a formal model of accountability

Proceedings of the 2011 workshop on New security paradigms workshop
Legal modelling and reasoning using institutions

JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.