Distributed non-axiomatic reasoning system

MaRDI QIDQ6962127zbMATH OpenFDO

Authors Dejan Mitrovic, Mirjana Ivanović, Pei Wang

Publication date 9 July 2025

Published in Bulletin. Classe des Sciences Mathématiques et Naturelles. Sciences Mathématiques (Search for Journal in Brave)

Full work available at URL http://elib.mi.sanu.ac.rs/files/journals/bltn/49/6_eng.html

zbMATH Keywords

artificial general intelligencebig datanon-axiomatic logicreasoning architecture

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other nonclassical logic (03B60) Distributed systems (68M14) Agent technology and artificial intelligence (68T42)

Cites work

• Collaboratively built semi-structured content and artificial intelligence: the story so far
• Making model checking feasible for GOAL
• Multi-Agent Programming
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Programming rational agents in GOAL
• Rigid flexibility. The logic of intelligence.

This page was built for publication: Distributed non-axiomatic reasoning system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6962127)