Loom - UMBC ebiquity research group · plan editor DRPI knowledge server IDI KRSL DB DB DB KB KB KB...

Post on 24-Sep-2020

10 views 0 download

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