Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Collective Intelligence

ICCCI 2017: Computational Collective Intelligence pp 381–388Cite as

Role of Non-Axiomatic Logic in a Distributed Reasoning Environment

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10448))

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.

This is a preview of subscription content, log in via an institution.

References

  1. Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)

    Article  Google Scholar 

  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_16

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  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 

  8. Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Supporting heterogeneous agent mobility with alas. Comput. Sci. Inf. Syst. 9(3), 1203–1229 (2012)

    Article  Google Scholar 

  9. Mitrović, D., Ivanović, M., Budimac, Z., Vidaković, M.: Radigost: Interoperable web-based multi-agent platform. J. Syst. Softw. 90, 167–178 (2014)

    Article  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_3

    Chapter  Google Scholar 

  14. Wang, P.: Rigid Flexibility, vol. 55. Springer, Dordrecht (2006)

    MATH  Google Scholar 

  15. Wang, P.: Analogy in a general-purpose reasoning system. Cogn. Syst. Res. 10(3), 286–296 (2009)

    Article  Google Scholar 

  16. Wang, P.: Non-Axiomatic Logic: A Model of Intelligent Reasoning. World Scientific, Singapore (2013)

    Book  Google Scholar 

Download references

Acknowledgments

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).

Author information

Authors and Affiliations

  1. Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Novi Sad, Serbia

    Mirjana Ivanović & Jovana Ivković

  2. University of Craiova, Craiova, Romania

    Costin Bădică

Authors
  1. Mirjana Ivanović
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jovana Ivković
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Costin Bădică
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jovana Ivković .

Editor information

Editors and Affiliations

  1. Department of Information Systems, Faculty of Computer Science and Management , Wrocław University of Science and Technology, Wrocław, Poland

    Ngoc Thanh Nguyen

  2. Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    George A. Papadopoulos

  3. Department of Information Systems, Gdynia Maritime University, Gdynia, Poland

    Piotr Jędrzejowicz

  4. Department of Information Systems, Faculty of Computer Science and Management, Wrocław University of Science and Technology, Wrocław, Poland

    Bogdan Trawiński

  5. Department of Information Systems, University of Münster, Münster, Germany

    Gottfried Vossen

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Ivanović, M., Ivković, J., Bădică, C. (2017). Role of Non-Axiomatic Logic in a Distributed Reasoning Environment. In: Nguyen, N., Papadopoulos, G., Jędrzejowicz, P., Trawiński, B., Vossen, G. (eds) Computational Collective Intelligence. ICCCI 2017. Lecture Notes in Computer Science(), vol 10448. Springer, Cham. https://doi.org/10.1007/978-3-319-67074-4_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-67074-4_37

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-67073-7

  • Online ISBN: 978-3-319-67074-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation