Post on 18-Jan-2016
transcript
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 11
Knowledge Representation
Contents
Issues in Knowledge RepresentationAI Representational SystemsSemantic NetworksScriptsFramesConceptual Graphs
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 22
Issues in Knowledge RepresentationIssues in Knowledge RepresentationRepresentation IssuesRepresentation Issues– Generality and specificityGenerality and specificity– Definitions, exception, defaultDefinitions, exception, default– Causality, uncertaintyCausality, uncertainty– TimesTimes– Scheme and mediumScheme and medium
Representation SchemesRepresentation Schemes– Scheme – data/knowledge structureScheme – data/knowledge structure– Semantic networkSemantic network– Conceptual dependenciesConceptual dependencies– ScriptsScripts– FramesFrames– Stochastic methodsStochastic methods– Connectionist (neural networks)Connectionist (neural networks)
Implementation mediaImplementation media– Medium – implementation languages Medium – implementation languages – Prolog, Lisp, Scheme, even C and JavaProlog, Lisp, Scheme, even C and Java
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 33
Semantics of CalculusSemantics of CalculusPredicate calculus representationPredicate calculus representation– Formal representation languagesFormal representation languages– Sound and complete inference rulesSound and complete inference rules– Truth-preserving operationsTruth-preserving operations
Meaning – semanticsMeaning – semantics– Logical implication is a relationship Logical implication is a relationship
between truth values: pbetween truth values: pqq
Associationist theoryAssociationist theory– Attach semantics to logical symbols and Attach semantics to logical symbols and
operatorsoperators
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 44
Semantic NetworksSemantic NetworksDefinition– Represent knowledge as a graph– Nodes correspond to facts or concepts– Arcs correspond to relations or associations
between concepts– Nodes and arcs are labeledNodes and arcs are labeled
PropertiesProperties– Labeled arcs and linksLabeled arcs and links– Inference is to find a path between nodesInference is to find a path between nodes– Implement inheritanceImplement inheritance– Variations – conceptual graphsVariations – conceptual graphs
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 55
A Semantic Network on Human Information A Semantic Network on Human Information Storage and Response TimesStorage and Response Times
• Different inferences with given questions
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 66
A Semantic Network Representation of A Semantic Network Representation of Properties of Snow and IceProperties of Snow and Ice
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 77
Semantic Network in Natural Semantic Network in Natural Language UnderstandingLanguage Understanding
First implementation of semantic networks First implementation of semantic networks in machine translationin machine translation
Quillian’s semantic network Quillian’s semantic network – Influential programInfluential program– Define English words in a dictionary-like, but Define English words in a dictionary-like, but
no basic axiomsno basic axioms– Each definition leads to other definitions in an Each definition leads to other definitions in an
unstructured and sometimes circular fashionunstructured and sometimes circular fashion– When look up a word, traverse the networkWhen look up a word, traverse the network
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 88
Three planes representing three definitions of the word “plant”
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 99
Inferences in Semantic NetworksInferences in Semantic Networks
Inference along associational linksInference along associational linksFind relationships between pairs of Find relationships between pairs of wordswords– Search graphs outward from each word Search graphs outward from each word
in a breath-first fashionin a breath-first fashion– Search for a common concept or Search for a common concept or
intersection nodeintersection node– The path between the two given words The path between the two given words
passing by this intersection node is the passing by this intersection node is the relationship being looked forrelationship being looked for
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1010
Find the relationship (intersection path) between “cry” and “comfort”
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1111
Standardized RelationshipsStandardized Relationships
Standardized links’ labels Standardized links’ labels
Define a rich set of labelsDefine a rich set of labels
Domain knowledge to capture the Domain knowledge to capture the deep semantic structuredeep semantic structure
Case structure of English verbsCase structure of English verbs
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1212
Case FrameCase FrameVerb-oriented approachVerb-oriented approach
Links define the roles of nouns/phrases in the action of the Links define the roles of nouns/phrases in the action of the sentencesentence
Case relationships: agent, object, instrument, location, time, Case relationships: agent, object, instrument, location, time, etc.etc.Case frame representation of the sentence “Sarah fixed the chair with glue.”
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1313
Conceptual DependencyConceptual DependencySchank’s theorySchank’s theory
Offers a set of four equal and Offers a set of four equal and independent primitive conceptualizations independent primitive conceptualizations
From the primitives the word of meaning From the primitives the word of meaning is builtis built
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1414
Conceptual dependency theory: An ExampleConceptual dependency theory: An Example
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1515
• The primitives are used to define conceptual dependency relationships• Conceptual syntax rules
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1616
Some basic conceptual dependencies and their use in representing more complex English sentences
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1717
Conceptual dependency representing “John ate the egg”Conceptual dependency representing “John ate the egg”
the direction of dependencythe direction of dependency The agent-verb relationshipThe agent-verb relationshipPP past tensepast tenseINGEST INGEST a primitive act of the theorya primitive act of the theoryO O object relationobject relationD D the direction of the object in the actionthe direction of the object in the action
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1818
Conceptual dependency representation of the sentence “John Conceptual dependency representation of the sentence “John prevented Mary from giving a book to Bill”prevented Mary from giving a book to Bill”
More tenses and modesMore tenses and modespp pastpastff futurefuturet t transitiontransitionk k continuingcontinuingcc conditionalconditional// negativenegative? ? InterrogativeInterrogativepilpil presentpresent
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 1919
ScriptsScripts
Designed by Schank in 1974Designed by Schank in 1974
A structured representation A structured representation describing a stereotyped sequence of describing a stereotyped sequence of events in a particular contextevents in a particular context
A means of organizing conceptual A means of organizing conceptual dependency structuresdependency structures
Used in natural language Used in natural language understanding for knowledge baseunderstanding for knowledge base
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 2020
Script ComponentsScript ComponentsEntry conditionsEntry conditions or descriptors of the world or descriptors of the world that must be true for the script to be that must be true for the script to be called.called.
ResultsResults or facts that are true once the or facts that are true once the script has terminated.script has terminated.
PropsProps or the “things” that support the or the “things” that support the content of the script.content of the script.
RolesRoles are actions that the individual are actions that the individual participants performparticipants perform
ScenesScenes are a sequence of what represents are a sequence of what represents a temporal aspect of the script.a temporal aspect of the script.
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 2121
A Restaurant
Script
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 2222
FramesFramesCapture the implicit connections of Capture the implicit connections of information from the explicitly organized information from the explicitly organized data structuredata structureSupport the organization of knowledge Support the organization of knowledge into more complex unitsinto more complex unitsSimilar to classes in Object-orientedSimilar to classes in Object-orientedProposed by Minsky in 1975Proposed by Minsky in 1975
Here is the essence of the frame theory: When one Here is the essence of the frame theory: When one
encounters a new situation (or makes a substantial encounters a new situation (or makes a substantial
change in one’s view of a problem) one selects from change in one’s view of a problem) one selects from
memory a structure called a “frame”. This is a memory a structure called a “frame”. This is a
remembered framework to be adapted to fit reality by remembered framework to be adapted to fit reality by
changing details as necessary.changing details as necessary.
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 2323
Frame SlotsFrame SlotsA frame is a set of slots (similar to a set of fields in a class A frame is a set of slots (similar to a set of fields in a class in OO)in OO)The slots may contain the following informationThe slots may contain the following information
CSC411CSC411 Artificial IntelligenceArtificial Intelligence 2424
Frame: An ExampleFrame: An Example• Part of a frame description of a hotel room. • “Specialization” indicates a pointer to a superclass