DMCA
Norms, Logics and Information Systems (1999)
| Venue: | Norms, Logics and Information Systems - New Studies in Deontic Logic and Computer Science |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Mcnamara99norms,logics,
author = {Prakken And Mcnamara and Babak Sadighi Firozabadi and Yao-hua Tan and Ronald M. Lee},
title = {Norms, Logics and Information Systems},
booktitle = {Norms, Logics and Information Systems - New Studies in Deontic Logic and Computer Science},
year = {1999},
pages = {275--288},
publisher = {IOS Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper, we give formal analyses of notions of fraud for the aim of verification of trade procedures. A fraud possibility is seen as an undesirable property of a trade procedure which its specification should not satisfy. It is argued that fraud may occur (in a trade procedure) when an agent violates an obligation and he/she also deceives another agent (a controller) about the fulfilment of that obligation. The formal definitions are given using modal operators for obligation, action and belief.
