Conclusion

Chapter ₆

92 Conclusion

an important problem. The implementation and thr ('Yaluatio11 of stra.trgirs ha.-;rd 011 �<'paratt'd historie are a future plan. It will also work on hetc-rogenrous ageuts.

In this thesis. we proposed a COOJWration schemr ^{011 c}l istrihutrd systrms. Hnw<'HT coop

erative processing is not only usdul on distributed .-ystrms hut also OIL concmT<'llt s�·strms.

One example that requires cooprration, rYrn if thr C'OllllllHllication cost ran hr iguoⁿ'^cl^. is a parallel search based on grnetic algorithms. A ·ea.r-ch procrss would fall in a local lllllllllltllll position by over-distribution of the best code at each st.rp. Thus broadcasting the 1H'st codc' pattern does not necessarily lead to the optimal form of computation. The sam^< discussion is held on heuristic-base parallel search. In the. e examples, cooprration rluwgrs the way of sharing information between agents. Thus we can define cooprration as nwthods for selrcting an appropriate tructure of procrssing demrnt .. Its application is not rPstrictrcl to distributed systems. We think that local-history based mrthods like ours will br useful for buildiug sdtcmrs on such systems.

Our study assumes that the intention of a programmer is prrsentecl in a program but not a specification. Therefore we consider about neither rule-ba.srcl or operator-based clC'sniption nor MAS. Thus our approach has a restriction necessarily for building strongly autonontous systems. But we think there is a hierarchy of autouomy. At the top of thE' hi(•rarchy, th(' unit is human or a very autonomous agent. Tlwy can be clescribrd wrll by the t<'rll^lof 1H'li<'f, d<'sin>, and intention(they are called as BDI theory). But the bottom lrvrl thC' d<'scriptiou of tit<·

goal of a computational unit is decomposed to a sequencr of orclrrs. If wr assnuH' tlH' uutnlH'r of computation unit in the real world becomes very large, to usr th<'m <'ffectivC'ly, pulliug parallelism off is the important issue, even if the platform is distributed <:wd thus we cm1 uot ignore the communication cost on them. Siuce there will be a hi< rarchy of physical clos<'H<'ss of computational units our approach would be used in the low-level of problrm-solviug st ratc•gy·!->

hierarchy.

Of course, history-ba.srd estimation method will br usdnl in high-lrv<'l plcutuing. It will require probabilistic reasoning. The emergence of intC'lligeucr is our of thr important ^r<sr^a.r^ch themes in Artificial intellig nee. Recent . tuclies about emergent computation invE'stigatr a way to make information proces. ing machine from a pool of simple units [For91. FM90]. Making

more intelligent system from units by a kind of rYolntiou rrqmres a lll('ta-calculatiou about utility like stability or uniqueness. Thrrrfore .'electing tlw input of itsC'lf and sd<'ctiug rdatNl modules is crucial. The issue about computation of connccti,·ity between th<' nnits will ^lw emerged once again

[

Lan90. I\:HH89

]

. TherrforP mor<' study about conn<'diYity sltoulcl h<' expected.

94 Conclusion

Acknowledgments

I would like to thank to Professor 1\:azuo U hijima at I\:yushu U11in'rsity for supporting this research and improving the quality of this thesis. I am very grateful to ProfC'ssor Akifumi Makinouchi, Professor Ryuzo Hasegawa and Professor I\:otaro Hira.sav\'a at 1\:ynshu (nin'rsity.

Their valuable commments are gratefully acknowledged.

I would like to express my apprecation to Associate Professor orihiko Yoshida. at 1\:yushu University for discussion about DAI, IAS, OOPL, and direction of this rC'sea.rch for long ,YC'ars.

I would also like to note two graduate students: Hiroomi Ya.mamura, the implcmeutC'r of the freqeuncy control strategy and Kenji Yamasaki, who impclementecl tllC' core part of CLOS MOP-based system.

96 Conclusion

Bibliography

[ACM95a]

[AC11I95b]

[AG92]

[Axe84]

[BG88]

[BJD85]

[BP95]

[CG89]

[CG90]

[Chi93]

ACM. ACM SIGPLAN NOTICES, Yolumr 30, nmnbC'r 10. ^AC:;\1Prrss. Octobrr 1995.

ACM. OOPSLA '95 Conference Proceedings, Austill, 1995. R<'JHillt('cl as [ACM95a].

Nicholas l'v1. Avoris and Lcs Gasser, editors. Distr--ibuted Artificial Intelligence:

Theory and Praxis. KluwC'r Academic Publi.·hers, 1992.

Robert Axelrod. The E-vol'Ution of Cooperation. Basic Books, ^Tew York, 1984.

Alan H. Bond and Les Gasser, editors. Readings in Distrib·uted Ar-t1:jicial Intelli

gence. Morgan I\:aufmann, 1988.

M. Benda, V. Jagannathan, and R. Dodhiawalla.. On optimal coop<'ration of knowledge sources. Technical report, Boei11g AI Centrr. 1985.

Edward A. Billard and JosC'ph C. Pasquale .. daptivC' Coordination iu Distributt·d

Systems with Delayed Communication. IEEE Tmns. Sys. Man CylJ., 25( 4):546 554, April 1995.

N. Carriero and D. Gelernter. Linda in context. Comm. A CM 32( 4):444 458, April 1989.

Nicholas Carriero and Davis Gelernter. How to Write Parallel Pr-oqmrn'i A Fir-st Co'Urse. The MIT Press, 1990.

Andr w A. Chien. Conc'Urrent Aggregates. The MIT Press, 1993.

(CL88]

(CR91]

(DB93]

(DLC87a]

(DLC87b]

(DM89]

(DM91a]

(DM91b]

(DS88]

(Dur88]

BIBLIOGRAPHY

R. Conry. S. ).le�·er and \-. Lesser. Iultistagr negotiation in distributrd planning.

In Bond and Gassrr [BG88]. chapter 5. 3, pages 367 3 -!.

Eilliam Clinger and Jonathan R es (editors). RrYisrd-1 rf'port on th<' algorithmic language Scheme. Technical report, :r'\oyemlwr 1991.

.Jiri DYorak and Horst Bunke. U ijng dos to impdcnH'ut a h�·hrid kuow!C'dge representation tool. In PaC'pckr [Pae93a], chapter 12, pages 293 320.

Edmund H. Durfee, Victor R. Lesser, and Daniel D. Corkill. Coherent Coopera

tion Among Communicating Problem SolvNs. IEEE Transaction:> on Compv.trr.c;

C-36, pages 1275 1291, 1987. Reprinted in [BG88], pp. 268 2 -1.

Edmund H. Durfee, Victor R. Lesser, and Daniel D. Corkill. Cooprratiou through communication in a distributed problem solving nrtwork. Iu H nhHs [Huh 7], chapter 2, pages 29-58.

Edmund H. Durfee and Thomas A. Montgomery. MICE: A flexible tested for intelligent coordination experiments. In Proceedings of the Ninth WorLc;hop on Distributed Artificial Intelligence, pages 25-40, 1989.

Yves Demazeau and Jean-Pierre Muller, editors. Decentndizerl A.I. ^2. �orth

Holland , Saint-Quentin en Yvelines. France, 1991. Proceedings of th(' , ^'<'c

oncl European \iVorkshop on 11oclelling Autonomous Ag('Uts in A Multi- gent World(1990).

Edmund H. Durfee and Thomas A. Montgomery. Coordination as Distributed Search in a Hierarchical Behavior Spac . IEEE Trans. Syst. Man Cyb^en1 .. (Sper:^·ial Issue on Distributed AI) 21(6):1363-1378, 1ovember/December 1991.

R. Davis and Reid G. Smith. Negotiation as a metaphor for distributed problem solving. In Bond and Gasser [BG88], chapter 5. 1, pages 331 356.

Edmund H. Durfee. Coordination of Distributed Problem Solvers. Klnwcr Aca

d emic Publishers. 1988.

BIBLIOGRAPHY 99

[EI'¥188)

[EPT94)

[FB88)

[FC91)

[FKR95]

[FL77)

[FM90)

[For91) [Fox88)

Robert Engdmore and Touy �!organ. editors. Blacl..:bonnl Systems. Addisou

\Vesley. 198 .

Daxid Edmond, Mike Papazoglon, and Zahir Tari. "Csing R<'fil'ction as a �leans of Achieving C_oopC'ration. In International Symposiu.m. on P.ijt.h GPnf'ndi.on. Com

puter Systems 1994 Workshop on H eterogr:neou.s CoopeTatillf' Knowledgf'-bas£'8.

pages 17-31. In titute for :'\rw Generation Compnt<'r TPdmology, D<'C<'!lllH'r 1994.

Jacques Ferber and Jean-Pierre Briot. Design of a Concurrent Language for Distributed Artificial Intelligence. In Proceed·in gs of the Intenw.tional Co'TifeTPnce of Fifth Generation Computer Systems, pages 755 162, 198 .

Jacques Ferber and P. Carle. Actors and Ageuts as Reflective' Coucurrent Ob

ject:a Mering-IV Perspectivr. IEEE Transactions on Sy.c;tern8. Man. and Cyber

netics, 21 ( 6 ): 1420-1436, November/December 1991.

tfaier Fenster, Sarit 1\:raus, and J effrcy S. Roscnschciu. Coordination wit.h

out Communication: Experimental Validation of Focal Point T<'chuiques. In Victor R. Lessor, editor, ICMAS-95 Proceeding.<; FiT8t Inte-rnational Confen^-nc£^' on Multi-Agent Systems, pages 102-108, San francisco, .June 1995. Tb<' AAT Press/The MIT Pre s.

R. D. Fennell and Victor R. Lesser. Parallelism in Artrifi.cial IutC'lligeiH'<' Pro blt>lll Solving: A Case Study of Hearsay-H. IEEE Tmnc;. ComputeT.'!, C-26(2):98 111,

1977. Also reprinted in [BG88).

Stephanie Forrest and John H. Miller. Emergent behavior iu dassifi.C'r systems.

Physica D, 42:213-227, 1990. Reprinted in [For91].

Stephanie Forrest, editor. EmeTgent Computation. The MIT Pn'ss, 1991.

MarkS. Fox. An organizational view of distributfd systems. Iu Bond anu Gasser [BG88), pages 140-150.

100

[Gal95]

[Gas92a]

[Gas92b]

[GBH87]

[Gel85]

[GH89]

[GRHL89]

[HB91]

[Hew77]

[HG93]

[HH87]

BIBLIOGRAPHY

Erick Gallesio. STk. ·cniYersite de :\in�. ftp:j /kaolin.unice.fr/puhj. 1993. Lat<•:-.t Yersion i ^·3.0, }.!IT AI Repo ·itory is its mirror sit<'.

Les Gasser. Boundaries. idrntity. and a.ggn•gation: Plurality isstws in Imdtiag<•ut ystems. In \Yerner and DC'mazeau [\YD92]. pages 199 213.

Les Gasser. Objrct-Basecl Concurrent Programmiug ancl Distributed . rtificia.l Intelligence. In AYoris and GassC'r [AG92], pages 1 101.

Les Gasser. Carl Braganza, and aYa Herman. Impl<·mentiug distrilmtrd artifi

cial intelligence systems using mace. In Proceedingc of the Third IEEE Conference on Artificial Intelligence Applications. pages 315 320. 19 7. Rrprintecl in [BG ].

pp.445-450.

David Gelernter. Generative comuunication in linda. A CM Tmn. Pmg. Lang.

Syst., 7(1):86-112, January 1985.

Les Gasser and Michael N. Huhns, editors. Distributrrl A Ttifitial Intdliyence Volume ^II.Pitman/ forgan I\:aufmann, London. 19 9.

Les Gasser, Nicholas F. Rouquette, Randall W. Hill, cuHl .Jolm Lie b. Representing and using organizational knowledge in distributed I systrms. In .. a.ss<'r aud Huhns [GH89]. chapter 3, pages 55 78.

Michael N. Huhns and David M. Briclgelancl. Iulitag ut truth maint<'ll<Utce.

IEEE Trans. Syst. Man Cybern.(Special Is51te on D·istr·ib·uterl AI), 21(6):1437 1445, 1991.

Carl Hewitt. Viewing control structures as patterns of passing llH'ssagrs. ATtijitial Intelligence, 8, 1977. orth-Holland.

Bernardo A. Huberman and N. S. Glance. Social dilemmas and fluid organiza

tions. In in printing, pages 496-505, 1993.

Bernardo A. Huberman and Tad Hogg. Phase transition iu artificial intelligrn('('

systems. AI-journal, 23(2), 1987.

BIBLIOGRAPHY 101

[HH 8]

[HM84]

[HM90]

[Hub88]

[Hub90]

[Hub92]

[Huh87]

[HW93]

(IGY92]

[Ish93a]

[Ish93b]

Bernardo A. Huberman and Tad Hogg. The lwhaYior of computational <'rologirs.

In Huberman [Hub ]. pages II 115.

Joseph Y. Halpern and Yoram :\Io es. I\: nowledgr and commou kuowl<'dp;<' in a

clistribu ted cnYironment. In Proceerling8 of th(' Thi·rt! A nn:unl A CM Symposinm on Principle8 of Distrib-uted Cornpv^.ting^,pages 30 61. 19 -t

Joseph Y. Halpern and Yora.m �Io cs. I\:nowleclgr a.11<l commo11 kiiOWh'dp;t' iu a

distributed environment. J O?trnal of the A CM, 31( 3):549 S81, July 1990. Tii vct<'d version of IBM Research Report IBM RJ 4421(19 4).

Bernardo A. Huberman^. editor. The Ecology of Cornp^·ntatwn. ElsC'vier Sci<'nce Publishers B.V.(l'\orth-Holland), Amsterdam, 19 8.

Bernardo A. Huberman. The prrformancC^'of coopC'ra.tivC' proc<'ss<'s. Phy.-;icn D, 42:38-47, 1990. Reprinted in

[

^For91

]

Bernardo A. Huberman. The value of cooperation. In Masuch aud \Varglien [MW92], chapter 10, pages 235-243.

l\1ichaf'l N. Huhns, f'ditor. Distributed Artificial Intell-igence. 1orgau Eaufma.nu, 1987.

Tad Hogg and Colin P. Williams. Solving the TIC'ally Hard Prohlnl<'s with Coop

erative Search. In AAAI-93, pages 231-236. AAAI, I Press

/

h<' MI Pr('ss.

1993.

Toru I. hida, Les Gasser. and Makoto Yokoo. Orgauizatiou Sdf-D<'sigll of Dis

tributed Pro duction System . IEEE Transactions on Data and Knowled.r;e En

gineering 4(2): 123-134, 1992.

Toru Ishida. editor. MultiAgent and Cooperat·ive Computation II, voluwC' 5 of lecture note/software. Kindaikagakusha^,1993.

Toru Ishida. Realtime bidirectional search. Iu MultiAgent and Cooperative Com

putation II [Ish93a], pages 121-135.

102

[Ish95]

[

^I�au⁹³^]

[KC93_]

[KdRB91

]

[Kee89]

[KG94]

[KHH89]

[Kic91₎

[KL95)

[Kni93

)

BIBLIOGRAPHY

Torn Ishida. Discussion on agents. Journul of .JaJULl/.(',<;e onf'fy for A 7'fLjicial Intelligence. 10(5):663 661. Septemb<'r 1990. in Japanese.

Stuart A. Kauffman. The _Ori_gin₈of Order. Oxford CniYersity Press, 1993.

Y� uhiko Kitamura aud Zlwng Bao Chauaug. A cooper a tiY<' search sclH'llH' for dynamic problem .. In I.·hida [Ish93a). pages 131 14/.

Gregor I�iczales. Jim des RiYit're , and Danid G. Do brow. ThC' _A-rt_of_th(•_Ml'taob

ject Protocol. The MIT Press, 1991.

Sonya E. I�eene. Object- Oriented Programming in Common Lisp rners's Guide to CLOS Symbolic.-, Inc., 1989.

Pro_rrm.m.-Taha Khedro and Michael R. Genesereth. l\1oclding multiag('llt cooperation as distributed constraint satisfaction problem solving. In A. Cohn, editor, ECAID4.

page 249-253. John \i'liley & SOns, Ltd., 1₉9_4. 11th Europ('all Conference on Artificial Intelligence.

Jeffrey 0. _I�₁hart, Tad Hogg, and Brrnarclo A. Huberman. Dymuuirs of com

putational ecosystems: Implications for D I. In Gasser and Hultns [ �H 9].

chapter 4, pages 79 95.

Gregor Kiczales. Tiny CLOS.

openimplementations/. 1991.

Xerox, ftp:/ /arisia.X('rox.com/pub/

Anders I�ristensen and Colin Low. Problem-Ori('Utl'cl ObjC'ct !vfemory: Cns

tomizing Consistency. In OOPSLA '95 _ConfeTen_ceProceedings [A ' 1951 _]._pag('s 399-413. Reprinted as [AC 195a].

Kevin Knight. Are many reactive agents bett<'l' than a few d('lihera.tivc' ones'? Iu Proceedings of the 1993 International Joint Conference on A Ttificial Intelligence.

page 432-437, 1993.

BIBLIOGRAPHY 103 [K

TT

⁰^93]

[Lan90]

[LC88)

[LE80]

[Les90)

[

^Le

s

⁹¹⁾

[Lh89)

[Li86)

Ya: uhiko I\itamura. I\<>n 'ich Teranishi, Shoji Tatsnmi. and Takaaki Okumoto.

Communication control in distributed search. Iu IPSJ SIC Notf's AI-98- 9. 1np;rs 41 50, August 1993. in Japane. e.

Chri topher G. Langton. Computation at thr rdgr of chaos: Phase trausitious and emergrnt computation. Physica D. 42:12 37. 1990. rrpriutrd in [For91).

Victor Lesser and D. Corkill. Functionally accuratt'. cooprratiY<' distri hu trcl systems. In Bond and Gasser [BG88), chapt<'r 4.3.1, pages 295 310.

Victor R. Lesser and Lee D. Ennan. Di. tributed i11terprrtatiou: A modrl and ex

periment. IEEE Transaction.s on Computers. 29(12):1144 1163. 19 0. TI<'pri11ted in [BG88).

Victor R. Lesser. An Overview of DAI: Virwing Distributed . I as istributrcl Search. Jo·urnal of Japane.se Society for Artificial Intelliqcncr, 5(4):392 400, 1990.

Victor R. Les .. er. A retrospective view of FA/C distributed problem solving.

IEEE Tmns. Syst. Man CybeTn.(Special I8,me on D?;stributrd AI), 21(6):1347 1361, November/December 1991.

I\ai Li and Paul huclak. 1emory cohcre11ce in sharrd virtual nwmory syst<•ms.

ACM Trans. Computing Systems, 7(4):229 239, ovcmber 19 9.

Kai Li. Shared Virtual MemoTy on Loosely Coupled M·ultiproce!i80T$. PhD tltesis, Yale niversity, September 1986.

[LLARKS85) E.L. Lawer, J.I\. Lenstra, D.B. A.H.G. Ronnoouy Kan, and Sluuoys <·clitors.

[LR92)

The Tra'Ueling Salesman PToblem. Addison Wesley, 1985.

Ran Levy and Jeffrey Rosrnschcin. A game tlH'oretic approach to distrihut<'d artificial intelligence and the pur uit problem. Iu Went rand Df'maz<'ctu [vVD92).

pages 129-146.

104 BIBLIOGRAPHY

["!YHT90] Takeo :\Iaruichi. :\Iasaki Ichikawa. and :\Iario Tokoro. �Iod('ling autonomous agents and th<"ir groups. In Yv<'.'

D

cma_z_c_an_{and .}_l_<_'_an-Pirrr_c :\Iiilkr. editors.

Decentral'ized A.I .. pages 215 234. �orth-Holland. aiut-

Q

n<'lltill <'ll \\·din<'s.

France, 1990. _Proceedings of th

e

First EuropraH \Yorkshop 011 �Ioddling Att

tonomou. Ag�uts iu A �Iulti-Ag<'nt \Yorld (19 9).

[NI 1AY95] Hiclehiko l\fa.suhara. Satoshi l\Iatsuoka. hrnichi Asai. and . kinori Yollrzawa.

Compiling Away the

Mcta-LeY<"l

in Object

- O

riri

L

tt'd CorlCHlT('llt Tidl<·ctiYr Lan

guages u ing Partial Evaluuation. In OOPSLA

'95 Confen'11Cr'

PTocf'eding8 [ACM95b], _pages300 315.

R

eprinted as

[

ACM95a

]

[MMWY92] Hidehiko 'lasuhara, Sato. hi tviatsuoka. Takuo \1\'atanabe. and kinori Yonezawa.

[MN88)

(NIW92]

(MWIY92]

[MWY91]

[Nar90]

Objet-ori

e

nted concurrent reflective languag s can hr impknwnt<'d dfi

c

i<'ntly. In

Proceedings of the A CM ConfeTence on

Object-

Oriented Proqm.mrning Sy:;tern8, Languages, and Application8(00PSLA

'92).

pages 127 144. AC:t\I. 1992.

Pattie Maes and

D

aniele arcli, editors. Meta-Le11d Architect'ure8 and Rr.jif'ction.

North-Holland, 1988.

Michael Masuch and Ma simo Wargli

e

n, ecli tors. ATtificial Intelligence in 0Tqa

nization and Management Theory. Elsevier ScirllCC

Publish<'rs n.

.. 1992.

Satoshi 1atsuoka. Talmo vVatanabe. Yuji Ichisugi. and Akiuori Yon<'zawa.

Object-oriented concurrent reflective arrhit<'ctnres. In Object-Bo .. 'ierl or .. twrn.et Computing, volume 612 _of_L_e

c

t-a

T

e Notes in

C

omp

u

T

Sc'iencP.. Spriuger- rrla,g, 1992.

Satoshi Matuoka. T. vVatauabe, and A. Yonezawa. Hibrid Group Rdi<>ctiv<' Architecture for

Ob

ct

-Ori

e

t

ecl

Cocurrent Refiectiv

Programmiug. In

Fifth

C

OOP, July 1991.

Shuji

N

arazaki. C_oopera_tiv

e

Processing Model Cellula ba.':lcd ou fields. _Master's thesis, Kyu hu University, March 1990. in _.J_a_pan_C's_e.

BIBLIOGRAPHY 105 [

N

ar95]

[NT90]

[Num92]

[NY93]

(NYY94]

[NYY95]

[OIT93]

[Osa93]

[Pae93a]

Shuji :\araza.ki. Effects of Yir"· ranges of agents in pursuit problem. In 1\:onichi

Hashicla, editor. M·ultiAgrnt and Coopara.ti·IJ(' Computation IV. ,·olnnw 13 of lf'r

t-urenote

j

softwa.Te. pagrs -19 56. I\:inclaikagaknsha . .:,;0\"('lllher 1993. Proc<'('<liugs of JSSST �IACC'94

w

orkshop.

Chisato Numaoka and

?\I

ario Tokoro. Distrilmt<'d arititicial intdlig<'ll<'< and pro

gramming languages. JO-unwl of japanese SOcirty foT Aritift:cial Intelliqence.

5(5 ):441-421. .July 1990.

Chisato T umaoka. Conver. ation for organizational acti

v

ity. In \Vrrner and DC'

mazeau [\VD92], pages 189 19 .

Shojiro ishio and Akinori Yonezawa, editors. Object Technolog·ies joT Arluanred Software, 742, 1\:anazawa, Japan, 1993. JSSST. SpringC'r-VC'rla.g. First .JSSST Int

e

rnational Symposium.

Shuji arazaki, Hiroomi Yamamura, and orihiko Yoshid

a.

. StrategiC^'s for select

ing

c

ommun

ic

ation structures in

c

oop

e

rati

v

e search. In InteTnational Symposi·n

m

on Fifth Genemtion ComputeT Systems 1994 Workshop on H eteTogeneo·ns CoozJ

eTative Knowledge-Bases, pages 155-166, Decembrr 1994. R print <'d as [ YY95].

Shuji arazaki. Hiroomi Yamamura, and Norihiko Yo

s

hid

a

.. Stratq?;irs for sd

<

^'d

ing co

m

muni

c

ation structures in cooperative search. In ��

v

olum

<

' - of Lert·an' Notes in A ritificial Intelligence.

Sp

ring

e

r^-Verlag, 1995.

Hideaki Okam

u

ra, Yutaka Ishikawa, and :Mario Tokoro. M<'ta.kvd DC'composi

tion in AL-1

/

D. In Nishio aud Yonezawa [. Y93]. pages 110 144. irst .JSSST International Sym

p

osi

u

Ei-I chi

O

sawa. Adaptive cooperation schemes coping with d

y

nami

c

pro hl('lll space. In Ishida [Ish93a], pages 105-120. iu .J a.pauesC'.

A

ndreas Paep

c

ke^, editor. Object-Oriented Pro_qramming The CLOS Perspective.

The MIT Press, 1993.

106

[Pae93b]

[Pea84]

[Poh71]

[ RB89]

[RGG86]

[s+9o]

[SD92]

[Sim81]

[SM89]

[SRSF91]

BIBLIOGRAPHY

Andrea· Pacpcke .

..

^[ser-Lrn·l Language Crafting: Introducing t h<' CLO �I<'taoh

ject Protocol. In Object

-

Oriented Programming Thf> CL OS ^p,

.

.,...,fJf'di tw [Pad)3a].

chapter 3, page, 65 99.

Judea Pearl. He·uristics ·intelligP1z.t search sfntf('_q'tf'8 for tomputf'r problf'm :;olu-ing. Addison- \Ycslcy, 19 .J.

I. Pohl. Bi-directional search. Machine Intelligence. 6:127 140. 1971.

Jeffrey S. Rosenschein and John S. Breese. Communication- frcr interactions among rational agent·: A probabilistic approach. In Gassrr and Huhus [GH 9], chapter 5, pages 99 11

Jeffrey S. Rosrnschein, M. Ginsburg, and l\Iichad n. Grursrr<>th. Coop<'ratiou without communication. In Proceeding s AAAI-86, pagrs 51 57 .

..

^AI. ^{19 6.}

Reprinted in [BG88], pp.220-226.

Guy L. Steel .Jr. et al. Common Lisp the Lang'IULge. DEC press, second <'<lition, 1990.

Young-PaSo and Edmund H. Durfee. A Distrihntrd Problem- solving Infrastruc

ture for Computer etwork 1auagement. IntPrrw.tional JonT"tw.l of Intdli.genl f'1 Cooperative Information systems, 1(2):363 392 . .Jnn<' 1992.

Herbert A. Simon. The Sciences of the A Tti.ficinl. ThC' MIT Prrss, Boston, s<'<"OtHl edition, 1981.

Larry M. Stephens and fatthia!· ^�1erx. Agrut organi�ation a.s <:ut df<'ctor of DAI system performance. In PTOceeclings of the Ninth Work8hopon D·ist·,..iv·uted Artificial Intelligence, pages 263 292, 1989.

Katia P. Sycara, Steven F. Roth, Norman Sadeh, and 1Ia.rk S. Fox. Distrilmt<'d constrained h uristic search. IEEE Trans. Sy!3t. Man CybeTn. (Special J.c;,.;?u: on Distributed AI

)

^,21(6):1446-1461, 1991.

BIBLIOGRAPHY 107

[Sta89]

(WD92]

[

er92]

[YDI

92]

[YN90 ]

(YN91]

[YNU95]

[Yok93 ]

(Yok95]

Susan Leigh Star. Tlw structure of ill-strnctnrrd solutions: Boundary object:-.

and heterogeneous distributed problem sol\'iug. In Gassrr and Hnhns [GH 0].

chapter 2, pages 37 54.

Eric \\Terner and Yn's Demazeau. editors.

De Cf ntrnllzrd A .I. :J. Els<'Yi<'r

nencr Publi. hers

B.Y.,

1992.

Eric vVerner. ThE' design of multi-agent systems. In \\T('l'll<'r and

D<'lll<tZ<'iUl

(WD92], pages 3 28.

Makoto Yokoo, Edmund

Durfer, Toru Ishida. and I(azuhiro I\ uwabara. Dis

tributed constraint satisfaction for formalizing distributed problem soh·ing. In

Proceedings of the Twelfth IEEE InteTnational Conference on Distributed Com.

puting Systems,

pages 614 621, 1992.

orihiko Yoshida and Shuji

arazaki. A cooperation and comrmmicatiou fram<'

work for distributed problem solving. In

PToCPeding.<; of IEEE 2nd Intenwtirmal Conference On Tools For Artificial Intelligence,

pages 530 536. I

EE,

1990.

Norihiko Yoshida and Shuji Narazaki. A Distributed Pron'ssiag S

t<

^'lll for

the Cooperation I'vfodel 'Cellula'.

Tran8actions of Information pmce.c;sing Soc·idy of

Japan,

32(7):906-913 1991.

Kenji Yama-;aki, Shuji N arazaki, and I\azuo shijinm.

Impn'lll<'ll

tat iou of Cooperative Processing with Mctalevel Computation.

IPSJ SIC Notes PRG,

95(82):145-152. August 1995. in .Japanese.

Yasuhiko Yokote. Kernel structuring for objrct-oricutrd operating syst<'rns: T he aperotos approach. In Nishio and Yonezawa [- Y93], pag<'s 145 162. First

.JSSST

International Symposium.

Makoto Yokoo. An overview of distril uted search.

ComputeT Softwan�.

12(1):33

42, 1995. in .Japanese, .Japan Society for Softwarr Scic•ncc and

Tcdwnology.

108

[YSTH 7]

BIBLIOGRAPHY

Akinori Yonrzawa. Etsu)·a hibayama, Toshihiro Takada. and Yasnaki Houda.

:\Iodelling and programming in an objrct-orirntrd concrrrnt languag(' abel/ 1.

In Akinori Yonf'zawa and 1Iario Tokoro, <'ditors, Objl'ct-Oriented Cmu .. u.r-rent Programming. pages 55 9. ThC' :\IIT Press, 19 7.

Index

A* search, 68 agent, 2

agent-meta-class, 75 bounded rationality, 2

class, 74

communication-strategy, 77

defagent, 81

Distributed Artificial Intelligence, 2 Distributed Hearsay-!!, 1

Distributed Problem Solving 3

Distributed Vehicle Monitoring Testbed, 10 ergodic process, 26

instance, 7 4

metaclass, 74

MetaObject Protocol, 74 Multi-Agent System, 3 NK-model, 23

objects, 7 4

Pursuit Problem, 13

shared object manag<'lllrllt. 6 . -!

Tra.vC'ling Sale s lllan ProblC'Hl, 53 utility of commnuicatiou, 22 virtual sharC'd memory, 4

109

110 INDEX

Y / 7f:/

7 L. Joint Symposium on Paralld Processing '90

,j.ifuj:jt ( f-J;..\Z

2 1r. 0 JJ)

oEB*cfft, f�IIJ�11� , •·!JE t

-1tftLt.:fo-t7-.0)�1:�.::.)�--:::5-<I"Ji,t,,j),��J'It-t7'JvC'<'Ilnht''.

·h'i fiB!1.£.m��ffiUcJt �

�m 7 �J-

₍

.,,�r&

1y. 7 n)

3.

Norihiko Yoshida. Shuji ^_ arazaki. ^·· A Cooperation and Conllnnniratio11 FraBH'\\'ork for Distributed Problem Solving", Proceedings of IEEE 2ud International CoufctTur<' Ou Tools For Artificial Intelligence(

·fLJ:&;

if.

)J)

7�(�RX:3�7 fJ)

5. mw�1�-, "7.l �rdJMW�i:k:O)

t.:

&>)

11 fltn10f�J:iftj�.ftRi�ll�", 11-+:

·; 7

� 7

.L 7

:.ry;:� 11, ·

'93

�ffil)c� I?

Jv-7-J.-

�.)

.:r.

/ � t t&UJ�M�

_{IIIJ (}

��

1f.

10 J J)

6.

Shuji Narazaki, ^_ orihiko Yo hicla, Hiroomi Yamamura, "Strategi<>s for Selecting Com-munication Structures in Cooperative Search", Iut<:>rnational Symposium on Fifth G<·u-eration Computer Systems 1994 Workshop on Heterog<:>u<'ous Coopenttivr I�nowl<'dg<'-Bases(�M 6

�

12 Jj)

7. �lll�H� , ")itfli.JJr"'�M�.::. 13 �t � tJVrf-O)ff.YM". B -4:

'J 7

r 7

.x. 7

14''{:�

_�L\CC94

,ffiu .>c1.t I-<

_Jv

-T

- :/

.:r. /

r t tb.b � �t.

_IV

J ( ·fL Jtx: 7 'tf 11 !1 )

111

112 INDEX

8. Shuji -:\araza.ki. �orihiko Yoshida. Hiroomi Yamamura.

··

trategiC's for Ph•rting Com-muniration Strurturrs in Cooprratin' S<:>arch ... IntC'ruatiomd .l ournaJ of oop('rat iH'

Iu-1.

��Hit-. t1itH� -EIS. 1i-llfilt"

-11!). Mil�� _. _..

�11(10ilhii�dl!.!:.l:lll.sd,£:/.A-1.L,

_IP _{E.T -II}

(_:J:) tt

� _{-r·- 7}B= EJU:r J\: �=

-J 1.' -c ··.

·i·,•p*�J:1H"f:

� Jui'I'I:Jz.

ifl�

k� (II({ .fll

63 1j'. 3

J J )

2. 1§"83�m, �W�11t=,

··1��

--1:f1tLt..:7·o-t7-.0)�1':�:E;:--:J< �lt>ilJI£1,��JIH-t7'Jt--_{.. .}

',lif·i·N'W im1�"f-:�1xrvJf�'1!,--

_cPsY89-19( t·J£;c'tr.

n)

3. �W�Hi�

r.dflff.C�,

··,if;_�IJt£1��P1fl-tT'Jv _CellulaO)'�JJ�

�

.�ffllli''.

II /f( ·; 7 � '7

7.fl?:;)�

@]*� ('f�Jl;:l'f

₁₀

Jl)

4.

Norihiko Yoshida, Shuji Narazaki.

'·A

Cooperation 1Iodrl Comp secl of ·Process+ Fidd' Amalgams", l}ft�Jnr�:O)-tT'Jv

�

J,l:.)l1J �=I�T �

11 !1i:. r;- 7 :/

:1 "; 7·

(

·n£;L;1f)

5. t�

W�11� _,

�nHE 3f

".Jill 1G' -+r- r:· .A

�c� 0) t..:

&')

�ll�tlX � �VJ f'n:

),�---5 < {;fz.fll d(rl) .flll _SSL".

�} ..J.O I ttl

·�¥!Bl!JI��r=KLk� (

·fJJY:

4 '�f 3 Ji)

COMP(�I�

₄

if

JJ)

�w�1��

:l}.i\83 �

, ··

.i!f!1A +r- I!

7-. �c.� 0) t..:

&')

j�IJ�fk � fUJ1'n.:

J�---5 < t:'f<.fll+1vn'.(,,�J'Il

ssL··. '!','J

¥1BLh�*�10f��RT!�· PRG( +P.X:

₄

:tr

8 FJ)

�w�H�

, 'i§"BHcm, ".k7;tHl?t�rtr¥PliUJ'rr�=.B�t�:TJ-ttxr�':.f�.x.-:>_x./ I,O)Jillf,\11�1111!". 11�

�7��_x.7#*��10�k�(�P.X:5�6H)

ドキュメント内協調探索における通信戦略の研究 (ページ 40-65)

Chapter 6

[

]

Acknowledgments

Bibliography

[

]

/

[

]

)

TT

[

s

D

Q

e

Mcta-LeY<"l

- O

L

'95 Confen'11Cr'

R

[

]

e

c

Object-

'92).

D

e

Publish<'rs n.

c

T

C

u

T

Ob

ct

e

t

Cocurrent Refiectiv

Fifth

C

N

e

N

j

w

?\I

v

e

a.

c

ic

c

e

v

m

s

a

<

m

c

v

<

Sp

e

u

/

p

u

O

y

c

A

c

..

-

.

Chapter ₆

Durfer, Toru Ishida. and I(azuhiro I\ uwabara. Dis

arazaki. A cooperation and comrmmicatiou fram<'

·h'i fiB!1.£.m��ffiUcJt �

��