A logic-based calculus of events
New Generation Computing
Essentials of logic programming
Essentials of logic programming
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Implementing Electronic Card Payment Systems
Implementing Electronic Card Payment Systems
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Artificial intelligence today
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
We illustrate the design of an intelligent agent to aid a merchant to limit fraudulent payment card purchases over the internet. This is important because increasing fraud may limit the rise of electronic-commerce, and difficult because of the uncertainty in identifying and authenticating people remotely. The agent can advise the merchant what actions to take to reduce risk without complete knowledge of the circumstances. It can also negotiate flexibly to conclude transactions successfully that would otherwise be rejected. We use the event calculus to model the transaction system including the participants and their actions. The idea has applications in other distributed systems where incomplete knowledge of a system may be exploited by adversaries to their advantage.