[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

inference_engine_algorithms/forward_chaining

@@ -69,7 +69,7 @@ def forward_chianing(knowledge_base: list[str], query:str) -> bool:
 
 
 if __name__ == "__main__":
-    
+
     kb = ["p => q", "q => r", "r => p", "s => t", "u => v", "v => w", "w => u", "a", "b", "c" , "w" , "u&q=>r", "q"]
 
     result = forward_chianing(kb, "p")

propositional_logic_inference_algorithms/forward_chaining

@@ -90,18 +90,18 @@ def forward_chaining(knowledge_base: list[str], query:str) -> bool:
 
 
 
-KB = [ 
-        "P => Q", 
-        "L & M => P", 
+KB = [
+        "P => Q",
+        "L & M => P",
         "B&L=> M",
-        "A&P=>L", 
-        "A&B=>L", 
-        "A", 
+        "A&P=>L",
+        "A&B=>L",
+        "A",
         "B" ]
 
 '''
 1)- KB must be written in horn form.
-2)- It must be written as an implcaion whoose 
+2)- It must be written as an implcaion whoose
 its premise(head) must be conjuction of positive literals and its conclusion(body)
 3)- It must contains facts about the world which are written as a single proposition symbol
 '''
@@ -114,10 +114,10 @@ Query is a signe proposition symbol that you check if it is entailed by the KB
 
 if __name__ == "__main__":
 
-    
+
     import doctest
 
     doctest.testmod(verbose=True)
-   
+
     result = forward_chaining(KB, QUERY)
     print(result)