Michael Witbrock
Cycorp Europe
witbrock@cycorp.eu
Cygniac & anjajentzsch
Michael Witbrock
Cycorp, witbrock@cycorp.eu
July ...
Human Computer Collaboration
◦ Vast power: fast communications, near infinite memory,
computational learning (recommendati...
What we can do now
Valve Surgery
www.cyc.com/doc/inCyc
http://ws.opencyc.org/webservices/concept/find?str=shipping%20container
Logistics
Logistics
ThingThing
Intangible
Thing
Intangible
Thing
IndividualIndividual
Temporal
Thing
Temporal
Thing
Spatial
Thing
Spatial
Thin...
Very specific information
(some indirect, via SKSI)
Upper
Ontology
Core
Theories
Domain-Specific
Theories
EVENT ⊃⊃⊃⊃ TEMPO...
•(isa ASBFinancialCorp PubliclyHeldCorporation)
•(corporateOfficers ASBFinancialCorp GeraldRJenkins)
First Order
•In Mt : ...
Concept Count Scale
Can it be removed by pulling, if
enough force is used, without
damaging either object?
– No -- Try #$in-Snugly
or #$screwe...
Does part of the inner object
stick out of the container?
◦ None of it.
#$in-ContCompletely
◦ Yes
#$in-ContPartially
◦ If ...
#$TransportationEvent
#$ControllingATransportationDevice
#$TransportWithMotorizedLandVehicle
(#$SteeringFn #$RoadVehicle)
...
Web 3.0 Systems start from Web 2.0-
style learning.
Acquire ground facts, test rule
inferences.
Knowledge Acquisition with...
(generateFormulasForElements-TermIsa PubliclyHeldCorporation
(TheSet stockTickerSymbol))
(generateFormulasForElements-Term...
Where we want to go:
Large scale -> web scaleLarge scale -> web scale
The Cyc Analytic Environment
Reasoning-based, question answering
User-assisted query understanding
In use at Cleveland Clinic
Access ground facts, apply rule inferences.
Knowledge Use with CAE
Access ground facts, apply rule inferences.
Knowledge U...
An Introduction to OpenCyc
An Introduction to OpenCyc
An Introduction to OpenCyc
An Introduction to OpenCyc
An Introduction to OpenCyc
An Introduction to OpenCyc
Upcoming SlideShare
Loading in …5
×

An Introduction to OpenCyc

1,796 views

Published on

Published in: Education, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,796
On SlideShare
0
From Embeds
0
Number of Embeds
387
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

An Introduction to OpenCyc

  1. 1. Michael Witbrock Cycorp Europe witbrock@cycorp.eu Cygniac & anjajentzsch Michael Witbrock Cycorp, witbrock@cycorp.eu July 2010
  2. 2. Human Computer Collaboration ◦ Vast power: fast communications, near infinite memory, computational learning (recommendation, data mining) Fundamentally Harder Problems ◦ This power is creating systems that are more complex than can be managed by unaided humans Fundamental ChangeFundamental Change ◦ Much content not stored in human understandable form (text, audio, diagrams …) but dynamically combined and synthesized Needs infrastructure ◦ Knowledge in machine understandable form ◦ Background knowledge to provide that understanding
  3. 3. What we can do now
  4. 4. Valve Surgery
  5. 5. www.cyc.com/doc/inCyc
  6. 6. http://ws.opencyc.org/webservices/concept/find?str=shipping%20container Logistics
  7. 7. Logistics
  8. 8. ThingThing Intangible Thing Intangible Thing IndividualIndividual Temporal Thing Temporal Thing Spatial Thing Spatial Thing Partially Tangible Thing Partially Tangible Thing PathsPaths Sets Relations Sets Relations Logic Math Logic Math ArtifactsArtifacts MovementMovement Materials Parts Statics Materials Parts Statics Borders Geometry Borders Geometry Events Scripts Events Scripts Spatial Paths Spatial Paths Actors Actions Actors Actions TimeTime AgentsAgents SpaceSpace Physical Objects Physical Objects Organ- ization Organ- ization Living Things Living Things Cycorp © 2006 Human Artifacts Human Artifacts Social Relations, Culture Social Relations, Culture Human Anatomy & Physiology Human Anatomy & Physiology Emotion Perception Belief Emotion Perception Belief Human Behavior & Actions Human Behavior & Actions Products Devices Products Devices Conceptual Works Conceptual Works Vehicles Buildings Weapons Vehicles Buildings Weapons Mechanical & Electrical Devices Mechanical & Electrical Devices Software Literature Works of Art Software Literature Works of Art LanguageLanguage Agent Organizations Agent Organizations Organizational Actions Organizational Actions Organizational Plans Organizational Plans Types of Organizations Types of Organizations Human Organizations Human Organizations Nations Governments Geo-Politics Nations Governments Geo-Politics Business, Military Organizations Business, Military Organizations LawLaw Business & Commerce Business & Commerce Politics Warfare Politics Warfare Professions Occupations Professions Occupations Purchasing Shopping Purchasing Shopping Travel Communication Travel Communication Transportation & Logistics Transportation & Logistics Social Activities Social Activities Everyday Living Everyday Living Sports Recreation Entertainment Sports Recreation Entertainment State Change Dynamics State Change Dynamics Physical Agents Physical Agents Plans Goals Plans Goals Human Beings Human Beings Human Activities Human Activities Social Behavior Social Behavior Life Forms Life Forms AnimalsAnimals PlantsPlants EcologyEcology Natural Geography Natural Geography Earth & Solar System Earth & Solar System Political Geography Political Geography WeatherWeather General Knowledge about Various DomainsGeneral Knowledge about Various Domains Specific data, facts, and observationsSpecific data, facts, and observations
  9. 9. Very specific information (some indirect, via SKSI) Upper Ontology Core Theories Domain-Specific Theories EVENT ⊃⊃⊃⊃ TEMPORAL-THING ⊃⊃⊃⊃ PARTIALLY-TANGIBLE-THING ( ∀∀∀∀a, b ) a ∈∈∈∈ EVENT ∧∧∧∧ b ∈∈∈∈ EVENT ⇒⇒⇒⇒ causes( a, b ) ⇒⇒⇒⇒ precedes( a, b ) ( ∀∀∀∀m, a ) m ∈∈∈∈ MAMMAL ∧∧∧∧ a ∈∈∈∈ ANTHRAX ⇒⇒⇒⇒ causes( exposed-to( m, a ), infected-by( m, a ) ) (ist FtLaudHolyCrossERCase#403921 (caused CutaneousAnthrax (SkinLesions Ahmed_al-Haznawit))) First Order Predicate Calculus: unambiguous; enable mechanical reasoning Every American has a president. Every American has a mother. ∃∃∃∃y.∀∀∀∀x. Amer(x) ⇒⇒⇒⇒ president(x,y) ∀∀∀∀x.∃∃∃∃y. Amer(x) ⇒⇒⇒⇒ mother(x,y) Higher Order Logic: contexts, predicates as variables, nested modals, reflection,…
  10. 10. •(isa ASBFinancialCorp PubliclyHeldCorporation) •(corporateOfficers ASBFinancialCorp GeraldRJenkins) First Order •In Mt : FinancialTransactionMt (relationAllExists performedBy RepurchaseProgram PubliclyHeldCorporation) With Context •In Mt: FinancialTransactionMt (forAll ?X (implies (isa ?X RepurchaseProgram) (thereExists ?Y (and (isa ?Y PublicallyHeldCorporation) (performedBy ?X ?Y))))) Rule Second Order •(implies (and (isa ?SET Set-Mathematical) (cardinality ?SET 1) (elementOf ?THING ?SET)) (equals ?SET (TheSet ?THING))) Second Order •(beliefs Israel (relationInstanceExists possesses Syria ClusterBomb)) Modal •(opaqueArgument beliefs 2) Meta
  11. 11. Concept Count Scale
  12. 12. Can it be removed by pulling, if enough force is used, without damaging either object? – No -- Try #$in-Snugly or #$screwedIn Is it attached to the inside of the outer object? – Yes -- Try #$connectedToInside Does the inner object stick into the outer object? –Yes – Try #$sticksInto Cycorp © 2007
  13. 13. Does part of the inner object stick out of the container? ◦ None of it. #$in-ContCompletely ◦ Yes #$in-ContPartially ◦ If the container were turned around could the contained object fall out? Yes #$in-ContOpen ◦ No • #$in-ContClosed Cycorp © 2008
  14. 14. #$TransportationEvent #$ControllingATransportationDevice #$TransportWithMotorizedLandVehicle (#$SteeringFn #$RoadVehicle) #$TransporterCrashEvent #$VehicleAccident #$CarAccident #$Colliding#$Colliding #$IncurringDamage #$TippingOver #$Navigating #$EnteringAVehicle …
  15. 15. Web 3.0 Systems start from Web 2.0- style learning. Acquire ground facts, test rule inferences. Knowledge Acquisition with CURE Web 3.0 Systems start from Web 2.0- style learning. Acquire ground facts, test rule inferences. Knowledge Acquisition with CURE
  16. 16. (generateFormulasForElements-TermIsa PubliclyHeldCorporation (TheSet stockTickerSymbol)) (generateFormulasForElements-TermIsa CommercialOrganization (TheSet importantCompany subOrganizations mainBusinessActivityOfOrgOccursAt foundingAgent incorporatedIn))
  17. 17. Where we want to go: Large scale -> web scaleLarge scale -> web scale
  18. 18. The Cyc Analytic Environment Reasoning-based, question answering User-assisted query understanding
  19. 19. In use at Cleveland Clinic
  20. 20. Access ground facts, apply rule inferences. Knowledge Use with CAE Access ground facts, apply rule inferences. Knowledge Use with CAE

×