Skip to main content

2017 | OriginalPaper | Buchkapitel

Role of Non-Axiomatic Logic in a Distributed Reasoning Environment

verfasst von : Mirjana Ivanović, Jovana Ivković, Costin Bădică

Erschienen in: Computational Collective Intelligence

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

The aim of this paper is to introduce the design of a novel Distributed Non-Axiomatic Reasoning System. The system is based on Non-Axiomatic Logic, a formalism in the domain of artificial general intelligence designed for realizations of systems with insufficient resources and knowledge. Proposed architecture is based on layered and distributed structure of the backend knowledge base. The design of the knowledge base makes it fault-tolerant and scalable. It promises to allow the system to reason over large knowledge bases with real-time responsiveness.

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 Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)CrossRef Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)CrossRef
2.
Zurück zum Zitat Hammer, P., Lofthouse, T., Wang, P.: The OpenNARS implementation of the non-axiomatic reasoning system. In: Steunebrink, B., Wang, P., Goertzel, B. (eds.) AGI 2016. LNCS, vol. 9782, pp. 160–170. Springer, Cham (2016). doi:10.1007/978-3-319-41649-6_16CrossRef Hammer, P., Lofthouse, T., Wang, P.: The OpenNARS implementation of the non-axiomatic reasoning system. In: Steunebrink, B., Wang, P., Goertzel, B. (eds.) AGI 2016. LNCS, vol. 9782, pp. 160–170. Springer, Cham (2016). doi:10.​1007/​978-3-319-41649-6_​16CrossRef
3.
Zurück zum Zitat Hovy, E., Navigli, R., Ponzetto, S.P.: Collaboratively built semi-structured content and artificial intelligence: the story so far. Artif. Intell. 194, 2–27 (2013)MathSciNetCrossRef Hovy, E., Navigli, R., Ponzetto, S.P.: Collaboratively built semi-structured content and artificial intelligence: the story so far. Artif. Intell. 194, 2–27 (2013)MathSciNetCrossRef
4.
Zurück zum Zitat Lee, T., Lee, H., Rhee, K.H., Shin, U.S.: The efficient implementation of distributed indexing with hadoop for digital investigations on big data. Comput. Sci. Inf. Syst. 11(3), 1037–1054 (2014)CrossRef Lee, T., Lee, H., Rhee, K.H., Shin, U.S.: The efficient implementation of distributed indexing with hadoop for digital investigations on big data. Comput. Sci. Inf. Syst. 11(3), 1037–1054 (2014)CrossRef
5.
Zurück zum Zitat Michael, M., Moreira, J.E., Shiloach, D., Wisniewski, R.W.: Scale-up x scale-out: a case study using nutch/lucene. In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2007, pp. 1–8. IEEE (2007) Michael, M., Moreira, J.E., Shiloach, D., Wisniewski, R.W.: Scale-up x scale-out: a case study using nutch/lucene. In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2007, pp. 1–8. IEEE (2007)
6.
Zurück zum Zitat Mitrović, D.: Intelligent Multiagent Systems based on Distributed Non-Axiomatic Reasoning. Ph.D. thesis, University of Novi Sad, Faculty of Science (2015) Mitrović, D.: Intelligent Multiagent Systems based on Distributed Non-Axiomatic Reasoning. Ph.D. thesis, University of Novi Sad, Faculty of Science (2015)
7.
Zurück zum Zitat Mitrović, D., Ivanović, M., Bădică, C.: Delivering the multiagent technology to end-users through the web. In: Proceedings of the 4th International Conference on Web Intelligence, Mining and Semantics (WIMS 2014), p. 54. ACM (2014) Mitrović, D., Ivanović, M., Bădică, C.: Delivering the multiagent technology to end-users through the web. In: Proceedings of the 4th International Conference on Web Intelligence, Mining and Semantics (WIMS 2014), p. 54. ACM (2014)
8.
Zurück zum Zitat Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Supporting heterogeneous agent mobility with alas. Comput. Sci. Inf. Syst. 9(3), 1203–1229 (2012)CrossRef Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Supporting heterogeneous agent mobility with alas. Comput. Sci. Inf. Syst. 9(3), 1203–1229 (2012)CrossRef
9.
Zurück zum Zitat Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Radigost: Interoperable web-based multi-agent platform. J. Syst. Softw. 90, 167–178 (2014)CrossRef Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Radigost: Interoperable web-based multi-agent platform. J. Syst. Softw. 90, 167–178 (2014)CrossRef
10.
Zurück zum Zitat Rao, A.S., Georgeff, M.P., et al.: BDI agents: from theory to practice. In: ICMAS 1995, pp. 312–319 (1995) Rao, A.S., Georgeff, M.P., et al.: BDI agents: from theory to practice. In: ICMAS 1995, pp. 312–319 (1995)
11.
Zurück zum Zitat Robinson, I., Webber, J., Eifrem, E.: Graph Databases: New Opportunities for Connected Data. O’Reilly Media Inc., Sebastopol (2015) Robinson, I., Webber, J., Eifrem, E.: Graph Databases: New Opportunities for Connected Data. O’Reilly Media Inc., Sebastopol (2015)
12.
Zurück zum Zitat Rodriguez, M.A., Geldart, J.: An evidential path logic for multi-relational networks. In: AAAI Spring Symposium: Technosocial Predictive Analytics, pp. 114–119 (2009) Rodriguez, M.A., Geldart, J.: An evidential path logic for multi-relational networks. In: AAAI Spring Symposium: Technosocial Predictive Analytics, pp. 114–119 (2009)
13.
Zurück zum Zitat Vidaković, M., Ivanović, M., Mitrović, D., Budimac, Z.: Extensible Java EE-based agent framework – past, present, future. In: Ganzha, M., Jain, L. (eds.) Multiagent Systems and Applications. ISRL, vol. 45, pp. 55–88. Springer, Heidelberg (2013). doi:10.1007/978-3-642-33323-1_3CrossRef Vidaković, M., Ivanović, M., Mitrović, D., Budimac, Z.: Extensible Java EE-based agent framework – past, present, future. In: Ganzha, M., Jain, L. (eds.) Multiagent Systems and Applications. ISRL, vol. 45, pp. 55–88. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-33323-1_​3CrossRef
14.
Zurück zum Zitat Wang, P.: Rigid Flexibility, vol. 55. Springer, Dordrecht (2006)MATH Wang, P.: Rigid Flexibility, vol. 55. Springer, Dordrecht (2006)MATH
15.
Zurück zum Zitat Wang, P.: Analogy in a general-purpose reasoning system. Cogn. Syst. Res. 10(3), 286–296 (2009)CrossRef Wang, P.: Analogy in a general-purpose reasoning system. Cogn. Syst. Res. 10(3), 286–296 (2009)CrossRef
16.
Zurück zum Zitat Wang, P.: Non-Axiomatic Logic: A Model of Intelligent Reasoning. World Scientific, Singapore (2013)CrossRef Wang, P.: Non-Axiomatic Logic: A Model of Intelligent Reasoning. World Scientific, Singapore (2013)CrossRef
Metadaten
Titel
Role of Non-Axiomatic Logic in a Distributed Reasoning Environment
verfasst von
Mirjana Ivanović
Jovana Ivković
Costin Bădică
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-67074-4_37