Class 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.