Boeing

Information about Boeing

Published on November 23, 2007

Author: Emma

Source: authorstream.com

Content

SME2Logic Translation - an initial approach:  SME2Logic Translation - an initial approach Peter Clark Boeing Company Claims:  Claims SMEs can build adequate, new representations by “connecting pre-built components” together New representation defined largely in terms of existing ones To specify these connections, a small number of simple axiom types are adequate This provides a basis for a SME-usable interface Only need to support these “connection” axioms Things the SME Might Say… :  Things the SME Might Say… “A virus attack is a kind of invasion… “…where the thing doing the attacking is a virus… “…and the thing attacked is a cell… “…The virus takes control by delivering… “…its DNA to the cell…” Things the SME Might Say… :  Things the SME Might Say… “A virus attack is a kind of invasion… “…where the thing doing the attacking is a virus… “…and the thing attacked is a cell… “…The virus takes control by delivering… “…its DNA to the cell…” Five Types of Assertions: “create” : Placement in the taxonomy Things the SME Might Say… :  Things the SME Might Say… “A virus attack is a kind of invasion… “…where the thing doing the attacking is a virus… “…and the thing attacked is a cell… “…The virus takes control by delivering… “…its DNA to the cell…” Five Types of Assertions: “create” : Placement in the taxonomy “specialize” : Restricting an object’s class/type Things the SME Might Say… :  Things the SME Might Say… “A virus attack is a kind of invasion… “…where the thing doing the attacking is a virus… “…and the thing attacked is a cell… “…The virus takes control by delivering… “…its DNA to the cell…” Five Types of Assertions: “create” : Placement in the taxonomy “specialize” : Restricting an object’s class/type “add” : Introduction of new concepts Things the SME Might Say… :  Things the SME Might Say… “A virus attack is a kind of invasion… “…where the thing doing the attacking is a virus… “…and the thing attacked is a cell… “…The virus takes control by delivering… “…its DNA to the cell…” Five Types of Assertions: “create” : Placement in the taxonomy “specialize” : Restricting an object’s class/type “add” : Introduction of new concepts “connect” : Stating a relation between two concepts Things the SME Might Say… :  Things the SME Might Say… “A virus attack is a kind of invasion… “…where the thing doing the attacking is a virus… “…and the thing attacked is a cell… “…The virus takes control by delivering… “…its DNA to the cell…” Five Types of Assertions: “create” : Placement in the taxonomy “specialize” : Restricting an object’s class/type “add” : Introduction of new concepts “connect” : Stating a relation between two concepts “unify” : Coreference (equality) “Displaying axioms” to the SME:  “Displaying axioms” to the SME Approach: To present axioms about a concept C, SME doesn’t see the raw axioms directly Rather, SME sees an example I of C Sees a set of ground facts about I sees the results of applying those axioms to I ground facts are comprehensible and graphable SME builds new concept by interacting with this and other examples “Displaying axioms” to the SME: Example:  “Displaying axioms” to the SME: Example New Concept: VirusInvade Is a type of: Invade  Create an instance (example) of Invade: VirusInvade01 How the SME Makes Assertions:  How the SME Makes Assertions The SME manipulates instances in this representation, using four types of action Each action corresponds to a simple, ground assertion Any statements he/she makes about I will later be considered to hold for all instances of C The SME Actions::  The SME Actions: defender(VirusInvade01, Object01). attacker(VirusInvade01, Agent01). defense(Object01, Barrier01). isa(Agent01, Agent). isa(Object01, Object). isa(Barrier01, Barrier). … Ground Facts (text) Arrive Object Break Enter VirusInvade Barrier Agent attacker defender then then subevents defense location agent patient agent agent Ground Facts (graph) SPECIALIZE: isa(Object01, Cell) ADD: UNIFY:  v isa(v,Virus) Agent01 = Virus01 CONNECT: agent(Break01, Virus01) Generalizing the SME’s assertions:  Generalizing the SME’s assertions SME’s assertion: “Object01 is a Cell” Rephrase to only mention the root instance: “The defender of VirusInvade01 is a Cell” Generalize: “The defender of all VirusInvades is a Cell” In Logic: SME’s assertion: isa(Object01, Cell) Rephrase:  x defender(VirusInvade01,x)  isa(x,Cell) Generalize:  i isa(i,VirusInvade)   x defender(i,x)  isa(x,Cell) “Graph-Editing” Issues:  “Graph-Editing” Issues How to overcome limits of working with examples of concepts? some info undisplayable (“in cells, all lysosomes are in cytoplasm”) Some inexpressible (e.g., quantification, deletion/non-monotonicity) How to integrate testing? How can the SME find concepts in the library? How can we ensure the SME uses concepts in the intended way? How can we guide the SME as to what to do next? How does SME add new concepts during editing? How can we avoid graphs becoming unmanageably cluttered? Who lays out the graph? SME – how do we show side-effects of his/her actions? System – how do we make layout stable and sensible? Slide15:  Wider Issues What is the scope and role of this kind of graphical interface? View it as a generic editor? A “process model” editor? What are the types of knowledge we need, and what editors are needed? Types: isa, parts, purpose, constraints, duration, attributes, sequences Editor styles: tree editing, form-filling, text dialog, sketching How can we re-introduce informal knowledge into this?

