Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

An axiomatic characterization of temporalised belief revision in the law

An axiomatic characterization of temporalised belief revision in the law This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and an axiomatic characterisation by representation theorems are given. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Artificial Intelligence and Law Springer Journals

An axiomatic characterization of temporalised belief revision in the law

Loading next page...
 
/lp/springer-journals/an-axiomatic-characterization-of-temporalised-belief-revision-in-the-PuYT0puU7B
Publisher
Springer Journals
Copyright
Copyright © 2019 by Springer Nature B.V.
Subject
Computer Science; Artificial Intelligence; IT Law, Media Law, Intellectual Property; Philosophy of Law; Legal Aspects of Computing; Information Storage and Retrieval
ISSN
0924-8463
eISSN
1572-8382
DOI
10.1007/s10506-019-09241-4
Publisher site
See Article on Publisher Site

Abstract

This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and an axiomatic characterisation by representation theorems are given.

Journal

Artificial Intelligence and LawSpringer Journals

Published: Jan 10, 2019

References