next up previous
Next: 4.1 First-Order Logic Up: The Alchemy System for Previous: 3.4.1 Memory-efficient inference

4 Syntax

Markov Logic Networks are first-order logic formulas with weights, and the core of the syntax of input files used with Alchemy are based on just that, first-order logic. Alchemy also provides various extensions to this syntax and provides a mechanism for computing linked-in and internally implemented predicates and functions. These topics are discussed in the following sections.


Marc Sumner 2010-01-22