Related presentations


Other presentations created by Emma

Geothermal Energy
03. 12. 2007
0 views

Geothermal Energy

Science Teaching in 21Century1
18. 03. 2008
0 views

Science Teaching in 21Century1

class2new
04. 10. 2007
0 views

class2new

sharetheroad
28. 09. 2007
0 views

sharetheroad

Suzhou
01. 11. 2007
0 views

Suzhou

dia de muertos 61PPT
06. 11. 2007
0 views

dia de muertos 61PPT

Digester complex
07. 11. 2007
0 views

Digester complex

grp1wk3
15. 11. 2007
0 views

grp1wk3

PresentaciÃn Cilca 2005
15. 11. 2007
0 views

PresentaciÃn Cilca 2005

palakal1 iu
10. 12. 2007
0 views

palakal1 iu

rutas por el pasado dos basica
20. 11. 2007
0 views

rutas por el pasado dos basica

FRIENDLY PRESENTATION
23. 12. 2007
0 views

FRIENDLY PRESENTATION

bioterrorism
04. 01. 2008
0 views

bioterrorism

prepro
07. 01. 2008
0 views

prepro

Tema1 Historia
07. 01. 2008
0 views

Tema1 Historia

doe review sep07 reich r0
06. 12. 2007
0 views

doe review sep07 reich r0

BYU diversification
30. 12. 2007
0 views

BYU diversification

Conjoint
24. 02. 2008
0 views

Conjoint

dedicated
26. 02. 2008
0 views

dedicated

Reusable Filters
28. 02. 2008
0 views

Reusable Filters

chapter5
04. 03. 2008
0 views

chapter5

FaNeilKift2004
06. 03. 2008
0 views

FaNeilKift2004

20074482634
10. 03. 2008
0 views

20074482634

fdida
14. 03. 2008
0 views

fdida

Inspectors 06
21. 03. 2008
0 views

Inspectors 06

Early Cold War
27. 03. 2008
0 views

Early Cold War

1 10 61005347 IRSCpresentaio0A6
30. 03. 2008
0 views

1 10 61005347 IRSCpresentaio0A6

AnastasiaVICKI
21. 11. 2007
0 views

AnastasiaVICKI

HowtoDoResearchonMov ies2nd
19. 02. 2008
0 views

HowtoDoResearchonMov ies2nd

inspire1
19. 12. 2007
0 views

inspire1

INDEPTH slides bis PRINCIPIA
09. 11. 2007
0 views

INDEPTH slides bis PRINCIPIA

EDUCAR PARA O SUCESSO
29. 12. 2007
0 views

EDUCAR PARA O SUCESSO

sustentabilidad rbsg
21. 11. 2007
0 views

sustentabilidad rbsg

newproducts
03. 01. 2008
0 views

newproducts

drager
27. 09. 2007
0 views

drager

The Snowy Day Module 1
01. 10. 2007
0 views

The Snowy Day Module 1