Michael Witbrock Ph.D. Cycorp, Inc. witbrock@cyc.com February 6 th, 2007
Preview:
Citation preview
- Slide 1
- Michael Witbrock Ph.D. Cycorp, Inc. http://www.cyc.com
witbrock@cyc.com February 6 th, 2007
- Slide 2
- Theories in Compatible Logics IKL Translators ISIT (IKRIS
Scenarios Inter-Theory) ICL (IKRIS Context Logic) IKL (IKRIS
Knowledge Language) Terrorism, Medicine, Environment, Trade, Law
and Regulation CycL, Kani, CL, Slate Representing situations and
scenarios A context representation formalism A KR interlingua based
on Common Logic
- Slide 3
- Cycorp 2006 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. Every American has a president. Every
American has a mother. y.x. Amer(x) president(x,y) x.y. Amer(x)
mother(x,y) y.x. Amer(x) president(x,y) x.y. Amer(x) mother(x,y)
Higher Order Logic: contexts, predicates as variables, nested
modals, reflection,
- Slide 4
- Cycorp 2006 Thing Intangible Thing Intangible Thing Individual
Temporal Thing Temporal Thing Spatial Thing Spatial Thing Partially
Tangible Thing Partially Tangible Thing Paths Sets Relations Sets
Relations Logic Math Logic Math 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 Language 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
Law 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 Artifacts Movement State Change
Dynamics State Change Dynamics Materials Parts Statics Materials
Parts Statics Physical Agents Physical Agents Borders Geometry
Borders Geometry Events Scripts Events Scripts Spatial Paths
Spatial Paths Actors Actions Actors Actions Plans Goals Plans Goals
Time Agents Space Physical Objects Physical Objects Human Beings
Human Beings Organ- ization Organ- ization Human Activities Human
Activities Living Things Living Things Social Behavior Social
Behavior Life Forms Life Forms Animals Plants Ecology Natural
Geography Natural Geography Earth & Solar System Earth &
Solar System Political Geography Political Geography Weather
General Knowledge about Terrorism Specific data, facts, and
observations about terrorist groups and activities Specific data,
facts, and observations about terrorist groups and activities
General Knowledge about Terrorism: Terrorist groups are capable of
directing assassinations: (implies (isa ?GROUP TerroristGroup)
(behaviorCapable ?GROUP AssassinatingSomeone directingAgent)) If a
terrorist group considers an agent an enemy, that agent is
vulnerable to an attack by that group: (implies (and (isa ?GROUP
TerroristGroup) (considersAsEnemy ?GROUP ?TARGET)) (vulnerableTo
?GROUP ?TARGET TerroristAttack)) General Knowledge about Terrorism:
Terrorist groups are capable of directing assassinations: (implies
(isa ?GROUP TerroristGroup) (behaviorCapable ?GROUP
AssassinatingSomeone directingAgent)) If a terrorist group
considers an agent an enemy, that agent is vulnerable to an attack
by that group: (implies (and (isa ?GROUP TerroristGroup)
(considersAsEnemy ?GROUP ?TARGET)) (vulnerableTo ?GROUP ?TARGET
TerroristAttack))
- Slide 5
- Cycorp 2006 Thing Intangible Thing Intangible Thing Individual
Temporal Thing Temporal Thing Spatial Thing Spatial Thing Partially
Tangible Thing Partially Tangible Thing Paths Sets Relations Sets
Relations Logic Math Logic Math 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 Language 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
Law 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 Artifacts Movement State Change
Dynamics State Change Dynamics Materials Parts Statics Materials
Parts Statics Physical Agents Physical Agents Borders Geometry
Borders Geometry Events Scripts Events Scripts Spatial Paths
Spatial Paths Actors Actions Actors Actions Plans Goals Plans Goals
Time Agents Space Physical Objects Physical Objects Human Beings
Human Beings Organ- ization Organ- ization Human Activities Human
Activities Living Things Living Things Social Behavior Social
Behavior Life Forms Life Forms Animals Plants Ecology Natural
Geography Natural Geography Earth & Solar System Earth &
Solar System Political Geography Political Geography Weather
General Knowledge about Terrorism Specific data, facts, and
observations about terrorist groups and activities Specific data,
facts, and observations about terrorist groups and activities
Specific Facts about Al Qaida: (basedInRegion AlQaida Afghanistan)
Al-Qaida is based in Afghanistan. (hasBeliefSystems AlQaida
IslamicFundamentalistBeliefs) Al-Qaida has Islamic fundamentalist
beliefs. (hasLeaders AlQaida OsamaBinLaden) Al-Qaida is led by
Osama bin Laden. (affiliatedWith AlQaida AlQudsMosqueOrganization)
Al-Qaida is affiliated with the Al Quds Mosque. (affiliatedWith
AlQaida SudaneseIntelligenceService) Al-Qaida is affiliated with
the Sudanese Intell Service (sponsors AlQaida HarakatUlAnsar)
Al-Qaida sponsors Harakat ul-Ansar. (sponsors AlQaida LaskarJihad)
Al-Qaida sponsors Laskar Jihad. (performedBy
EmbassyBombingInNairobi AlQaida) Al-Qaida bombed the Embassy in
Nairobi. (performedBy EmbassyBombingInTanzania AlQaida) Al-Qaida
bombed the Embassy in Tanzania. Specific Facts about Al Qaida:
(basedInRegion AlQaida Afghanistan) Al-Qaida is based in
Afghanistan. (hasBeliefSystems AlQaida
IslamicFundamentalistBeliefs) Al-Qaida has Islamic fundamentalist
beliefs. (hasLeaders AlQaida OsamaBinLaden) Al-Qaida is led by
Osama bin Laden. (affiliatedWith AlQaida AlQudsMosqueOrganization)
Al-Qaida is affiliated with the Al Quds Mosque. (affiliatedWith
AlQaida SudaneseIntelligenceService) Al-Qaida is affiliated with
the Sudanese Intell Service (sponsors AlQaida HarakatUlAnsar)
Al-Qaida sponsors Harakat ul-Ansar. (sponsors AlQaida LaskarJihad)
Al-Qaida sponsors Laskar Jihad. (performedBy
EmbassyBombingInNairobi AlQaida) Al-Qaida bombed the Embassy in
Nairobi. (performedBy EmbassyBombingInTanzania AlQaida) Al-Qaida
bombed the Embassy in Tanzania.
- Slide 6
- Cycorp 2006 Thing Intangible Thing Intangible Thing Individual
Temporal Thing Temporal Thing Spatial Thing Spatial Thing Partially
Tangible Thing Partially Tangible Thing Paths Sets Relations Sets
Relations Logic Math Logic Math 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 Language 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
Law 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 Artifacts Movement State Change
Dynamics State Change Dynamics Materials Parts Statics Materials
Parts Statics Physical Agents Physical Agents Borders Geometry
Borders Geometry Events Scripts Events Scripts Spatial Paths
Spatial Paths Actors Actions Actors Actions Plans Goals Plans Goals
Time Agents Space Physical Objects Physical Objects Human Beings
Human Beings Organ- ization Organ- ization Human Activities Human
Activities Living Things Living Things Social Behavior Social
Behavior Life Forms Life Forms Animals Plants Ecology Natural
Geography Natural Geography Earth & Solar System Earth &
Solar System Political Geography Political Geography Weather
General Knowledge about Various Domains Specific data, facts, and
observations
- Slide 7
- Cycorp 2006
- Slide 8
- Contexts are vital Enable scalable, evolving Knowledge Bases
Shorter and simpler assertions Nelson Mandela is president. vs.
Nelson Mandela is president throughout 1995 in South Africa.
Controlled consistency Local consistency supports inference. Global
inconsistency allows efficient representation of different points
of view, disagreeing scientific theories, hypotheses, and changes
over time and location Depend on Reasoning Combining contexts and
types of contexts requires context space reasoning
- Slide 9
- MidEast1985DataContext LebanonJune1985DataContext (genlMt
)
- Slide 10
- Cycorp 2007 Part- whole relations Events and roles Contains
Temporal Relations Devices Materials Biology Beliefs and Attitudes
Spatial reasoning Cyc non- linguistic logical vocabulary supports
inference
- Slide 11
- Cycorp 2006 37 Relations Between Temporal Things
#$temporalBoundsIntersect #$temporallyIntersects
#$startsAfterStartingOf #$endsAfterEndingOf #$startingDate
#$temporallyContains #$temporallyCooriginating
#$temporalBoundsContain #$temporalBoundsIdentical #$startsDuring
#$overlapsStart #$startingPoint #$simultaneousWith #$after
- Slide 12
- Cycorp 2006 #$temporallyIntersects Some of these Relations are
very General, such as: Such relations are particularly useful when
they are known not to hold between a pair of individuals: (#$not
(#$temporallyIntersects ?X ?Y)) That implies all of these: (#$not
(#$spouse PERSON-X PERSON-Y)) (#$not (#$consultant AGENT-X
AGENT-Y)) (#$not (#$accountHolder ACCOUNT-X AGENT-Y)) (#$not
(#$residesInRegion AGENT-X REGION-Y)) (#$not (#$officiator EVENT-X
PERSON-Y))
- Slide 13
- Cycorp 2006 Does part of the inner object stick out of the
container? None of it. -- Try #$in-ContCompletely Yes -- Try
#$in-ContPartially No -- Try #$in-ContClosed If the container were
turned around could the contained object fall out? Yes -- Try
#$in-ContOpen
- Slide 14
- Cycorp 2006 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
- Slide 15
- Cycorp 2006 #$PhysicalStateChangeEvent
#$TemperatureChangingProcess #$BiologicalDevelopmentEvent
#$ShapeChangeEvent #$MovementEvent #$ChangingDeviceState
#$GivingSomething #$DiscoveryEvent #$Cracking #$Carving #$Buying
#$Thinking #$Mixing #$Singing #$CuttingNails #$PumpingFluid 11,000
more
- Slide 16
- Cycorp 2006 #$TransportationEvent
#$ControllingATransportationDevice
#$TransportWithMotorizedLandVehicle (#$SteeringFn #$RoadVehicle)
#$TransporterCrashEvent #$VehicleAccident #$CarAccident #$Colliding
#$IncurringDamage #$TippingOver #$Navigating
#$EnteringAVehicle
- Slide 17
- Cycorp 2006 #$performedBy #$causes-EventEvent #$objectPlaced
#$objectOfStateChange #$outputsCreated #$inputsDestroyed
#$assistingAgent #$beneficiary #$fromLocation #$toLocation
#$deviceUsed #$driverActor #$damages #$vehicle
#$providerOfMotiveForce #$transportees Over 400 more.
- Slide 18
- Attack874 isa: TerroristAttack. performedBy: JihadGroup.
deviceUsed: Bomb8388. eventOccursAt: CityOfLondonEngland. victim:
Person9399. victim: Person52666. assistingAgent: AlQaeda.
objectsDestroyed: Structure2990. objectsDestroyed:
Vehicle523452.
- Slide 19
- Michael Witbrock Cycorp 2007 Mohamed Atta
- Slide 20
- Wikipedia Page Download Sentence Extractor EBMT Parser Semantic
Checker Success No page found Hypothesis not logically consistent
Uninformative sentence Unable to parse (#$genls #$Polygraph
#$Device- Physical) Klingberg contacted the USSR for the first time
in 1957, and soon after that he started his espionage activity.
Israel's foreign and domestic intelligence agencies, Mossad and
Shin Bet, started suspecting Klingberg of espionage, but shadowing
brought no results. At one point, the scientist also successfully
passed the polygraph test Device-Physical Polygraph genls
- Slide 21
- Slide 22
- Michael Witbrock Cycorp 2007