A reasoning agent for credit card fraud using the event calculus.
Clive BlackwellPublished in: Int. J. Electron. Secur. Digit. Forensics (2009)
Keyphrases
- event calculus
- reasoning tasks
- communicating agents
- commonsense reasoning
- credit card fraud
- situation calculus
- outlier detection
- temporal reasoning
- credit card
- fraud detection
- automated reasoning
- description logics
- logic programming
- credit card fraud detection
- answer set programming
- partially ordered
- domain specific knowledge
- criminal activities
- deductive databases
- knowledge base
- directed acyclic graph
- reasoning about actions
- transitive closure
- database
- domain independent
- logic programs