Loom - UMBC ebiquity research group · plan editor DRPI knowledge server IDI KRSL DB DB DB KB KB KB...
Transcript of Loom - UMBC ebiquity research group · plan editor DRPI knowledge server IDI KRSL DB DB DB KB KB KB...
LoomProlog
SpiceClips
Classic
???
LoomProlog
SpiceClips
Classic
???
Mediator Mediator
Ethernet
Internet Protocol
Transport Control
SMTP HELO
TCP HELO
IP TCP HELO
E IP TCP HELO Ethernet
Internet Protocol
Transport Control
SMTP
Stream
Fac−to−FacProtocol
App−to−FacProtocol
(e.g. LOOM, Prolog)
Application Language
Stream
Fac−to−FacProtocol
App−to−FacProtocol
(e.g. LOOM, Prolog)
Application Language(location x:airport long lat)
Deliver From: Address: Msg: Protocol:
MSG Type: {query} Language: Prolog Content: To: "application" Topic: ....
(location x:airport long lat)
MSG Type: {query} Language: Prolog Content: From: "appliation" To: .....
(location x:airport long lat)
Communication
Message
Content
Mechanics of communication: sender,recipient, unique id, synchonicity, etc.
Logic of Communication: speech acttype, qualifications, etc.
Content of communication as anexpression in some agreed uponKR language (e.g., KIF).
FACILITATOR
InternetF
I
L
Application
Application Language
F
I
L
Application
Application LanguageFACILITATOR
FF
F
F
F
F
F
F
F
F
SOCAPplanner
FMERGEconfigurator
PFEsimulator
DARTplan editor
DRPIknowledge server
IDI KRSL
DB DB DB KB KB KB
Internet
PlanSimulator
Case−Based Scheduler
MapDisplay AgentIDI
DBDBDB Special
TranscomDatabaseFront End
PlanEvaluator
KQML
KQML
KQML
KQML
KQML KQML
KQML
KQMLKQML
KQML
LOOM
LOO
M F
IL
LOOMSYSTEM CODE
GENERIC
FACILITATOR
SpecialLOOM−ish Protocol
Standard Protocol
Standard Protocol
ContentMessages Communications