From b4558297821a5e047dc37ac6b426f2a57301235a Mon Sep 17 00:00:00 2001 From: JingrenWang Date: Sun, 21 Sep 2025 19:17:34 +0800 Subject: [PATCH] Fix(Docs): Missing images in tutorials Signed-off-by: JingrenWang --- .../moving_ai_beyond_its_narrow_view_of_intelligence.md.txt | 2 +- docs/_sources/introduction.md.txt | 2 +- .../blogs/moving_ai_beyond_its_narrow_view_of_intelligence.html | 2 +- docs/introduction.html | 2 +- .../blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md | 2 +- docsrc/source/introduction.md | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/_sources/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md.txt b/docs/_sources/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md.txt index c446510..c5cf0a4 100644 --- a/docs/_sources/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md.txt +++ b/docs/_sources/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md.txt @@ -41,7 +41,7 @@ We expect that any decision-making system should be able to apply logical rules really not be there, since our network only needs 3 neurons to compute on such knowledge: -It is raining Implies the grass is wet +It is raining Implies the grass is wet Logic also allows us to build high-level decision makers that can reason about outcomes given only partial information about the world. Lets add some more diff --git a/docs/_sources/introduction.md.txt b/docs/_sources/introduction.md.txt index 2965bc4..9ed0f91 100644 --- a/docs/_sources/introduction.md.txt +++ b/docs/_sources/introduction.md.txt @@ -1,6 +1,6 @@ # Logical Neural Networks -LNN structure +LNN structure The LNN is a form of recurrent neural network with a 1-to-1 correspondence to a set of logical formulae in any of various systems of ___weighted, real-valued logic___, in which evaluation performs logical inference. The graph diff --git a/docs/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.html b/docs/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.html index 5068a45..cf743e8 100644 --- a/docs/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.html +++ b/docs/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.html @@ -394,7 +394,7 @@

really not be there, since our network only needs 3 neurons to compute on such knowledge:

- It is raining Implies the grass is wet + It is raining Implies the grass is wet

Logic also allows us to build high-level decision makers that can reason about outcomes given only partial information about the world. Lets add some more diff --git a/docs/introduction.html b/docs/introduction.html index ec153b9..35c91ee 100644 --- a/docs/introduction.html +++ b/docs/introduction.html @@ -264,7 +264,7 @@

ΒΆ

- LNN structure + LNN structure

The LNN is a form of recurrent neural network with a 1-to-1 correspondence to a set of logical formulae in any of various systems of diff --git a/docsrc/source/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md b/docsrc/source/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md index c446510..c5cf0a4 100644 --- a/docsrc/source/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md +++ b/docsrc/source/education/blogs/moving_ai_beyond_its_narrow_view_of_intelligence.md @@ -41,7 +41,7 @@ We expect that any decision-making system should be able to apply logical rules really not be there, since our network only needs 3 neurons to compute on such knowledge: -It is raining Implies the grass is wet +It is raining Implies the grass is wet Logic also allows us to build high-level decision makers that can reason about outcomes given only partial information about the world. Lets add some more diff --git a/docsrc/source/introduction.md b/docsrc/source/introduction.md index 2965bc4..9ed0f91 100644 --- a/docsrc/source/introduction.md +++ b/docsrc/source/introduction.md @@ -1,6 +1,6 @@ # Logical Neural Networks -LNN structure +LNN structure The LNN is a form of recurrent neural network with a 1-to-1 correspondence to a set of logical formulae in any of various systems of ___weighted, real-valued logic___, in which evaluation performs logical inference. The graph