TeMAS–a multi-agent system for temporally rich domains
Tóm tắt
In this paper, we present the model and simulator of a multi-agent system (MAS) for temporally rich domains. The theoretical foundations of the model include a knowledge representation scheme based on an original modification of Petri nets, called Petri nets with time tokens (PNTTs), as well as temporal reasoning based on the extension of Allen's temporal logic. The proposed MAS, called TeMAS, has a hierarchical structure, consisting of different levels, where each level contains clusters of agents. A paradigm of hierarchically organized blackboards is used for the communication among agents, clusters, as well as levels. We describe an object-oriented implementation of a program simulator of TeMAS and give an example of the use of the simulator for interpretation of events in a dynamic scene.
Tài liệu tham khảo
citation_journal_title=KnowlInf Syst; citation_title=Agent models anddifferent user ontologies for an electronic market place; citation_author=M Albers, CM Jonker, M Karami, J Treur; citation_volume=6; citation_issue=1; citation_publication_date=2004; citation_pages=1-41; citation_doi=10.1007/s10115-002-0092-3; citation_id=CR1
citation_journal_title=Commun ACM; citation_title=Maintaining knowledge about temporal intervals; citation_author=JF Allen; citation_volume=26; citation_issue=11; citation_publication_date=1983; citation_pages=832-843; citation_doi=10.1145/182.358434; citation_id=CR2
citation_journal_title=KnowlInf Syst; citation_title=Temporal defeasible reasoning; citation_author=JC Augusto, GR Simari; citation_volume=3; citation_issue=3; citation_publication_date=2001; citation_pages=287-318; citation_doi=10.1007/PL00011670; citation_id=CR3
4. Balan GC, Cioffi-Revilla C, Luke S, Panait L, Paus S (2003) MASON:a Java multi-agent simulation library. In: Proceedings of agent2003 conference on challenges in social simulation, Chicago, IL3–4 October 2003
citation_journal_title=AiCommunications; citation_title=Temporal reasoningin REAKT (an environment for real-time knowledge-based systems); citation_author=F Barber, F Botti, E Onaindia, A Crespo; citation_volume=7; citation_issue=3; citation_publication_date=1994; citation_pages=175-202; citation_id=CR5
citation_journal_title=Proc IEEE; citation_title=Computational vision; citation_author=HG Barrow, JM Tenenbaum; citation_volume=69; citation_issue=5; citation_publication_date=1981; citation_pages=72-579; citation_id=CR6
citation_title=The unified modelinglanguage user guide; citation_publication_date=1999; citation_id=CR7; citation_author=G Booch; citation_author=J Rumbaugh; citation_author=I Jacobson; citation_publisher=Addison-Wesley
8. Bruns G, Mossinger P, Polani D, Schmitt R, Spalt R, Uthman T,Weber S (2003) A simulation environment for continous virtualmulti-agent systems, user manual.
http://www.informatik.uni-mainz.de/~polani/XRaptor/XRaptor_7_3_8a/XRaptor_User_Manual-7.3.8a.pdf
citation_journal_title=Artif Intell; citation_title=Qualitative simulation of temporalconcurrent processes using time interval Petri nets; citation_author=V Bulitko, DC Wilkins; citation_volume=144; citation_publication_date=2003; citation_pages=95-124; citation_doi=10.1016/S0004-3702(02)00369-7; citation_id=CR9
citation_title=Time fuzzy Petri nets; citation_inbook_title=Fuzziness in Petri nets; citation_publication_date=1999; citation_pages=115-145; citation_id=CR10; citation_author=J Cardoso; citation_publisher=Springer-Verlag
11. Collier N (2001) RePast: an extensible framework for agentsimulation.
http://www.econ.iastate.edu/tesfatsi/RepastTutorial.Collier.pdf
citation_journal_title=ArtifIntell; citation_title=Temporal data base management; citation_author=TL Dean, DV McDermott; citation_volume=32; citation_publication_date=1987; citation_pages=1-55; citation_id=CR12
citation_journal_title=Artif Intell; citation_title=Temporal constraint network; citation_author=R Decther, I Meiri, J Pearl; citation_volume=49; citation_publication_date=1991; citation_pages=61-69; citation_doi=10.1016/0004-3702(91)90006-6; citation_id=CR13
citation_journal_title=IEEETrans Syst Man Cybernet; citation_title=Processing fuzzy temporal knowledge; citation_author=D Dubois, H Prade; citation_volume=19; citation_issue=4; citation_publication_date=1989; citation_pages=729-744; citation_doi=10.1109/21.35337; citation_id=CR14
citation_title=Multi-agent systems: an introduction todistributed artificial intelligence; citation_publication_date=1999; citation_id=CR15; citation_author=J Ferber; citation_publisher=Addison-Wesley
citation_journal_title=KnowlInf Syst; citation_title=Agents in e-commerce: state of the art; citation_author=M He, H Leung; citation_volume=4; citation_issue=3; citation_publication_date=2002; citation_pages=257-282; citation_doi=10.1007/s101150200007; citation_id=CR16
17. Helleboogh A, Holvoet T, Weyns D (2004) Time managementadaptability in multi-agent systems. In: Proceedings of the fourthsymposium on adaptive agents and multi-agent systems at the AISB′04 convention, Leeds, UK, 29–30 March 2004, pp 20–29
citation_title=Coloured Petri nets; citation_inbook_title=Lecture notes in computerscience, vol 254; citation_publication_date=1987; citation_pages=248-299; citation_id=CR18; citation_author=K Jensen; citation_publisher=Springer-Verlag
citation_title=Coloured Petri nets; citation_publication_date=1997; citation_id=CR19; citation_author=K Jensen; citation_publisher=Springer-Verlag
citation_journal_title=IEEE Trans Syst Man Cybernet B; citation_title=Temporalknowledge representation and reasoning techniques using time Petrinets; citation_author=W-T Jong, Y-S Shiau, Y-J Horng, H-H Chen, S-M Chen; citation_volume=29; citation_issue=4; citation_publication_date=1999; citation_pages=541-545; citation_doi=10.1109/3477.775271; citation_id=CR20
citation_journal_title=Knowl Inf Syst; citation_title=Agent-based infrastructure and anapplication to internet information gathering; citation_author=SH Jou, SJ Kao; citation_volume=4; citation_issue=4; citation_publication_date=2002; citation_pages=80-95; citation_doi=10.1007/s10115-002-8194-5; citation_id=CR21
citation_journal_title=ArtifIntell; citation_title=Mechanizing temporal knowledge; citation_author=K Kahn, GA Gorry; citation_volume=9; citation_publication_date=1977; citation_pages=87-108; citation_id=CR22
citation_title=BREVE: a 3D environment for the simulation ofdecentralized systems and artificial life; citation_inbook_title=Proceedings ofartificial life VIII, the 8th international conference on thesimulation and synthesis of living systems, Wales, Sydney,Australia; citation_publication_date=2002; citation_pages=329-334; citation_id=CR23; citation_author=J Klein; citation_publisher=The MIT Press
24. Klugl F, Puppe F (1998) The multi-agent simulation environmentSeSAm. Paper presented at workshop simulation in knowledge-basedsystems, Paderborn, Germany.
http://ki.informatik.uni-wuerzburg.de/~kluegl/pubs/1998/kluegl\_puppe\_SiWis98.pdf
25. Le Page C, Bousquet F (2000) CORMAS: a multiagent simulationtoolkit to model natural and social dynamics at multiple scales.Paper presented at workshop the “ecology of scales”, Wageningen.
http://cormas.cirad.fr/pdf/cormasw.pdf
26. Lison M (2002) Deformation parameters in dynamic eventrecognition. In: Proceedings of the third international workshopon robot motion and control, RoMoCo ′02, Bukowy, Poland. pp 325–330
citation_journal_title=IEEE Trans PAMI; citation_title=Adaptive image segmentation with distributedbehaviour-based agents; citation_author=J Liu, YY Tang; citation_volume=21; citation_issue=6; citation_publication_date=1999; citation_pages=544-551; citation_id=CR27
citation_journal_title=Proc IEEE; citation_title=The distributed simulation ofmultiagent systems; citation_author=B Logan, G Theodoropoulos; citation_volume=89; citation_issue=2; citation_publication_date=2001; citation_pages=174-185; citation_doi=10.1109/5.910853; citation_id=CR28
citation_journal_title=IEEEIntell Syst; citation_title=Getting humanoids to move and imitate; citation_author=MJ Matarić; citation_volume=15; citation_issue=4; citation_publication_date=2000; citation_pages=18-24; citation_doi=10.1109/5254.867908; citation_id=CR29
citation_journal_title=J Cogn Syst Res; citation_title=Learning in behavior-based multi-robotsystems: policies, models and other agents; citation_author=MJ Matarić; citation_volume=2; citation_issue=1; citation_publication_date=2001; citation_pages=81-93; citation_doi=10.1016/S1389-0417(01)00017-1; citation_id=CR30
citation_title=Some philosophical problems from thestandpoint of artificial intelligence; citation_inbook_title=Machine intelligence, vol 4; citation_publication_date=1969; citation_pages=463-502; citation_id=CR31; citation_author=J McCharty; citation_author=PJ Hayes; citation_publisher=Edinburgh University Press
32. Meimei G, Xiaoguang H, Zhiming W (2000) Linear logic as a tool forpresentation and temporal reasoning of time Petri nets. In:Proceedings of the American control conference, Chicago, pp3177–3181
citation_journal_title=IEEE Trans Commun; citation_title=A methodology for the design and implementation ofcommunication protocols; citation_author=P Merlin; citation_volume=24; citation_issue=6; citation_publication_date=1976; citation_pages=614-621; citation_doi=10.1109/TCOM.1976.1093347; citation_id=CR33
citation_title=Theory of multi-levelhierarchical systems; citation_publication_date=1970; citation_id=CR34; citation_author=MD Mesarovic; citation_author=D Macko; citation_author=Y Takahara; citation_publisher=Academic Press
35. Minar N, Burkhart R, Langton C, Askenazi M (1996) The swarmsimulation system: a toolkit for building multi-agent simulations.Santa Fe Institute Working Paper 96-06-042
citation_title=Fuzzy-timing high-level petrinets (FTHNs) for time-critical systems; citation_inbook_title=Fuzziness in Petri nets; citation_publication_date=1999; citation_pages=88-114; citation_id=CR36; citation_author=T Murata; citation_author=T Suzuki; citation_author=SM Shatz; citation_publisher=Springer-Verlag
citation_title=Vision science; citation_publication_date=1999; citation_id=CR37; citation_author=SE Palmer; citation_publisher=The MIT Press
citation_journal_title=Proc IEEE; citation_title=A formal logic of plans in temporallyrich domains; citation_author=R Pelavin, JF Allen; citation_volume=74; citation_issue=10; citation_publication_date=1986; citation_pages=1364-1382; citation_doi=10.1109/PROC.1986.13638; citation_id=CR38
citation_title=Petri net theory and modeling of systems; citation_publication_date=1981; citation_id=CR39; citation_author=JL Peterson; citation_publisher=Prentice-Hall
citation_title=A primer in petri net design; citation_publication_date=1992; citation_id=CR40; citation_author=W Reisig; citation_publisher=Springer-Verlag
citation_journal_title=Image Vis Comput; citation_title=Multi-agent vision surveillanceof dynamic scenes; citation_author=P Remagnino, T Tan, K Baker; citation_volume=16; citation_issue=8; citation_publication_date=1998; citation_pages=529-532; citation_doi=10.1016/S0262-8856(98)00099-7; citation_id=CR41
citation_title=Turtles, termites and traffic jams: explorationsin massively parallel microworlds; citation_publication_date=1997; citation_id=CR42; citation_author=M Resnick; citation_publisher=The MIT Press
citation_title=Temporal knowledge representation andreasoning model for temporally rich domains; citation_inbook_title=Lecture notes incomputer science: knowledge-based intelligent information andengineering systems, vol 3682; citation_publication_date=2005; citation_pages=430-436; citation_id=CR43; citation_author=S Ribarić; citation_publisher=Springer-Verlag
citation_journal_title=Proc Inf Process Manage Uncertain Knowl Based Syst; citation_title=Object-oriented implementation of a model for fuzzy temporalreasoning; citation_author=S Ribarić, B Dalbelo-Bašić, D Tomac; citation_volume=2; citation_publication_date=2000; citation_pages=1247-1253; citation_id=CR44
45. Ribarić S, Hrkać T (2003) Object-oriented simulator ofmulti-agent system for temporally rich domains. In: Proceedings ofthe 25th international conference on information technologyinterfaces, ITI 2003, Cavtat, Croatia, pp 397–402
citation_journal_title=IEEE Intell Syst; citation_title=Self-reconfiguring robots; citation_author=D Rus; citation_volume=13; citation_issue=4; citation_publication_date=1998; citation_pages=2-4; citation_doi=10.1109/5254.708423; citation_id=CR46
citation_title=Artificial intelligence, a modernapproach; citation_publication_date=1995; citation_id=CR47; citation_author=SJ Russell; citation_author=P Norvig; citation_publisher=Prentice-Hall
citation_title=Heterogeneous agent systems; citation_publication_date=2000; citation_id=CR48; citation_author=VS Subrahmanian; citation_author=P Bonatti; citation_author=J Dix; citation_author=T Eiter; citation_author=S Kraus; citation_author=F Ozcan; citation_author=R Ross; citation_publisher=MIT Press
citation_journal_title=IEEETrans Comput; citation_title=Temporal petri nets and their application tomodeling and analysis of a handshake daisy chain arbiter; citation_author=I Suzuki, H Lu; citation_volume=38; citation_issue=5; citation_publication_date=1989; citation_pages=696-704; citation_doi=10.1109/12.24271; citation_id=CR49
50. Stavroulakis S, Callaghan V, Spacek L (2000) A multi-agentapproach to machine vision. Paper presented at EXPO 2000: shapingthe future, Hanover, Germany.
http://www.shaping-the-future.de/pdf\_www/051\_paper.pdf
citation_journal_title=IEEE Trans Syst Man Cybern A Syst Hum; citation_title=Biotope: anintegrated framework for simulating distributed multiagentcomputational systems; citation_author=AL Symeonidis, E Valtos, S Seroglou, PA Mitkas; citation_volume=35; citation_issue=3; citation_publication_date=2005; citation_pages=420-432; citation_doi=10.1109/TSMCA.2005.846406; citation_id=CR51
citation_title=An agent infrastructure tobuild and evaluate multi-agent systems: the Java agent frameworkand multi-agent system simulator; citation_inbook_title=Lecture notes in artificialintelligence: infrastructure for agents, multi-agent systems andscalable multi-agent systems, vol 1887; citation_publication_date=2001; citation_pages=102-127; citation_id=CR52; citation_author=R Vincent; citation_author=B Horling; citation_author=V Lesser; citation_publisher=Springer-Verlag
citation_journal_title=IEEE Proc Vis Image SignalProcess; citation_title=Fast method for face location and trackingby distributed behaviour based agents; citation_author=Y Wang, B Yuan; citation_volume=149; citation_issue=3; citation_publication_date=2002; citation_pages=173-178; citation_doi=10.1049/ip-vis:20020395; citation_id=CR53
citation_title=Multi-agent systems: a modern approach todistributed artificial intelligence; citation_publication_date=1999; citation_id=CR54; citation_author=G Weiss; citation_publisher=MIT Press
55. Weyns D, Holvoet T (2002) A Colored petri net for a multi-agentapplication. In: Proceedings of modeling objects, components andagents, Arhaus, Denmark, pp 121–140
56. Weyns D, Holvoet T (2004) A colored petri net for regionalsynchronization in situated multi-agent systems. In: Proceedingsof the first international workshop on petri nets and coordination(PNC 04), Bologna, Italy, pp 65–85
citation_title=An introduction to multiagent systems; citation_publication_date=2002; citation_id=CR57; citation_author=M Wooldridge; citation_publisher=Wiley
58. Yong T, Na T, XiaoPing Y, ZhiSheng F, Wei X (2003) An unifiedmodel of temporal knowledge and temporal data. In: Proceedings ofthe 8th international conference on computer-supported cooperativework in design, Xiamen, China, pp 711–713
59. Zaidi AK, Rizvi KH, Hussain SS (2003) On spatial modeling ofdiscrete event systems using point-interval logic. In: Proceedingsof the second international conference on machine learning andcybernetics, Xian, pp 1699–1704