DeductiveExample

java.lang.Object

org.tweetyproject.arg.deductive.examples.DeductiveExample

public class DeductiveExample extends Object

Shows how to construct and query a deductive knowledge base.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

DeductiveExample()

Default Constructor
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

This class demonstrates the use of a deductive knowledge base in combination with a SAT solver to perform reasoning using propositional logic formulas.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- DeductiveExample
  
  public DeductiveExample()
  
  Default Constructor
Method Details
- main
  
  public static void main(String[] args) throws ParserException, IOException
  
  This class demonstrates the use of a deductive knowledge base in combination with a SAT solver to perform reasoning using propositional logic formulas. The program adds several logical formulas to the knowledge base, uses a deductive reasoning engine, and queries the knowledge base for a specific formula's truth value.
  
  Parameters:
  
  args - Command-line arguments (not used in this example).
  
  Throws:
  
  ParserException - If there is an error in parsing the logical formulas.
  
  IOException - If there is an I/O error while processing.