csc411artificial intelligence1 knowledge representation contents issues in knowledge representation...

CSC411CSC411 Artificial IntelligenceArtificial Intelligence 11

Knowledge Representation

Contents

Issues in Knowledge RepresentationAI Representational SystemsSemantic NetworksScriptsFramesConceptual Graphs


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


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


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


A Semantic Network on Human Information A Semantic Network on Human Information Storage and Response TimesStorage and Response Times

• Different inferences with given questions


A Semantic Network Representation of A Semantic Network Representation of Properties of Snow and IceProperties of Snow and Ice


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


Three planes representing three definitions of the word “plant”


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


Find the relationship (intersection path) between “cry” and “comfort”


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


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.”


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


Conceptual dependency theory: An ExampleConceptual dependency theory: An Example


• The primitives are used to define conceptual dependency relationships• Conceptual syntax rules


Some basic conceptual dependencies and their use in representing more complex English sentences


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


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


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


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.


A Restaurant

Script


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.


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


Frame: An ExampleFrame: An Example• Part of a frame description of a hotel room. • “Specialization” indicates a pointer to a superclass

csc411artificial intelligence1 knowledge representation contents issues in knowledge representation...

Documents

semantic networksinference

relationship intersection

intersection nodethe

given words

case frame representation

sentencecase relationships

labeledpropertieslabeled

complete inference rulestruth