A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets

Information Systems

Volumn 37, Issue 3, 2012, Pages 238-256

  Ribaric, Slobodan ^a   Hrkac, Tomislav ^a  

^a UNIVERSITY OF ZAGREB   (Croatia)

Author keywords

Fuzziness; High level Petri nets; Knowledge representation; Multi agent systems; Spatio temporal reasoning

Indexed keywords

APPLICATION AREA; DATA-DRIVEN; DYNAMICAL PROPERTIES; FUZZINESS; HIGH-LEVEL PETRI NETS; ILLUSTRATIVE EXAMPLES; KNOWLEDGE BASE; KNOWLEDGE REPRESENTATION AND REASONING; MULTIPLE MOVING OBJECTS; ROBOT SOCCER; SPATIO-TEMPORAL; SPATIO-TEMPORAL REASONING; SPATIO-TEMPORAL RELATIONS; SPATIO-TEMPORAL RELATIONSHIPS;

INTELLIGENT AGENTS; INTELLIGENT SYSTEMS; KNOWLEDGE BASED SYSTEMS; MULTI AGENT SYSTEMS; PETRI NETS; REAL TIME SYSTEMS;

KNOWLEDGE REPRESENTATION;

EID: 84855449345     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2011.09.010     Document Type: Article

References (56)

