An apparatus and method for determining a solution to a problem where paths in at least one pursuit associated with the problem are traversed to generate one or more decision paths by processing one or more nodes in a given one of the paths, including: evaluating a premise if the node is a premise node, and passing the premise node if the premise passes, and noting a conclusion if the node is a conclusion node, withdrawing any previous conclusions that are not associated with a parent node of the conclusion, and passing the conclusion node; processing a child node if the current node is not a leaf node and is a node that passes; terminating a decision path if the child node cannot be processed, including asserting all noted, but non-withdrawn conclusions as a solution to the problem; and generating another decision path.

Συσκευές και μια μέθοδος για μια λύση σε ένα πρόβλημα όπου οι πορείες τουλάχιστον σε μια αναζήτηση που συνδέεται με το πρόβλημα διαπερνιούνται για να παραγάγουν μια ή περισσότερες πορείες απόφασης με την επεξεργασία ενός ή περισσότερων κόμβων δεδομένη μια από τις πορείες, που περιλαμβάνουν: αξιολόγηση μιας προϋπόθεσης εάν ο κόμβος είναι ένας κόμβος προϋποθέσεων, και διάβαση του κόμβου προϋποθέσεων εάν τα περάσματα προϋποθέσεων, και σημείωση ενός συμπεράσματος εάν ο κόμβος είναι ένας κόμβος συμπεράσματος, που αποσύρει οποιαδήποτε προηγούμενα συμπεράσματα που δεν συνδέονται με έναν κόμβο γονέων του συμπεράσματος, και της διάβασης του κόμβου συμπεράσματος επεξεργασία ενός κόμβου παιδιών εάν ο τρέχων κόμβος δεν είναι ένας κόμβος φύλλων και είναι ένας κόμβος που περνά λήξη μιας πορείας απόφασης εάν ο κόμβος παιδιών δεν μπορεί να υποβληθεί σε επεξεργασία, συμπεριλαμβανομένης της βεβαίωσης όλων που σημειώνονται, αλλά των μη-αποσυρμένων συμπερασμάτων ως λύση στο πρόβλημα και παράγοντας μια άλλη πορεία απόφασης.