PPT Slide

Matchmaking Process: Simple Example

? Request for Agent Capability in ‘IntegerSort’

Advertisement of Agent Capability in ‘GenericSort’

Context

Input

Output

OutConstraints

InConstraints

Sort

xs: ListOf Integer;

IntegerSort

ys: ListOf Integer;

le(length(xs),100);

before(x,y,ys) :- ge(x,y);

before(x,y,ys) :- preceeds(x,y);

in(x,ys) :- in(x,xs);

Context

Input

Output

OutConstraints

InConstraints

Sorting

xs: ListOf Real|String;

GenericSort

ys: ListOf Real|String;

before(x,y,ys) :- ge(x,y);

before(x,y,ys) :- preceeds(x,y);

in(x,ys) :- in(x,xs);

Mode ? Plug-in Matching

Previous slide

Next slide

Back to first slide

View graphic version