conceptual graphs
Download
Skip this Video
Download Presentation
Conceptual Graphs

Loading in 2 Seconds...

play fullscreen
1 / 16

Conceptual Graphs - PowerPoint PPT Presentation


  • 110 Views
  • Uploaded on

Conceptual Graphs. (Sowa, JF 2008, ‘Conceptual Graphs’, in Handbook of Knowledge Representation ) Presented by Matt Selway. Conceptual Graphs basics. ~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~( Ey )(Bus(y) ^ Instrument(x, y))).

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Conceptual Graphs' - dwight


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
conceptual graphs

Conceptual Graphs

(Sowa, JF 2008, ‘Conceptual Graphs’, in Handbook of Knowledge Representation)

Presented by Matt Selway

conceptual graphs basics
Conceptual Graphsbasics

~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~(Ey)(Bus(y) ^ Instrument(x, y)))

conceptual graphs basics1
Conceptual Graphsbasics

~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~(Ey)(Bus(y) ^ Instrument(x, y)))

conceptual graphs basics2
Conceptual Graphsbasics

~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~(Ey)(Bus(y) ^ Instrument(x, y)))

conceptual graphs basics3
Conceptual Graphsbasics

~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~(Ey)(Bus(y) ^ Instrument(x, y)))

conceptual graphs basics4
Conceptual Graphsbasics

~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~(Ey)(Bus(y) ^ Instrument(x, y)))

conceptual graphs basics5
Conceptual Graphsbasics

(Ax)(Ay)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) -> Bus(y) ^ Instrument(x, y))

conceptual graphs basics6
Conceptual Graphsbasics

(Ax)(Ay)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) -> Bus(y) ^ Instrument(x, y))

conceptual graphs notations
Conceptual Graphsnotations
  • Extended CGIF

[If: [Person: John] [Go *x] [City: Boston] (Agent ?x John) (Destination ?x Boston)

[Then: [Bus *y] (Instrument ?x ?y) ]]

  • First Order Logic

~(Ex)(Person(John) ^ City(Boston) ^ Go(x) ^ Agent(x, John) ^ Destination(x, Boston) ^ ~(Ey)(Bus(y) ^ Instrument(x, y)))

conceptual graphs notations1
Conceptual Graphsnotations
  • Extended CGIF -> CLIF

(exists ((x Go))

(if (and (Person John) (City Boston) (Agent x John) (Destination x Boston) )

(exists ((y Bus))

(Instrument x y) ) ) )

  • Extended CGIF -> Core CGIF

~[ [*x] (Person John) (Go ?x) (City Boston) (Agent ?x John) (Destinination ?x Boston)

~[ [*y] (Bus ?y) (Instrument ?x ?y) ]]

  • Core CGIF -> CLIF

(not (exists (x)

(and (Person John) (Go x) (City Boston) (Agent x John) (Destination x Boston)

(not (exists (y)

(and (Bus y) (Instrument x y)))) ) ) )

conceptual graphs reasoning
Conceptual Graphsreasoning
  • Basic Rules
    • Copy <-> Simplify
    • Restrict <-> Unrestrict
    • Join <-> Detach
  • Possible Effects
    • Equivalence (copy, simplify)
    • Specialisation (restrict, join)
    • Generalisation (unrestrict, detach)
conceptual graphs reasoning2
Conceptual Graphsreasoning

Restrict

Unrestrict

conceptual graphs proof procedure
Conceptual Graphsproof procedure

Proof of ((p -> r) ^ (q -> s)) -> ((p ^ q) -> (r ^ s)) in 7 steps

(Sowa 2008)

ad