Skip to main content

2017 | OriginalPaper | Buchkapitel

LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions

verfasst von : Max Schröder, Stefan Lüdtke, Sebastian Bader, Frank Krüger, Thomas Kirste

Erschienen in: KI 2017: Advances in Artificial Intelligence

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Maintaining the a-posteriori distribution of categorical states given a sequence of noisy and ambiguous observations, e.g. sensor data, can lead to situations where one observation can correspond to a large number of different states. We call these states symmetrical as they cannot be distinguished given the observation. Considering each of them during the inference is computationally infeasible, even for small scenarios. However, the number of situations (called hypotheses) can be reduced by abstracting from particular ones and representing all symmetrical in a single abstract state. We propose a novel Bayesian Filtering algorithm that performs this abstraction. The algorithm that we call Lifted Marginal Filtering (LiMa) is inspired by Lifted Inference and combines techniques known from Computational State Space Models and Multiset Rewriting Systems to perform efficient sequential inference on a parametric multiset state description. We demonstrate that our approach is working by comparing LiMa with conventional filtering.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
We use the term density to refer to densities over continuous domains as well as probability distributions over finite domains.
 
2
A multiset over some set S is defined as a partial map from S to \(\mathbb {N}\). We use \([\![\, n_1s_1,n_2s_s,n_3s_3 \,]\!]\) to denote the multiset containing \(s_1,s_2\) and \(s_3\) with the corresponding cardinalities. We use \(\mathcal {M}(S)\) to refer to the set of all multisets over S.
 
