4. KNOWLEDGE REPRESENTATION? EXAMPLE: -CANNIBAL-MISSIONARY PROBLEM THREE MISSIONARIES AND THREE CANNIBALS COME TO A RIVER AND FIND A BOAT THAT HOLDS TWO. IF THE CANNIBALS EVER OUTNUMBER THE MISSIONARIES ON EITHER BANK, THE MISSIONARIES WILL BE EATEN. HOW SHALL THEY CROSS? HERE COMES THE IMPORTANCE OF KNOWLEDGE. THIS PROBLEM CAN ALTHOUGH BE SOLVED BY INTELLIGENT ALGORITHMS BUT KNOWLEDGE PLAYS THE MOST CRUCIAL PART
5. NEED FOR FORMAL LANGUAGES CONSIDER AN ENGLISH SENTENCE LIKE: “ THE BOY SAW A GIRL WITH A TELESCOPE” NATURAL LANGUAGES EXHIBIT AMBIGUITY NOT ONLY DOES AMBIGUITY MAKE IT DIFFICULT FOR US TO UNDERSTAND WHAT IS THE INTENDED MEANING OF CERTAIN PHRASES AND SENTENCES BUT ALSO MAKES IT VERY DIFFICULT TO MAKE INFERENCES SYMBOLIC LOGIC IS A SYNTACTICALLY UNAMBIGIOUS KNOWLEDGE REPRESENTATION LANGUAGE (ORIGINALLY DEVELOPED IN AN ATTEMPT TO FORMALIZE MATHEMATICAL REASONING)
6. KNOWLEDGE REPRESENTATION TECHNIQUES IN AI PROPOSITIONAL LOGIC DECLARATIVE STATEMENT ~ -> NEGATION -> -> IMPLICATION ↔ -> IMPLIES AND IMPLIED BY V -> DISJUNCTION ^ -> CONJUNCTION PROPOSITIONAL LOGIC = SENTENCES REPRESENT WHOLE PROPOSITIONS “ 2 IS PRIME.” P “ I ATE BREAKFAST TODAY.” Q
7. SYNTAX SYNTAX = HOW A SENTENCE LOOKS LIKE SENTENCE -> ATOMICSENTENCE | COMPLEXSENTENCE ATOMICSENTENCE -> T(RUE) | F(ALSE) | SYMBOLS COMPLEXSENTENCE -> ( SENTENCE ) | NOT SENTENCE | CONNECTIVE -> AND | OR | IMPLIES | EQUIV(ALENT) SENTENCE CONNECTIVE SENTENCE SYMBOLS -> P | Q | R | ... PRECEDENCE: NOT AND OR IMPLIES EQUIVALENT CONJUNCTION DISJUNCTION IMPLICATION EQUIVALENCE NEGATION
8. SEMANTICS SEMANTICS = WHAT A SENTENCE MEANS INTERPRETATION: ASSIGNS EACH SYMBOL A TRUTH VALUE, EITHER T(RUE) OR F(ALSE) THE TRUTH VALUE OF T(RUE) IS T(RUE) THE TRUTH VALUE OF F(ALSE) IS F(ALSE) TRUTH TABLES (“COMPOSITIONAL SEMANTICS”) THE MEANING OF A SENTENCE IS A FUNCTION OF THE MEANING OF ITS PARTS
9. TERMINOLOGY A SENTENCE IS VALID IF IT IS TRUE UNDER ALL POSSIBLE ASSIGNMENTS OF TRUE/FALSE TO ITS PROPOSITIONAL VARIABLES (E.G. P _: P ) VALID SENTENCES ARE ALSO REFERRED TO AS TAUTOLOGIES A SENTENCE IS SATISFIABLE IF AND ONLY IF THERE IS SOME ASSIGNMENT OF TRUE/FALSE TO ITS PROPOSITIONAL VARIABLES FOR WHICH THE SENTENCE IS TRUE A SENTENCE IS UNSATISFIABLE IF AND ONLY IF IT IS NOT SATISFIABLE (E.G. P ^: P )
10. EXAMPLES EITHER I GO TO THE MOVIES OR I GO SWIMMING 2 IS PRIME IMPLIES THAT 2 IS EVEN 2 IS ODD IMPLIES THAT 3 IS EVEN (INCLUSIVE VS. EXCLUSIVE OR) (IMPLICATION DOES NOT IMPLY CAUSALITY) (FALSE IMPLIES EVERYTHING)
11. SEMANTIC NETWORKS L GRAPH STRUCTURES THAT ENCODE TAXONOMIC KNOWLEDGE OF OBJECTS AND THEIR PROPERTIES – OBJECTS REPRESENTED AS NODES – RELATIONS REPRESENTED AS LABELED EDGES L INHERITANCE = FORM OF INFERENCE IN WHICH SUBCLASSES INHERIT PROPERTIES OF SUPERCLASSES
12. FRAMES A LIMITATION OF SEMANTIC NETWORKS IS THAT ADDITIONAL STRUCTURE IS OFTEN NECESSARY TO DISTINGUISH – STATEMENTS ABOUT AN OBJECT’S RELATIONSHIPS – PROPERTIES OF THE OBJECT A FRAME IS A NODE WITH ADDITIONAL STRUCTURE THAT FACILITATES DIFFERENTIATING RELATIONSHIPS BETWEEN OBJECTS AND PROPERTIES OF OBJECTS. CALLED A “SLOT-AND-FILLER” REPRESENTATION
13. NORMAL FORM IN PREDICATE LOGIC: RULE:- 1. REPLACE AND BY USING EQUIVALENT FORMULAS. 2. REPEATED USE OF NEGATION ~ (~ P)=F.DEMORGAN’S LAW TO BRING NEGATION IN FRONT OF EACH ATOM. ~ (GF)= ~G~F.USE ~X F(X)= X~F(X) AND ~XF(X) = X~F(X) THEN USE ALL THE EQUIVALENT EXPRESSIONS TO BRING THE QUANTITIES IN FRONT OF THE EXPRESSIONS
14.
15.
16.
17.
18.
19. FUNDAMENTAL PROBLEMS OF AI 1. THE ABILITY OF EVEN THE MOST ADVANCED OF CURRENTLY EXISTING COMPUTER SYSTEMS TO ACQUIRE INFORMATION ALL BY ITSELF IS STILL EXTREMELY LIMITED. 2. IT IS NOT OBVIOUS THAT ALL HUMAN KNOWLEDGE IS ENCODABLE IN “INFORMATION STRUCTURES” HOWEVER COMPLEX. E.G. A HUMAN MAY KNOW, FOR EXAMPLE, JUST WHAT KIND OF EMOTIONAL IMPACT TOUCHING ANOTHER PERSON’S HAND WILL HAVE BOTH ON THE OTHER PERSON AND ON HIMSELF. 3. THE HAND-TOUCHING EXAMPLE WILL DO HERE TOO, THERE ARE SOME THINGS PEOPLE COME TO KNOW ONLY AS A CONSEQUENCE OF HAVING BEEN TREATED AS HUMAN BEINGS BY OTHER HUMAN BEINGS. 4. THE KINDS OF KNOWLEDGE THAT APPEAR SUPERFICIALLY TO BE COMMUNICABLE FROM ONE HUMAN BEING TO ANOTHER IN LANGUAGE ALONE ARE IN FACT NOT ALTOGETHER SO COMMUNICABLE