research in the logic group - stanford computer science · 2009. 11. 9. · research in the logic...
TRANSCRIPT
![Page 1: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/1.jpg)
1
1
Research in the Logic Group
Michael GeneserethLogic Group
Stanford University
2
Computational Logic
above(yellow,blue)on(red,yellow)
∀x.∀y.(on(x,y) ⇒ above(x,y))
∃y.on(blue,y)
¬on(yellow,blue)
on(green,yellow)∨ on(green,blue)
![Page 2: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/2.jpg)
2
3
Automated Theorem Proving
Group Axioms�
Theorem
(x × y) × z = x × (y × z)x × e = xe × x = x
x × x −1 = e
x −1 × x = e
4
Constraint Satisfaction Systems
![Page 3: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/3.jpg)
3
5
Database Tables
Queriesquery(X,Z) :- parent(X,Y) & parent(Y,Z)
Constraintsillegal :- parent(X,X)illegal :- parent(X,Y) & parent(Y,X)
Deductive Database Systems
parentart bobart beabea coe
parent(art, bob)parent(art, bea)parent(bob,coe)
6
Sample Applications Logical Spreadsheets
Data Integration
Web of Data
Computational Law
General Game Playing
![Page 4: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/4.jpg)
4
Logical Spreadsheets
8
Huge Success individual users companies conglomerates
Good Features Automatic computation of values Ease of specification using simple math formulas
Computerized Spreadsheets
![Page 5: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/5.jpg)
5
9
Functional formulas
Unidirectional Update
B1 B2 B3
Limitations of Traditional Spreadsheets
2 3
B3 = B1 + B2
5
10
Logical Spreadsheets
Extension Relational constraints on the values of cells
Good Features Automatic computation of values Ease of set-up (using logical formulas)
Challenges Automatic update Temporary inconsistencies User feedback
![Page 6: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/6.jpg)
6
11
yescale3nobobe2noarte1
timeroomprojectorownerevent
eveningafternoonmorning
g300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
12
Constraints
If a projector is needed, an event cannot bescheduled in a room without a projector.
illegal :- event(E,O,yes,R,T) & room(R,no,S)
Bob is not permitted to schedule events in g100.
illegal :- event(E,O,P,g100,T) & owner(E,bob)
![Page 7: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/7.jpg)
7
13
yescale3nobobe2
morningg100noarte1TimeRoomProjectorOwnerEvent
eveningafternoonmorning
g300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
14
yescale3nobobe2
morningg100noarte1TimeRoomProjectorOwnerEvent
eveningafternoon
e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
![Page 8: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/8.jpg)
8
15
yescale3nobobe2
morningg100noarte1TimeRoomProjectorOwnerEvent
eveninge2afternoon
e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
16
yescale3afternoong200nobobe2morningg100noarte1
TimeRoomProjectorOwnerEvent
eveninge2afternoon
e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
![Page 9: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/9.jpg)
9
17
yescale3afternoong200nobobe2morningg100noarte1
TimeRoomProjectorOwnerEvent
eveninge2afternoon
e3e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
18
morningg300yescale3afternoong200nobobe2morningg100noarte1
TimeRoomProjectorOwnerEvent
eveninge2afternoon
e3e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
![Page 10: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/10.jpg)
10
19
morningg300yescale3afternoong200nobobe2morningg100noarte1
TimeRoomProjectorOwnerEvent
e4eveninge2afternoon
e3e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
20
eveningg300e4morningg300yescale3afternoong200nobobe2morningg100noarte1
TimeRoomProjectorOwnerEvent
e4eveninge2afternoon
e3e1morningg300g200g100
classroomnog300
classroomnog200
theateryesg100
SeatingProjectorRoom
![Page 11: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/11.jpg)
11
21
Research Topics
Paraconsistent Logic (Eric Kao) reasoning with inconsistent data and constraints
Differential Logic (Mike Kassoff) computing differences from differences analogy with differential calculus
Dynamic Logic (Ashwin Deshpande) constraints on transitions, not just state privacy, security, responsibility workflow management
22
Collaborative Spreadsheets
![Page 12: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/12.jpg)
12
Data Integration
24
Structured Data Sources
Public Sources Company Directories Weather Reports Product Catalogs Airline Schedules Product Reviews Drug Studies
Enterprise Sources Personnel Records Orders Equipment Databases Inventories Room Schedules
![Page 13: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/13.jpg)
13
25
Consumers of Structured Data
Different users Pilots and mechanics and airline marketers Passengers and travel agents FAA and NTSB
Different uses often require different datasets Airline personnel want to see their own flights Passengers want to see all flights for their trips
26
Data Integration
Answer
Data Broker
Manufacturer 1Manufacturer 2
Marketplace Data
Query
Product analysis
SatisfactionRatings
Supplier 1Supplier 2
Supplier 3Supplier 4
![Page 14: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/14.jpg)
14
27
Complications
Distribution Data at different sites Handled through magic of networking
Format Heterogeneity e.g. relational databases, XML, tab-delimited text Handled through hand-coded translators
*Conceptual Heterogeneity Differences in schema and vocabulary
28
20ironsaucepanc04
carter
30ironskilletc0340aluminumsaucepanc0250aluminumskilletc01
pricematerialtypeid
Source 1 - Carter
![Page 15: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/15.jpg)
15
29
saucepanm04
kind
saucepanm03skilletm02skilletm01valueid
Source 2 - Mirkwood
20m04
price
40m0350m0260m01
valueidcoating
yesm02yesm01
valueid
30
30msrps03tefloncoatings03
stainlessmaterials03skillettypes03
superchefmakers0350msrpr01
marvel
aluminummaterialr01skillettyper01
renfrewmakerr01valueattributeid
Source 3 - Marvel
![Page 16: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/16.jpg)
16
31
Source 4 - NHMA
nonstick
yesteflonnocoppernoceramic
valueid
americausa
country
europeukeuropefranceamericacanada
areaid
francesuperchef
company
canadarenfrewukmirkwoodusacarter
nationid
32
Consumer 1 - Xanadu
50skilletrenfrewr0120saucepancarterc04
xanadu
30skilletcarterc0340saucepancarterc0250skilletcarterc01
pricetypemakerid
All cookware products manufactured in the UnitedStates.
![Page 17: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/17.jpg)
17
33
Consumer 2 - Yankee
40frypanrenfrewr0116potcarterc04
yankee
24frypancarterc0332potcarterc0240frypancarterc01
pricetypemakerid
All cookware products manufactured in the UnitedStates with European types and prices in euros.
34
Consumer 3 - Zebulon
zebulon
30skilletsuperchefs0350skilletmirkwoodm0260skilletmirkwoodm01
pricetypemakerid
All skillets manufactured in Europe that are madefrom non-corrosible materials.
![Page 18: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/18.jpg)
18
35
Schemas
Consumer Relations: xanadu(X,Y,Z,W) yankee(X,Y,Z,W) values in European units alproduct(X) ceproduct(X) feproduct(X) ssproduct(X) ncproduct(X)
Source Relations: carter(X,Y,Z,W) kind(X,Y) nonstick(X,Y) marvel(X,Y,Z) coating(X,Y) company(X,Y)
price(X,Y) country(X,Y)
36
Relational LogicSafe, Horn Rules grandparent(X,Z) :- parent(X,Y), parent(Y,Z)
Existential Rules parent(X,f(X,Z)) :- grandparent(X,Z)
Disjunctive Rules father(X,Y) | mother(X,Y) :- parent(X,Y)
Recursive Rules ancestor(X,Y) :- parent(X,Y) ancestor(X,Z) :- parent(X,Y), ancestor(Y,Z)
![Page 19: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/19.jpg)
19
37
Direct Mapping
Schema Schema Schema
Schema Schema Schema
38
Sometimes called Global-As-View Integration
Source-Based Integration
![Page 20: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/20.jpg)
20
39
Relationships Among Sources
Replicated data Cached data Materialized views (as in data warehouses)
Heterogeneity (different schemas or vocabularies) values in euros versus values in dollars French instead of English different numbers of tables or attributes
Real World Constraints Physical laws Governmental laws Business rules
40
Collaborative Data Management
When sources are independent, they can be updatedindependently.
In the face of interrelationships among sources,individuals performing updates must collaborate(explicitly or implicitly) to ensure correct updates.
Collaborative Data Management must replaceindependent data management.
![Page 21: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/21.jpg)
21
41
Data Manager
Data Manager
Database 2
Database 5
Database 1 Database 3
Database 4 Database 6
Metadata
Data
Constraints
42
Update Integration
Data Broker
Manufacturer 1Manufacturer 2
Marketplace Data
Update
Product analysis
SatisfactionRatings
Supplier 1Supplier 2
Supplier 3Supplier 4
![Page 22: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/22.jpg)
22
Web of Data
44
Future - Web of Data
World Wide Web Collaborative Document Management System Interlinked Documents Keyword Search, Lists of documents as answers Individual source update, source ownership
Web of Data Collaborative Data Management System Objects/relations and constraints Query not Search, Answers instead of Documents Single Entry Principle, data ownership
![Page 23: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/23.jpg)
23
45
Showcase - Digital DepartmentGoal - Enterprise Data Management for Stanford
Components Multiple Departments University Databases
Areas Room reservations Event Management (Equipment, Food, Mail lists) Office Assignments Curriculum (prerequisites, requirements, policies) Programs (Undergraduate, Masters, Doctoral)
46
Showcase - Digital GovernmentGoal - Enterprise Data Management for governments
Components Federal Agencies States Local Governments
Output Government people and organizations Bills, votes, laws
Input Taxes, licenses, reports, court proceedings, results Online Turbotax for everything
![Page 24: Research in the Logic Group - Stanford Computer Science · 2009. 11. 9. · Research in the Logic Group Michael Genesereth ... Handled through magic of networking Format Heterogeneity](https://reader034.vdocuments.us/reader034/viewer/2022051901/5fefaa3a485eaa784f2b77c7/html5/thumbnails/24.jpg)
24
47