Skip to content

Bedrock  >  Structures  >  AutomatedReasoningLogicStatement

AutomatedReasoningLogicStatement

Structure Class

AutomatedReasoningLogicStatement dataclass

Represents a logical statement that can be expressed both in formal logic notation and natural language, providing dual representations for better understanding and validation.

Attributes

logic class-attribute instance-attribute 
logic: str = field(repr=False)

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

natural_language class-attribute instance-attribute 
natural_language: str | None = field(repr=False, default=None)

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