Interface AutomatedReasoningLogicStatement.Builder

  • Method Details

    • logic

      The formal logic representation of the statement using mathematical notation and logical operators.

      Parameters:
      logic - The formal logic representation of the statement using mathematical notation and logical operators.
      Returns:
      Returns a reference to this object so that method calls can be chained together.
    • naturalLanguage

      AutomatedReasoningLogicStatement.Builder naturalLanguage(String naturalLanguage)

      The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.

      Parameters:
      naturalLanguage - The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.
      Returns:
      Returns a reference to this object so that method calls can be chained together.