Skip to main content

2016 | OriginalPaper | Buchkapitel

Probabilistic Logical Inference on the Web

verfasst von : Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese

Erschienen in: AI*IA 2016 Advances in Artificial Intelligence

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

cplint on SWISH is a web application for probabilistic logic programming. It allows users to perform inference and learning using just a web browser, with the computation performed on the server. In this paper we report on recent advances in the system, namely the inclusion of algorithms for computing conditional probabilities with exact, rejection sampling and Metropolis-Hasting methods. Moreover, the system now allows hybrid programs, i.e., programs where some of the random variables are continuous. To perform inference on such programs likelihood weighting is used that makes it possible to also have evidence on continuous variables. cplint on SWISH offers also the possibility of sampling arguments of goals, a kind of inference rarely considered but useful especially when the arguments are continuous variables. Finally, cplint on SWISH offers the possibility of graphing the results, for example by drawing the distribution of the sampled continuous arguments of goals.

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!

Literatur
1.
Zurück zum Zitat Pfeffer, A.: Practical Probabilistic Programming. Manning Publications, Cherry Hill (2016) Pfeffer, A.: Practical Probabilistic Programming. Manning Publications, Cherry Hill (2016)
3.
Zurück zum Zitat Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G.: Probabilistic logic programming on the web. Softw. Pract. Exper. 46, 1381–1396 (2015)CrossRef Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G.: Probabilistic logic programming on the web. Softw. Pract. Exper. 46, 1381–1396 (2015)CrossRef
4.
Zurück zum Zitat Fierens, D., den Broeck, G.V., Renkens, J., Shterionov, D.S., Gutmann, B., Thon, I., Janssens, G., De Raedt, L.: Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theoret. Pract. Log. Prog. 15(3), 358–401 (2015)MathSciNetCrossRef Fierens, D., den Broeck, G.V., Renkens, J., Shterionov, D.S., Gutmann, B., Thon, I., Janssens, G., De Raedt, L.: Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theoret. Pract. Log. Prog. 15(3), 358–401 (2015)MathSciNetCrossRef
5.
Zurück zum Zitat Sato, T.: A statistical learning method for logic programs with distribution semantics. In: 12th International Conference on Logic Programming, Tokyo Japan, pp. 715–729. MIT Press, Cambridge (1995) Sato, T.: A statistical learning method for logic programs with distribution semantics. In: 12th International Conference on Logic Programming, Tokyo Japan, pp. 715–729. MIT Press, Cambridge (1995)
6.
Zurück zum Zitat Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431–445. Springer, Heidelberg (2004). doi:10.1007/978-3-540-27775-0_30 CrossRef Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431–445. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-27775-0_​30 CrossRef
7.
Zurück zum Zitat Riguzzi, F.: The distribution semantics for normal programs with function symbols. Int. J. Approximate Reasoning 77, 1–19 (2016)MathSciNetCrossRefMATH Riguzzi, F.: The distribution semantics for normal programs with function symbols. Int. J. Approximate Reasoning 77, 1–19 (2016)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Gutmann, B., Thon, I., Kimmig, A., Bruynooghe, M., Raedt, L.D.: The magic of logical inference in probabilistic programming. Theoret. Pract. Log. Prog. 11(4–5), 663–680 (2011)MathSciNetCrossRefMATH Gutmann, B., Thon, I., Kimmig, A., Bruynooghe, M., Raedt, L.D.: The magic of logical inference in probabilistic programming. Theoret. Pract. Log. Prog. 11(4–5), 663–680 (2011)MathSciNetCrossRefMATH
9.
Zurück zum Zitat Islam, M.A., Ramakrishnan, C., Ramakrishnan, I.: Inference in probabilistic logic programs with continuous random variables. Theoret. Pract. Log. Prog. 12, 505–523 (2012)MathSciNetCrossRefMATH Islam, M.A., Ramakrishnan, C., Ramakrishnan, I.: Inference in probabilistic logic programs with continuous random variables. Theoret. Pract. Log. Prog. 12, 505–523 (2012)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Nitti, D., De Laet, T., De Raedt, L.: Probabilistic logic programming for hybrid relational domains. Mach. Learn. 103(3), 407–449 (2016)MathSciNetCrossRefMATH Nitti, D., De Laet, T., De Raedt, L.: Probabilistic logic programming for hybrid relational domains. Mach. Learn. 103(3), 407–449 (2016)MathSciNetCrossRefMATH
11.
Zurück zum Zitat De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: 20th International Joint Conference on Artificial Intelligence, (IJCAI 2005), Hyderabad, India, vol. 7, pp. 2462–2467. AAAI Press, Palo Alto, California USA (2007) De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: 20th International Joint Conference on Artificial Intelligence, (IJCAI 2005), Hyderabad, India, vol. 7, pp. 2462–2467. AAAI Press, Palo Alto, California USA (2007)
12.
Zurück zum Zitat Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)MathSciNetMATH Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)MathSciNetMATH
13.
Zurück zum Zitat Riguzzi, F., Swift, T.: The PITA system: tabling and answer subsumption for reasoning under uncertainty. Theoret. Pract. Log. Prog. 11(4–5), 433–449 (2011)MathSciNetCrossRefMATH Riguzzi, F., Swift, T.: The PITA system: tabling and answer subsumption for reasoning under uncertainty. Theoret. Pract. Log. Prog. 11(4–5), 433–449 (2011)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Kimmig, A., Demoen, B., De Raedt, L., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theoret. Pract. Log. Prog. 11(2–3), 235–262 (2011)MathSciNetCrossRefMATH Kimmig, A., Demoen, B., De Raedt, L., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theoret. Pract. Log. Prog. 11(2–3), 235–262 (2011)MathSciNetCrossRefMATH
15.
Zurück zum Zitat Riguzzi, F.: MCINTYRE: a Monte Carlo system for probabilistic logic programming. Fundam. Inform. 124(4), 521–541 (2013)MathSciNet Riguzzi, F.: MCINTYRE: a Monte Carlo system for probabilistic logic programming. Fundam. Inform. 124(4), 521–541 (2013)MathSciNet
16.
Zurück zum Zitat Von Neumann, J.: Various techniques used in connection with random digits. Nat. Bureau Stand. Appl. Math. Ser. 12, 36–38 (1951) Von Neumann, J.: Various techniques used in connection with random digits. Nat. Bureau Stand. Appl. Math. Ser. 12, 36–38 (1951)
17.
18.
Zurück zum Zitat Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Proceedings of the 17th International Conference on Artificial Intelligence and Statistics, pp. 1024–1032 (2014) Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Proceedings of the 17th International Conference on Artificial Intelligence and Statistics, pp. 1024–1032 (2014)
19.
Zurück zum Zitat Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell. 4(B), 141–153 (2000)MathSciNet Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell. 4(B), 141–153 (2000)MathSciNet
20.
Zurück zum Zitat Riguzzi, F., Cota, G.: Probabilistic logic programming tutorial. Assoc. Logic Program. Newsl. 29(1), 1 (2016) Riguzzi, F., Cota, G.: Probabilistic logic programming tutorial. Assoc. Logic Program. Newsl. 29(1), 1 (2016)
Metadaten
Titel
Probabilistic Logical Inference on the Web
verfasst von
Marco Alberti
Giuseppe Cota
Fabrizio Riguzzi
Riccardo Zese
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-49130-1_26

Premium Partner