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