Class AlchemyExample

java.lang.Object

org.tweetyproject.logics.mln.examples.AlchemyExample

public class AlchemyExample
extends Object

Example code illustrating the use of the Alchemy reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AlchemyExample()	Default constructor for AlchemyExample.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The main method to run the Alchemy reasoner example.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AlchemyExample

public AlchemyExample()

Default constructor for AlchemyExample.

This constructor initializes the example for running the Alchemy reasoner with a predefined MLN setup.

Method Details

main

public static void main(String[] args)
                 throws ParserException,
IOException

The main method to run the Alchemy reasoner example.

This method sets up an MLN with smokers and cancer, parses a query, and invokes the Alchemy reasoner to compute the result. It prints the result of the query to the console.

Parameters:

args - command-line arguments (not used in this example)

Throws:

ParserException - if there is an error during parsing

IOException - if there is an I/O error