Rob Kremer - PowerPoint PPT Presentation

1 / 15
About This Presentation
Title:

Rob Kremer

Description:

... graphical representation of predicate logic with special interpreted symbols ... Later abstracted to represent just meanings (Conceptual Dependency) ... – PowerPoint PPT presentation

Number of Views:28
Avg rating:3.0/5.0
Slides: 16
Provided by: Denzi
Category:
Tags: kremer | meanings | rob | symbols

less

Transcript and Presenter's Notes

Title: Rob Kremer


1
CPSC 433 - Artificial Intelligence Knowledge
Representation SystemsSemantic Nets
Adapted from slides by Jörg Denzinger
  • Rob Kremer
  • ICT 748
  • kremer_at_cpsc.ucalgary.ca
  • http//pages.cpsc.ucalgary.ca/kremer/

2
TOC
  • Semantic Nets
  • Example Conceptual Dependency
  • Discussion
  • Examples

3
Semantic Nets
  • Developed to have (partial) graphical
    representation of predicate logic with special
    interpreted symbols
  • First used to represent sentences in natural
    language
  • Later abstracted to represent just meanings
    (Conceptual Dependency)
  • Many different approaches (for example FIPA agent
    model)
  • Sometimes used for describing ontologies? grows
    together with frames
  • Often also coupled with a logic and the
    possibility to add formulas to description (?
    KL-ONE)
  • Models classes and instances

4
Example KL-ONE (KDRAW actually)
5
Example KL-ONE (KDRAW actually)
6
Basic data structures
  • Nodesdescribe concepts and instantiations
    (objects, actions)
  • Arcs/linksdescribe dependencies,like isa,
    is-element, greater-than,can be predefined and
    userdefined
  • Modifiersadd constraints, roles, etc. to links

7
Semantics
  • Provide fixed interpretations for as many links
    as possible
  • Provide fixed interpretations for modifiers
  • User defined links require way to define their
    semantics(e.g. axioms in a logic with already
    defined semantics, or other descriptions)

8
Example Conceptual Graphs
  • Concepts type_name or type_nameindividual_name
  • PERSON, PERSONSue, EAT, ACTION
  • Relations connect two concepts
  • ACTION-gt(AGNT)-gtANIMATE The agent of a
    ACTION
  • ACTION-gt(OBJ)-gtENTITY The reciever of an
    ACTION
  • ACTION-gt(INST)-gtENTITY The instrament of an
    ACTION
  • EVENT-gt(TIME)-gtTIME The time of an EVENT
  • Ontology, Schemas, Prototyes
  • EATltACTION, ACTIONltEVENT

9
Example Conceptual Graphs
Definition of concept BUY
10
Example Conceptual Graphs
An instance of a BUY
Problem Unify the BUY instance with the
definition (here repeated from the previous slide)
11
Example Conceptual Graphs
An instance of a BUY
Expansion
12
How to get knowledge into the rep. structure
  • Knowledge engineer should use as many predefined
    concepts, links and modifiers as possible in
    his/her graphs
  • Knowledge engineer has to provide semantics
    (procedural, descriptive) for all user defined
    concepts, links and modifiers

13
Discussion
  • Semantic nets express structure in a way also
    understandable by humans
  • Easy to combine with other representation
    concepts
  • Easily extendable
  • Problem with how to express semantics for
    user-defined elements
  • Some extensions are not decidable
  • Often the predefined elements are not what we
    want for an application

14
And what about processing data?
  • Answering questionsmatch question graph (with
    holes/variables) against graphs in knowledge base
    and return substitutions? search (for best
    match)
  • Adding to existing knowledge-base
    (classification)match new knowledge against old
    and add new graph parts (while checking
    fulfillment of constraints)? search (for best
    fit)
  • Other tasksuse provided procedures (based on
    semantics)for example inference rules for CD
    actions

15
Examples
  • Build a conceptual dependency representation for
    the following sentences
  • John eats a steak
  • John ate pizza yesterday
  • Build the graph for the following question and
    match it against the knowledge base from above
  • Who had pizza yesterday?
Write a Comment
User Comments (0)
About PowerShow.com