Interface AutomatedReasoningLogicStatement.Builder

    • Method Detail

      • logic

        AutomatedReasoningLogicStatement.Builder logic​(String 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.