Class CReasonerExample

java.lang.Object

org.tweetyproject.logics.cl.examples.CReasonerExample

public class CReasonerExample
extends Object

Demonstrates how to construct a conditional logic knowledge base programmatically and query it using the Simple C-reasoner.

This example creates a belief set of conditional statements and then uses the SimpleCReasoner to compute and print a model for that belief set.

Constructor Summary

Constructors

Constructor	Description
CReasonerExample()	Constructor

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The main method where the example is executed.

Methods inherited from class java.lang.Object

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

Constructor Details

CReasonerExample

public CReasonerExample()

Constructor

Method Details

main

public static void main(String[] args)

The main method where the example is executed.

This method creates propositions and conditional statements, adds them to a belief set, and uses a simple C-reasoner to compute and display the model of the belief set.

Parameters:

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