A QUALITATIVE MODEL OF DYNAMIC SCENE ANALYSIS AND INTERPRETATION IN AMBIENT INTELLIGENCE SYSTEMS

M. Bhatt∗ and F. Dylla∗

References

  1. [1] B. Gottfried, H.W. Guesgen, & S. Hübner, Spatiotemporal reasoning for smart homes, in Designing smart homes, 2006, 16–34.
  2. [2] A. Galton, Causal reasoning for alert generation in smart homes, in Designing smart homes, 2006, 57–70.
  3. [3] A. Cohn & S. Hazarika, Qualitative spatial representation and reasoning: an overview, Fundamental Informatical Journal, 46(1–2), 2001, 1–29.
  4. [4] D.A. Randell, Z. Cui, & A. Cohn, A spatial logic based on regions and connection, KR’92, Morgan Kaufmann, California, USA, 1992, 165–176.
  5. [5] R. Moratz, Representing relative direction as a binary relation of oriented points, ECAI, Riva del Garda, Italy, 2006, 407–411.
  6. [6] J. McCarthy & P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, Meltzer and Michie, Machine Intelligence, 4, 1969, 463–502.
  7. [7] R. Reiter, Knowledge in action, (MIT Press, 2001).
  8. [8] C. Freksa, Qualitative spatial reasoning, in Cognitive and linguistic aspects of geographic space (Kluwer, Dordrecht, 1991), 361–372.
  9. [9] C. Freksa, Conceptual neighborhood and its role in temporal and spatial reasoning, Proc. IMACS Workshop on Decision Support Systems and Qualitative Reasoning, Amsterdam, 1991, 181–187.
  10. [10] J. Renz, R. Rauh, & M. Knauff, Towards cognitive adequacy of topological spatial relations, in Spatial cognition II, integrating abstract theories, empirical studies, formal methods, and practical applications, (Springer-Verlag, 2000), 184–197.
  11. [11] B.L. Clarke, A calculus of individuals based on “connection , Notre Dame Journal of Formal Logic, 22(3), 1991, 204–218.
  12. [12] F. Dylla & J.O. Wallgrün, Qualitative spatial reasoning with conceptual neighborhoods for agent control, Journal of Intelligent and Robotic Systems, 48(1), 2007, 55–78.
  13. [13] H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin, & R.B. Scherl, Golog: a logic programming language for dynamic domains, Journal of Logic Programming, 31(1–3), 1997, 59–83.
  14. [14] H. Grosskreutz & G. Lakemeyer, cc-Golog: towards more realistic logic-based robot controllers, NMR-00, 2000.
  15. [15] M. Bhatt & S. Loke, Modelling dynamic spatial systems in the situation calculus, Journal of Spatial Cognition and Computation, 8(1), 2008, 86–130.
  16. [16] F. Lin, Embracing causality in specifying the indirect effects of actions, IJCAI, 1995, 1985–1993.
  17. [17] F. Lin & R. Reiter, State constraints revisited, Journal of Logic and Computation, 4, 1994, 655–678.
  18. [18] J. McCarthy, Circumscription – a form of non-monotonic reasoning, Artificial Intelligence, 13(1–2), 1980, 27–39.
  19. [19] J. Andres Pinto, Temporal reasoning in the situation calculus, PhD thesis, University of Toronto, 1994.
  20. [20] M. Shanahan, Solving the frame problem: a mathematical investigation of the common sense law of inertia, (MIT Press, 1997). 243

Important Links:

Go Back