Geodesic
Distributed non-axiomatic reasoning system
Bulletin de l'Académie serbe des sciences. Classe des sciences mathématiques et naturelles, Tome 49 (2024), p. 71

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

This paper presents an architecture and one concrete realization of a novel reasoning system named \emph{Distributed Non-Axiomating Reasoning System}. The system uses the so-called \emph{Non-Axiomatic Logic}, a formalism in the domain of artificial general intelligence designed for practical realizations of systems that work under the assumption of insufficient knowledge and resources. The main novelty of the proposed architecture is in the layered and distributed organization of its backend knowledge base. That is, the knowledge base is designed with scalability and fault-tolerance in mind. It allows the system to reason over very large knowledge bases with real-time responsiveness, while serving high numbers of concurrent users. Finally, one concrete practical application of the developed system is presented as well.
Classification : 03B42, 03B60, 68M14, 68T42
Keywords: reasoning architecture, non-axiomatic logic, artificial general intelligence, big data 
Dejan Mitrović; Mirjana Ivanović; Pei Wang. Distributed non-axiomatic reasoning system. Bulletin de l'Académie serbe des sciences. Classe des sciences mathématiques et naturelles, Tome 49 (2024), p. 71 . http://geodesic.mathdoc.fr/item/BASS_2024_49_a5/
@article{BASS_2024_49_a5,
     author = {Dejan Mitrovi\'c and Mirjana Ivanovi\'c and Pei Wang},
     title = {Distributed non-axiomatic reasoning system},
     journal = {Bulletin de l'Acad\'emie serbe des sciences. Classe des sciences math\'ematiques et naturelles},
     pages = {71 },
     year = {2024},
     volume = {49},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BASS_2024_49_a5/}
}
TY  - JOUR
AU  - Dejan Mitrović
AU  - Mirjana Ivanović
AU  - Pei Wang
TI  - Distributed non-axiomatic reasoning system
JO  - Bulletin de l'Académie serbe des sciences. Classe des sciences mathématiques et naturelles
PY  - 2024
SP  - 71 
VL  - 49
UR  - http://geodesic.mathdoc.fr/item/BASS_2024_49_a5/
LA  - en
ID  - BASS_2024_49_a5
ER  - 
%0 Journal Article
%A Dejan Mitrović
%A Mirjana Ivanović
%A Pei Wang
%T Distributed non-axiomatic reasoning system
%J Bulletin de l'Académie serbe des sciences. Classe des sciences mathématiques et naturelles
%D 2024
%P 71 
%V 49
%U http://geodesic.mathdoc.fr/item/BASS_2024_49_a5/
%G en
%F BASS_2024_49_a5