TeMAS–a multi-agent system for temporally rich domains

Knowledge and Information Systems - Tập 15 Số 1 - Trang 1-30 - 2008
Ribarić, Slobodan1, Hrkać, Tomislav1
1Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia

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