Role of Non-Axiomatic Logic in a Distributed Reasoning Environment
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.
KeywordsReasoning 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).
- 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.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.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
- 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.Robinson, I., Webber, J., Eifrem, E.: Graph Databases: New Opportunities for Connected Data. O’Reilly Media Inc., Sebastopol (2015)Google Scholar
- 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.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