DETAILS, FICTION AND SOCIAL MEDIA OPTIMIZATION (SMO)

Given a dilemma as well as a set of premises, problem-solving cuts down to searching for the proof tree whose root node is labelled by an answer of the problem and whose leaf nodes are labelled by premises or axioms. In the situation of Horn clauses, trouble-solving search can be executed by reasoning forwards in the premises or backwards from the