(JADE, Jason, Jack, Aglobe, Coguaar ..) :
1) (Java, C++, Visual Basic, C#);
2) (SL, KIF);
**KIF Knowledge Interchange Format .
KIF , KQML-. .
3) (KQML, AgentSpeak, April);
**KQML - Knowledge Query and Manipulation Language . KQML , , . , , , . , , , KQML.
4) (Tcl/Tk, Python, Perl 5);
5) (TeleScript, COOL, Agent0, AgentK);
6) (Oz, ConGolog, IMPACT, Dylog, Concurrent METATEM);
7) .
, :
a-: , Windows-;
b- : , ;
c-: BDI, , , ;
d-: ;
e-: . / , , , (, , , );
f-: - ;
g- : .
a),b),e),f),g). .
26. : , , , . .
( ) ( ).
. , , WWW, . , .
|
|
, . , .
, , . , :
(, - , );
(, , , , , );
(, , , );
(, , , ).
27. : KQML, KIF , , .
KIF - Knowledge Interchange Format .
KIF , KQML-. .
LISP-. CLIPS.
KIF, , , . KIF , , . KIF .
.
(= (temperature ml) (scalar 83 Celsius))
, ml 83 . : . KIF temperature - ml, scalar - 83 Celsius. KIF, temperature scalar , .
, . , (bachelor), .
(defrelation bachelor (?x):=
(and (man?x)
(not (married?x)
)
)
|
|
)
, . ?x , . : = - . Man married ?x, .
, KIF -.
(defrelation person (?x):=> (mammal?x))
, , , .
KQML -Knowledge Query and Manipulation Language . KQML , , . , , , . , , , KQML.
KQML , (.. , ) ( /) [3].
KQML-:
(ask-one
:content (PRICE IBM?price)
:receiver stock-server
:language KIF
:ontology NYSE-TICKS
)
: - - (stock-server) - IBM. H
.
ask-one - ( ), , , .
, : - .
:content - , KIF.
:receiver - .
:language - , ( - KIF).
:ontology - , (, KIF).
::force, :reply-with, :in-reply-to, :sender,
28. Jason: , , .
Jason AgentSpeak Java.
AgentSpeak , BDI-.
Java Jason , Jason.
AgentSpeak Jason . , , , .
Jason , .mas2j, ( ), .asl, ( ), Java.
AgentSpeak , :
- ;
- ;
- .
.
:
- ();
- ;
|
|
- ( );
- ( ).
-, .
. , .
.
@, , , . .
@p1 .
@P1 .
@mm12CV .
@12pm .
, . , , :
- ;
- ;
- ;
- .
+ - . 2.
2
+k | k |
-k | k |
+!k | !k |
-!k | !k ( ) |
+?k | - |
-?k | ?k ( ) |
, . , , !p, - ?f(X). Jason -, .
, .
, +?f(X) , , X.
, , , , - -?f(X).
+?f(X) , !p -!p.
-?f(X) -!p . .
. , . , Jason. .
-, , .
:
p(X)&q(Y)&X>Y , X, Y, , , .
, :
- ;
- Jason;
- , ;
- .
, .
|
|
.
: <- .
.
1. .
<- .
2. a .
. <-true.
3. , .
:
, .
, . , .
:
MAS name{ -
infrastructure: Centralised ( Saci . )
environment: nameEnv
agents: ag1; ag2; -
}
:
import jason.asSyntax.Literal; - jason
import jason.asSyntax.Structure;
import jason.environment.Environment;
public class NameEnv extends Environment { - , jason.environment.Environment
@Override
public void init(String[] args) {
}
@Override
public boolean executeAction(String ag, Structure act) {
return true;
}
}
. , ..