<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Tutorials on factgraph</title><link>http://factgraph.docs.symbolic-intelligence.de/docs/tutorials/</link><description>Recent content in Tutorials on factgraph</description><generator>Hugo</generator><language>en-us</language><copyright>[© CC BY 4.0](https://creativecommons.org/licenses/by/4.0/legalcode)</copyright><atom:link href="http://factgraph.docs.symbolic-intelligence.de/docs/tutorials/index.xml" rel="self" type="application/rss+xml"/><item><title>Getting started</title><link>http://factgraph.docs.symbolic-intelligence.de/docs/tutorials/getting-started/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>http://factgraph.docs.symbolic-intelligence.de/docs/tutorials/getting-started/</guid><description>&lt;h1 id="getting-started-flag-a-transaction-and-prove-it-aml"&gt;Getting started: flag a transaction and prove it (AML)&lt;a class="anchor" href="#getting-started-flag-a-transaction-and-prove-it-aml"&gt;#&lt;/a&gt;&lt;/h1&gt;
&lt;p&gt;In this tutorial we will build a tiny anti money laundering (AML) check from scratch. We will model &lt;code&gt;Customer&lt;/code&gt; and &lt;code&gt;Transaction&lt;/code&gt; entities, record a couple of customers and a few transfers, write one rule that flags any transfer at or above a reporting threshold of 10000, evaluate it, and then read the self explaining proof of the flag condition by condition.&lt;/p&gt;</description></item></channel></rss>