run_reasoning
Apply forward-chaining IF/THEN rules to input facts, deriving new facts for logical inference and decision auditing.
Instructions
Run forward-chaining IF/THEN rules over a set of facts to derive new facts.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| facts | Yes | List of fact strings, e.g. ['Person(John)', 'Employee(John)'] | |
| rules | Yes | IF/THEN rule strings, e.g. ['IF Employee(?x) THEN WorkerBee(?x)'] |