Literatur
1.
Zurück zum Zitat Ahmadi, B., Kersting, K., Sanner, S.: Multi-evidence lifted message passing, with application to pagerank and the kalman filter. In: Proceedings-International Joint Conference on Artificial Intelligence, p. 1152 (2011) Ahmadi, B., Kersting, K., Sanner, S.: Multi-evidence lifted message passing, with application to pagerank and the kalman filter. In: Proceedings-International Joint Conference on Artificial Intelligence, p. 1152 (2011)
2.
Zurück zum Zitat Baker, C.L., Saxe, R., Tenenbaum, J.B.: Action understanding as inverse planning. Cognition 113(3), 329–349 (2009)CrossRef Baker, C.L., Saxe, R., Tenenbaum, J.B.: Action understanding as inverse planning. Cognition 113(3), 329–349 (2009)CrossRef
3.
Zurück zum Zitat Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Maximally parallel probabilistic semantics for multiset rewriting. Fundam. Inform. 112(1), 1–17 (2011)MathSciNetMATH Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Maximally parallel probabilistic semantics for multiset rewriting. Fundam. Inform. 112(1), 1–17 (2011)MathSciNetMATH
4.
Zurück zum Zitat Berry, G., Boudol, G.: The chemical abstract machine. In: POPL, pp. 81–94. ACM, San Francisco(1990) Berry, G., Boudol, G.: The chemical abstract machine. In: POPL, pp. 81–94. ACM, San Francisco(1990)
5.
Zurück zum Zitat Bistarelli, S., Cervesato, I., Lenzini, G., Marangoni, R., Martinelli, F.: On representing biological systems through multiset rewriting. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol. 2809, pp. 415–426. Springer, Heidelberg (2003). doi:10.1007/978-3-540-45210-2_38 CrossRef Bistarelli, S., Cervesato, I., Lenzini, G., Marangoni, R., Martinelli, F.: On representing biological systems through multiset rewriting. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol. 2809, pp. 415–426. Springer, Heidelberg (2003). doi:10.​1007/​978-3-540-45210-2_​38 CrossRef
6.
Zurück zum Zitat Boutilier, C., Reiter, R., Price, B.: Symbolic dynamic programming for first-order MDPs. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, vol. 1, pp. 690–700 (2001) Boutilier, C., Reiter, R., Price, B.: Symbolic dynamic programming for first-order MDPs. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, vol. 1, pp. 690–700 (2001)
7.
Zurück zum Zitat Choi, J., Amir, E., Xu, T., Valocchi, A.J.: Learning relational kalman filtering. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 2539–2546 (2015) Choi, J., Amir, E., Xu, T., Valocchi, A.J.: Learning relational kalman filtering. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 2539–2546 (2015)
8.
Zurück zum Zitat Choi, J., Hill, D.J., Amir, E.: Lifted inference for relational continuous models. In: Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2010, pp. 126–134. AUAI Press (2010) Choi, J., Hill, D.J., Amir, E.: Lifted inference for relational continuous models. In: Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2010, pp. 126–134. AUAI Press (2010)
9.
Zurück zum Zitat Fox, V., Hightower, J., Liao, L., Schulz, D., Borriello, G.: Bayesian filtering for location estimation. IEEE Pervasive Comput. 2(3), 24–33 (2003)CrossRef Fox, V., Hightower, J., Liao, L., Schulz, D., Borriello, G.: Bayesian filtering for location estimation. IEEE Pervasive Comput. 2(3), 24–33 (2003)CrossRef
10.
Zurück zum Zitat Geier, T., Biundo, S.: Approximate online inference for dynamic Markov logic networks. In: 23rd IEEE International Conference on Tools with Artificial Intelligence, pp. 764–768. IEEE (2011) Geier, T., Biundo, S.: Approximate online inference for dynamic Markov logic networks. In: 23rd IEEE International Conference on Tools with Artificial Intelligence, pp. 764–768. IEEE (2011)
11.
Zurück zum Zitat Huang, J., Guestrin, C., Jiang, X., Guibas, L.: Exploiting probabilistic independence for permutations. In: AISTATS, Clearwater, USA, pp. 248–255 (2009) Huang, J., Guestrin, C., Jiang, X., Guibas, L.: Exploiting probabilistic independence for permutations. In: AISTATS, Clearwater, USA, pp. 248–255 (2009)
12.
Zurück zum Zitat Kersting, K., Ahmadi, B., Natarajan, S.: Counting belief propagation. In: UAI, Montreal, Canada, pp. 277–284 (2009) Kersting, K., Ahmadi, B., Natarajan, S.: Counting belief propagation. In: UAI, Montreal, Canada, pp. 277–284 (2009)
13.
Zurück zum Zitat Kersting, K.: Lifted probabilistic inference. In: 20th European Conference on Artificial Intelligence, ECAI 2012. Frontiers in Artificial Intelligence and Applications, vol. 242. IOS Press (2012) Kersting, K.: Lifted probabilistic inference. In: 20th European Conference on Artificial Intelligence, ECAI 2012. Frontiers in Artificial Intelligence and Applications, vol. 242. IOS Press (2012)
16.
Zurück zum Zitat Kondor, R., Howard, A., Jebara, T.: Multi-object tracking with representations of the symmetric group. In: AISTATS, vol. 2, pp. 211–218 (2007) Kondor, R., Howard, A., Jebara, T.: Multi-object tracking with representations of the symmetric group. In: AISTATS, vol. 2, pp. 211–218 (2007)
17.
Zurück zum Zitat Krüger, F., Nyolt, M., Yordanova, K., Hein, A., Kirste, T.: Computational state space models for activity and intention recognition. A feasibility study. PLOS ONE 9(11), e109381 (2014)CrossRef Krüger, F., Nyolt, M., Yordanova, K., Hein, A., Kirste, T.: Computational state space models for activity and intention recognition. A feasibility study. PLOS ONE 9(11), e109381 (2014)CrossRef
18.
Zurück zum Zitat Poole, D.: First-order probabilistic inference. In: IJCAI, pp. 985–991 (2003) Poole, D.: First-order probabilistic inference. In: IJCAI, pp. 985–991 (2003)
19.
Zurück zum Zitat Ramírez, M., Geffner, H.: Goal recognition over POMDPs: inferring the intention of a POMDP agent. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp. 2009–2014, July 2011 Ramírez, M., Geffner, H.: Goal recognition over POMDPs: inferring the intention of a POMDP agent. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp. 2009–2014, July 2011
20.
22.
Zurück zum Zitat Schröder, M., Lüdtke, S., Bader, S., Krüger, F., Kirste, T.: Abstracting from observation-equivalent entities in human behavior modeling. In: AAAI Workshop: Plan, Activity, and Intent Recognition, February 2017 Schröder, M., Lüdtke, S., Bader, S., Krüger, F., Kirste, T.: Abstracting from observation-equivalent entities in human behavior modeling. In: AAAI Workshop: Plan, Activity, and Intent Recognition, February 2017
23.
Zurück zum Zitat Van Den Broeck, G., Taghipour, N., Meert, W., Davis, J., De Raedt, L.: Lifted probabilistic inference by first-order knowledge compilation. In: IJCAI, pp. 2178–2185 (2011) Van Den Broeck, G., Taghipour, N., Meert, W., Davis, J., De Raedt, L.: Lifted probabilistic inference by first-order knowledge compilation. In: IJCAI, pp. 2178–2185 (2011)
24.
Zurück zum Zitat Venugopal, D., Gogate, V.: Evidence-based clustering for scalable inference in Markov logic. In: Calders, T., Esposito, F., Hüllermeier, E., Meo, R. (eds.) ECML PKDD 2014. LNCS, vol. 8726, pp. 258–273. Springer, Heidelberg (2014). doi:10.1007/978-3-662-44845-8_17 Venugopal, D., Gogate, V.: Evidence-based clustering for scalable inference in Markov logic. In: Calders, T., Esposito, F., Hüllermeier, E., Meo, R. (eds.) ECML PKDD 2014. LNCS, vol. 8726, pp. 258–273. Springer, Heidelberg (2014). doi:10.​1007/​978-3-662-44845-8_​17
25.
Zurück zum Zitat Wilson, D.H., Atkeson, C.: Simultaneous tracking and activity recognition (STAR) using many anonymous, binary sensors. In: Gellersen, H.-W., Want, R., Schmidt, A. (eds.) Pervasive 2005. LNCS, vol. 3468, pp. 62–79. Springer, Heidelberg (2005). doi:10.1007/11428572_5 CrossRef Wilson, D.H., Atkeson, C.: Simultaneous tracking and activity recognition (STAR) using many anonymous, binary sensors. In: Gellersen, H.-W., Want, R., Schmidt, A. (eds.) Pervasive 2005. LNCS, vol. 3468, pp. 62–79. Springer, Heidelberg (2005). doi:10.​1007/​11428572_​5 CrossRef
Metadaten
Titel
LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions
verfasst von
Max Schröder
Stefan Lüdtke
Sebastian Bader
Frank Krüger
Thomas Kirste
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-67190-1_17