Please enable JavaScript.
Coggle requires JavaScript to display documents.
AI (ML (Learn from examples & experience instead of relying on hard…
AI
-
Non-AI
State Space Search
-
Search Direction
Goal Driven ~ Backward : Take the goal to solve and see what rules could be used to generate this goal and determine what conditions must be true to use them
Data Driven ~ Forward : Begin with given info, states, legal moves or rules, search by applying rules to produce new states until goal state is found
-
Representation
-
-
S - non empty subset of N, contains the start state(s)
GD - non empty subset of N, contains the goal state(s)
-
Reasoning
Logical Languages
Predicate Calculus
Modus Ponens: If the sentences P and P -> Q are known to be true , then infer Q
Modus Tollens: If P -> Q is known to be true and Q is false, we can infer ~P
-
Introduction: If P and Q are true, then P ^ Q is true
Universal Instantiation: If any universally quantified variable in a true sentence is replaced by any appropriate term from the domain, the result is a true sentence. If a is from the domain of X, for every X in p(X) lets us infer p(a).
-
-
-
-
Reasoning Approaches
Inductive Reasoning
Allows inferring A from B, where A does not follow necessarily from B
-
Logical Reasoning
Deductive
Derives A (conclusion) from B (assumption) only where A is a formal logical consequence of B (given the truth of B). From All X (man(X) -> mortal(X)) and man(socrates) we derive mortal(socrates).
-
-
-
Abductive Reasoning
Allows inferring B as an explanation of A. From B -> A and A, it is possible to infer B.
-