Model-based default refinement of partial information within an ambient agent

Communications in Computer and Information Science

Volumn 11, Issue , 2008, Pages 34-43

  Both, Fiemke ^a   Gerritsen, Charlotte ^a   Hoogendoorn, Mark ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AMBIENT INTELLIGENCE; ARTIFICIAL INTELLIGENCE;

DEFAULT EXTENSION; DEFAULT REASONING; DYNAMIC RELATION; GENERIC MODELING; MODEL REPRESENTATION; MODEL-BASED OPC; PARTIAL INFORMATION; REASONING METHODS;

IODINE COMPOUNDS;

EID: 70349176334     PISSN: 18650929     EISSN: 18650937     Source Type: Book Series    
DOI: 10.1007/978-3-540-85379-4_5     Document Type: Conference Paper

References (25)

1. Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.): EUSAI 2003. LNCS, vol. 2875, p. 432. Springer, Heidelberg (2003)
2. Aarts, E., Harwig, R., Schuurmans, M.: Ambient Intelligence. In: Denning, P. (ed.) The Invisible Future, pp. 235–250. McGraw Hill, New York (2001)
3. Bosse, T., Hoogendoorn, M., Jonker, C.M., Treur, J.: A Formal Empirical Analysis Method for Human Reasoning and Interpretation. In: Lewis, R., Polk, T. (eds.) Proceedings of the 8th International Conference on Cognitive Modeling, ICCM 2007, pp. 241–246. Taylor & Francis, Abington (2007)
4. Bosse, T., Jonker, C.M., Treur, J.: Formalization and Analysis of Reasoning by Assumption. Cognitive Science Journal 30(1), 147–180 (2006)
5. Bosse, T., Jonker, C.M., van der, L., Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. International Journal of Artificial Intelligence Tools 16, 435– 464 (2007)
6. Bosse, T., Treur, J.: Modelling Dynamics of Cognitive Agents by Higher-Order Potentialities. In: Stone, P., Weiss, G. (eds.) Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006, vol. 2006, pp. 117–119. ACM Press, New York (2006)
7. Bosse, T., Treur, J.: Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modelling Methods. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 262–267. AAAI Press, Menlo Park (2007)
8. Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol. 838, pp. 247–260. Springer, Heidelberg (1994)
9. Brewka, G., Eiter, T.: Prioritizing Default Logic: Abridged Report. In: Festschrift on the occasion of Prof.Dr. W. Bibel’s 60th birthday, Kluwer, Dordrecht (1999)
10. Engelfriet, J., Herre, H., Treur, J.: Nonmonotonic Reasoning with Multiple Belief Sets. Annals of Mathematics and Artificial Intelligence 24, 225–248 (1998)
11. Engelfriet, J., Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11, 195– 225 (2002)
12. Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5, 239–261 (1995)
13. Engelfriet, J., Treur, J.: An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. J. of Logic, Language and Information 7, 369–388 (1998)
14. Engelfriet, J., Treur, J.: Specification of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics 10, 7–27 (2000)
15. Engelfriet, J., Treur, J.: Multi-Interpretation Operators and Approximate Classification. Int. Journal of Approximate Reasoning 32, 43–61 (2003)
16. Galton, A.: Causal Reasoning for Alert Generation in Smart Homes. In: Augusto, J.C., Nugent, C.D. (eds.) Designing Smart Homes. LNCS (LNAI), vol. 4008, pp. 57–70. Springer, Heidelberg (2006)
17. Marek, V.W., Truszczynski, M.: Nonmonotonic Logics. Springer, Heidelberg (1993)
18. Marek, V.W., Treur, J., Truszczynski, M.: Representation Theory for Default Logic. Annals of Mathematics and AI 21, 343–358 (1997)
19. Niemelä, I., Simons, P., Syrjänen, T.: Smodels: a system for answer set programming. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA (April 2000)
20. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
21. Riva, G., Vatalaro, F., Davide, F., Alcañiz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)
22. Schmidt, A.: Interactive Context-Aware Systems - Interacting with Ambient Intelligence. In: Riva, G., Vatalaro, F., Davide, F., Alcañiz, M. (eds.) Ambient Intelligence, pp. 159– 178. IOS Press, Amsterdam (2005)
23. Schmidt, A., Beigl, M., Gellersen, H.W.: There is more to Context than Location. Computers & Graphics Journal 23,19, 893–902 (1999)
24. Schmidt, A., Kortuem, G., Morse, D., Dey, A. (eds.): Situated Interaction and Context-Aware Computing, Personal and Ubiquitous Computing, vol. 5, pp. 1–81 (2001)
25. Tan, Y.H., Treur, J.: Constructive Default Logic and the Control of Defeasible Reasoning. In: Neumann, B. (ed.) Proc. ECAI 1992, pp. 299–303. Wiley and Sons, Chichester (1992)