1. F. Wolter, and M. Zakharyaschev Qualitative Spatiotemporal Representation and Reasoning: A Computational Perspective 2003 Morgan Kaufmann Amsterdam pp. 175215
2. K. Hornsby, and M. Egenhofer Identity-based change: a foundation for spatio-temporal knowledge representation International Journal of Geographical Information Science 14 3 2000 207 224 (Pubitemid 30208835)
3. M. Erwig, and M. Schneider Spatio-temporal predicates IEEE Transactions on Knowledge and Data Engineering 14 4 2002 881 901
4. N. Van de Weghe, A.G. Cohn, P. de Maeyer, and F. Witlox Representing moving objects in computer-based expert systems: the overtake event example Expert Systems with Applications 29 2005 977 983 (Pubitemid 41394467)
5. N. Van de Weghe, A.G. Cohn, G. de Tre, and P. de Maeyer A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems Control and Cybernetics 35 1 2006 97 120
6. B. Bennett, D.R. Magee, A.G. Cohn, and D.C. Hogg Using spatio-temporal continuity constraints to enhance visual tracking of moving objects L.S.R.L. de Mántaras, 16th European Conference on Artificial Intelligence (ECAI 2004) 2004 922 926
7. B. Bennett, D. Magee, A. Cohn, and D. Hogg Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity Image and Vision Computing 26 1 2008 67 81 (Pubitemid 350051534)
8. A. Del Bimbo, E. Vicario, and D. Zingoni Symbolic description and visual querying of image sequences using spatio-temporal logic IEEE Transactions on Knowledge and Data Engineering 7 4 1995 609 621
9. J. Fernyhough, A.G. Cohn, and D.C. Hogg Constructing qualitative event models automatically from video input Image and Vision Computing 18 2 2000 81 103 (Pubitemid 30526185)
10. G. Jeon, J. Jeong, J. Lee, J. You, and C. Wu A spatio-temporal fuzzy interpolation algorithm for video deinterlacing IEEE International Conference on Image Processing 2006 1789 1792
11. X. Lan, and D.P. Huttenlocher A unified spatio-temporal articulated model for tracking IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR04) 2004 722 729
12. P. Matsakis, J. Keller, L. Wendling, J. Marjamaa, and O. Sjahputera Linguistic description of relative positions in images IEEE Transactions on Systems, Man and Cybernetics, Part B 31 4 2001 573 588 (Pubitemid 32780089)
13. C.-B. Shim, and Y.-W. Shin Spatio-temporal modeling of moving objects for content- and semantic-based retrieval in video data R. Khosla, R.J. Howlett, L.C. Jain, 9th International Conference on Knowledge-Based Intelligent Information & Engineering Systems, Lecture Notes in Artificial Intelligence vol. 3684 2005 Springer 343 351 (Pubitemid 43936311)
14. K. Walker, and A.C. Esterline Fuzzy motion planning using the TakagiSugeno method Proceedings of the IEEE Southeastcon 2000 2000 56 59
15. W. Al-Khatib, Y.F. Day, A. Ghafoor, and P.B. Berra Semantic modeling and knowledge representation in multimedia databases IEEE Transactions on Knowledge and Data Engineering 11 1 1999 64 80
16. S.-C. Chen, and R. Kashyap A spatio-temporal semantic model for multimedia database systems and multimedia information systems IEEE Transactions on Knowledge and Data Engineering 13 4 2001 607 622 (Pubitemid 32828745)
17. P.-Y. Hsu, Y.-B. Chang, and Y.-L. Chen Strpn: a Petri-net approach for modeling spatial-temporal relations between moving multimedia objects IEEE Transactions on Software Engineering 29 1 2003 63 76
18. M. Vazirgiannis, Y. Theodoridis, and T. Sellis Spatio-temporal composition and indexing for large multimedia applications Multimedia Systems 6 1998 284 298 (Pubitemid 128601606)
19. S. Dragicevic, and D.J. Marceau An application of fuzzy logic reasoning for GIS temporal modeling of dynamic processes Fuzzy Sets and Systems 113 2000 69 80
20. Z. Yin A multi-scale GIS database model based on Petri net J. Jiang, ISPRS Workshop on Service and Application of Spatial Data Infrastructure 2005 271 275
21. P. Fisher, T. Cheng, and J. Wood Higher order vagueness in geographical information: empirical geographical population of type n fuzzy sets Geoinformatica 11 2007 311 330 (Pubitemid 47261289)
22. E. Guilbert, and H. Lin A new model for cloud tracking and analysis on satellite images Geoinformatica 11 2007 287 309 (Pubitemid 47261288)
23. S. Schockaert, and M. De Cock Reasoning about vague topological information 16th ACM Conference on Information and Knowledge Management 2007 593 602
24. A.G. Cohn, and S.M. Hazarika Qualitative spatial representation and reasoning: an overview Fundamenta Informaticae 43 2001 2 32
25. L.A. Zadeh Fuzzy sets Information and Control 8 1965 338 353
26. D. Dubois, and H. Prade Processing fuzzy temporal knowledge IEEE Transactions on Systems, Man and Cybernetics 19 4 1989 729 744 (Pubitemid 20617739)
27. A.G. Cohn, and N.M. Gotts The 'egg-yolk' representation of regions with indeterminate boundaries P. Borrough, A.M. Franl, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries 1996 171 187
28. J. Ferber Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence 1999 Addison Wesley Reading, Massatchusetts
29. G. Weiss Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence 2000 The MIT Press Cambridge, Massatchusetts
30. V. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan, and R. Ross Heterogeneous Agent Systems 2000 The MIT Press Cambridge, Massatchusetts
31. B. Bennett, A. Cohn, F. Wolter, and M. Zakharyaschev Multi-dimensional modal logic as a framework for spatio-temporal reasoning Applied Intelligence 17 3 2002 239 251 (Pubitemid 35227963)
32. M. Ragni, and S. Wölfl Temporalizing cardinal directions: from constraint satisfaction to planning J.M.P. Doherty, Knowledge Representation Conference (KR 2006) 2006 472 480
33. N. Van de Weghe, B. Kuijpers, P. Bogaert, and P.D. Maeyer A qualitative trajectory calculus and the composition of its relations A. Rodriguez, I. Cruz, M. Egenhofer, S. Levashkin, 1st International Conference on Geospatial Semantics (GeoS), Lecture Notes in Computer Science vol. 3799 2005 Springer 60 76 (Pubitemid 43775038)
34. N. Van de Weghe, G.D. Tre, B. Kuijpers, and P.D. Maeyer The double-cross and the generalization concept as a basis for representing and comparing shapes of polylines E. Zimanyi, E. Stefanakis, 1st International Workshop on Semantic-Based Geographical Information Systems (SeBGIS), Lecture Notes in Computer Science vol. 3770 2005 Springer 1087 1096 (Pubitemid 43735285)
35. A. Gomaa, N. Adam, and V. Atluri Color time Petri net for interactive adaptive multimedia objects Y.-P.P. Chen, 11th International Multimedia Modelling Conference (MMM05) 2005 IEEE Press 147 157
36. K. Jensen An introduction to the theoretical aspects of coloured Petri nets Lecture Notes in Computer Science vol. 803 1994 Springer 230 272
37. K. Jensen A brief introduction to coloured Petri nets E. Brinksma, TACA97 Workshop: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science vol. 1217 1997 Springer 203 208 (Pubitemid 127053061)
38. K. Jensen An introduction to the practical use of coloured Petri nets Lecture Notes in Computer Science vol. 1492 1998 Springer 237 292
39. J.L. Peterson Petri Net Theory and Modeling of Systems 1981 Prentice Hall Englewood Cliffs
40. S. Ribarić, and T. Hrkać A knowledge representation and reasoning based on Petri nets with spatio-temporal tokens International Conference on Computer As a Tool, EUROCON 2007 2007 793 800
41. M. Koprulu, N.K. Cicekli, and A. Yazici Spatio-temporal querying in video databases Information Science 160 14 2004 131 152
42. O. Sjahputera, P. Matsakis, J. Keller, and R. Bondugula Linguistic descriptions of an object in motion 2002 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS 2002) 2002 243 248
43. R.E.O. Schultz, T.M. Centeno, and M.R. Delgado Spatio-temporal prediction by means of fuzzy rule-based approach 2006 IEEE International Conference on Fuzzy Systems 2006 1271 1278 (Pubitemid 46948916)
44. M.-C. Su A fuzzy rule-based approach to spatio-temporal hand gesture recognition IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews 30 2 2000 276 281
45. S. Zaboli, S. Naderi, and A.M.E. Moghaddam Application of image mining for knowledge discovery of analyzed traffic images IEEE International Conference on Industrial Technology (ICIT 2006) 2006 1066 1070
46. G. Ligozat Reasoning about cardinal directions Journal of Visual Languages and Computing 9 1998 23 44 (Pubitemid 128180580)
47. J. Allen Maintaining knowledge about temporal intervals Communications of the ACM 26 11 1983 832 843
48. C. De Runz, E. Desjardin, E. Piantoni, and M. Herbin Using fuzzy logic to manage uncertain multi-modal data in an archaeological GIS 5th International Symposium on Spatial Data Quality 2007 114 119
49. A. Kaufmann, and M. Gupta Introduction to Fuzzy Arithmetic 1991 Van Nostrand Reinhold New York
50. S-M. Chen, J.-S. Ke, and J.-F. Chang Knowledge representation using fuzzy Petri nets IEEE Transactions on Knowledge and Data Engineering 2 3 1990 311 319
51. S. Ribarić, and T. Hrkać TeMAS - a multi-agent system for temporally rich domains Knowledge and Information Systems 15 1 2008 1 30
52. G. Nagypál, and B. Motik A fuzzy model for representing uncertain, subjective and vague temporal knowledge in ontologies International Conference on Ontologies, Databases and Application of Semantics (ODBASE) 2003, Lecture Notes in Computer Science vol. 2888 2003 Springer 906 923
53. D. Dubois, and H. Prade Fuzzy Sets and Systems, Theory and Applications 1980 Academic Press New York
54. D. Papadias, and Y. Theodoridis Spatial relations, minimum bounding rectangles, and spatial data structures International Journal on Geographic Information Systems 11 2 1997 111 138
55. D.A. Randell, Z. Cui, and A. Cohn A spatial logic based on regions and connection B. Nebel, C. Rich, W. Swartout, The 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR92) 1992 Morgan Kaufmann San Mateo, California 165 176 〈 citeseer.ist.psu.edu/randell92spatial.html 〉
56. W. Reisig A Primer in Petri Net Design 1992 Springer Verlag Berlin