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¨ubner, Spatiotemporalreasoning for smart homes, in Designing smart homes, 2006,16–34.
  2. [2] A. Galton, Causal reasoning for alert generation in smarthomes, in Designing smart homes, 2006, 57–70.
  3. [3] A. Cohn & S. Hazarika, Qualitative spatial representation andreasoning: an overview, Fundamental Informatical Journal,46(1–2), 2001, 1–29.
  4. [4] D.A. Randell, Z. Cui, & A. Cohn, A spatial logic based onregions and connection, KR’92, Morgan Kaufmann, California,USA, 1992, 165–176.
  5. [5] R. Moratz, Representing relative direction as a binary relationof oriented points, ECAI, Riva del Garda, Italy, 2006, 407–411.
  6. [6] J. McCarthy & P.J. Hayes, Some philosophical problems fromthe 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 andlinguistic aspects of geographic space (Kluwer, Dordrecht,1991), 361–372.
  9. [9] C. Freksa, Conceptual neighborhood and its role in temporaland spatial reasoning, Proc. IMACS Workshop on DecisionSupport Systems and Qualitative Reasoning, Amsterdam, 1991,181–187.
  10. [10] J. Renz, R. Rauh, & M. Knauff, Towards cognitive adequacyof topological spatial relations, in Spatial cognition II, inte-grating 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¨un, Qualitative spatial reasoning withconceptual neighborhoods for agent control, Journal of Intel-ligent and Robotic Systems, 48(1), 2007, 55–78.
  13. [13] H.J. Levesque, R. Reiter, Y. Lesp´erance, 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 morerealistic logic-based robot controllers, NMR-00, 2000.
  15. [15] M. Bhatt & S. Loke, Modelling dynamic spatial systemsin the situation calculus, Journal of Spatial Cognition andComputation, 8(1), 2008, 86–130.
  16. [16] F. Lin, Embracing causality in specifying the indirect effectsof actions, IJCAI, 1995, 1985–1993.
  17. [17] F. Lin & R. Reiter, State constraints revisited, Journal ofLogic and Computation, 4, 1994, 655–678.
  18. [18] J. McCarthy, Circumscription – a form of non-monotonicreasoning, 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 mathematicalinvestigation of the common sense law of inertia, (MIT Press,1997).243

Important Links:

Go Back