Role of Non-Axiomatic Logic in a Distributed Reasoning Environment

  • Mirjana Ivanović
  • Jovana Ivković
  • Costin Bădică
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10448)


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.


Reasoning architecture Non-Axiomatic Logic Artificial General Intelligence Big Data 



This work was partially supported by Ministry of Education, Science and Technological Development of the Republic of Serbia, through project number OI174023: “Intelligent techniques and their integration into wide-spectrum decision support”, as well as a collaboration agreement between University of Novi Sad (Serbia), University of Craiova (Romania), SRIPAS and Warsaw University of Technology (Poland).


  1. 1.
    Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)CrossRefGoogle Scholar
  2. 2.
    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_16CrossRefGoogle Scholar
  3. 3.
    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)MathSciNetCrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Mitrović, D.: Intelligent Multiagent Systems based on Distributed Non-Axiomatic Reasoning. Ph.D. thesis, University of Novi Sad, Faculty of Science (2015)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Supporting heterogeneous agent mobility with alas. Comput. Sci. Inf. Syst. 9(3), 1203–1229 (2012)CrossRefGoogle Scholar
  9. 9.
    Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Radigost: Interoperable web-based multi-agent platform. J. Syst. Softw. 90, 167–178 (2014)CrossRefGoogle Scholar
  10. 10.
    Rao, A.S., Georgeff, M.P., et al.: BDI agents: from theory to practice. In: ICMAS 1995, pp. 312–319 (1995)Google Scholar
  11. 11.
    Robinson, I., Webber, J., Eifrem, E.: Graph Databases: New Opportunities for Connected Data. O’Reilly Media Inc., Sebastopol (2015)Google Scholar
  12. 12.
    Rodriguez, M.A., Geldart, J.: An evidential path logic for multi-relational networks. In: AAAI Spring Symposium: Technosocial Predictive Analytics, pp. 114–119 (2009)Google Scholar
  13. 13.
    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_3CrossRefGoogle Scholar
  14. 14.
    Wang, P.: Rigid Flexibility, vol. 55. Springer, Dordrecht (2006)zbMATHGoogle Scholar
  15. 15.
    Wang, P.: Analogy in a general-purpose reasoning system. Cogn. Syst. Res. 10(3), 286–296 (2009)CrossRefGoogle Scholar
  16. 16.
    Wang, P.: Non-Axiomatic Logic: A Model of Intelligent Reasoning. World Scientific, Singapore (2013)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Mirjana Ivanović
    • 1
  • Jovana Ivković
    • 1
  • Costin Bădică
    • 2
  1. 1.Department of Mathematics and Informatics, Faculty of SciencesUniversity of Novi SadNovi SadSerbia
  2. 2.University of CraiovaCraiovaRomania

Personalised recommendations