Skip to content

Commit

Permalink
Merge pull request ExtensityAI#6 from twynne20/patch-2
Browse files Browse the repository at this point in the history
Update README.md
Xpitfire authored Feb 28, 2023

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
2 parents 3991c23 + ffa432d commit 78afb1b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -414,7 +414,7 @@ True
Our framework was built with the intention to enable reasoning capabilities on top of statistical inference of LLMs. Therefore, we can also perform deductive reasoning operations with our Symbol objects. For example, we can define a set of operations with rules that define the causal relationship between two symbols. The following example shows how the `&` is used to compute the logical implication of two symbols.

```python
res = Symbol('The horn only sounds on Sundays.') & Symbol('I hear the horn.')
res = ai.Symbol('The horn only sounds on Sundays.') & ai.Symbol('I hear the horn.')
```
```bash
:[Output]:

0 comments on commit 78afb1b

Please sign in to comment.