posted by organizer: shilov61 || 1593 views || tracked by 1 users: [display]

KBCTinMAS 2017 : Session on Knowledge, Beliefs, Certainty and Trust in Multiagent Systems


When Jun 21, 2017 - Jun 23, 2017
Where Vilamoura, Portugal
Submission Deadline Jan 31, 2017
Notification Due Feb 28, 2017
Final Version Due Mar 13, 2017
Categories    multiagent systems   philosophical foundations   knowledge and belief   certainty and trust

Call For Papers

Invited Session of
11th International KES Conference on Agents and Multi-agent Systems –
Technologies and Applications (KES-AMSTA 2017,

(Registration via registration page of KES-AMSTA 2017
at, coming soon).

Scope and Topics:
Terms "multiagent" and "knowledge" refer several (sometime unrelated) research and development concepts/approaches/paradigms in Computer Science, Artificial Intelligence, Software Engineering, Information Technology, etc. But in any case some philosophy and formal models lay behind software or information architecture that is called "multiagent".

For example, a so-called BDI-agent is an autonomous reactive and proactive object whose internal states could be characterized in terms of Beliefs (B), Desires (D), and Intentions (I). Agent's beliefs represent its ideas/opinion about itself, other agents and the network; these beliefs may be incorrect, incomplete, and (even) inconsistent.

Philosophers distinguish belief(s) and knowledge according to Plato thesis, that knowledge true belief, i.e. a judgment/statement (from belief base) that has a validation. Apparently, the first to propose a formalization of these concepts was a Finnish logician and philosopher J. Hintikka in 1950s. According to his definition, each agent has some indistinguishability relation between the possible states of the environment, "belief" corresponds to the symmetric and transitive relations and "knowledge" - reflexive, symmetric and transitive relations.

Essential lack of very rigorous formalizations of knowledge and belief are poor system availability, low efficiency of knowledge-based algorithms and high complexity of formal verification. Verification of multiagent systems with
beliefs and knowledge has non-elementary complexity (that is absolutely non-acceptable for engineering practice). Also, knowledge-based multiagent systems are not fault-tolerent: unfortunately, if any agent decline from the prescribed protocol then the outcome will be incorrect, i.e. the multiagent system fails to solve the desired problem.

We consider the proposed session as a venue where theoreticians, philosophers and logician that study agency and practitioners, software engineers and information system designers can meet and try to bridge a gap between theory and practice of multiagent systems.

* Natalya Garanina (Institute of Informatics Systems, Novosibirsk, Russia, garanina(at)
* Manuel Mazzara (Innopolis University, Kazan, Russia, m.mazzara(at)
* Nikolay Shilov (Innopolis University, Kazan, Russia, n.shilov(at)

Submission and Publicatio:
We solicit papers (up to 10 pages) that match Scope and Topics of the session. For submission instructions and format please proceed to the Information for Authors page of KES-AMSTA 2017 (

All accepted papers will be published in the conference proceedings by Springer as book chapters in a volume of the KES Smart Innovation Systems and Technologies series (, indexed in Scopus and CPCi / Web of Science (publisher's information). Please contact the publisher for more information about this or check the conference website. Please proceed to the Information for Authors page of KES-AMSTA 2017 ( for further details.

Contacts and Updates:
For further details and updates please refer the main conference page at In case of question related to the session - please contact co-Chairs by e-mail.

Related Resources

CIKM 2023   Conference on Information and Knowledge Management
RTIS 2023   Fifth International Conference on Real-Time Intelligent Systems
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems
FLAIRS-36 ST XAI, Bias, and Trust 2023   FLAIRS Special Track on Explainability, Bias, and Trust in Artificial Intelligence
AIKE 2023   IEEE International Conference on AI & Knowledge Engineering
AGRIJ 2023   Agricultural Science: An International journal
DCAI 2023   20th International Conference on Distributed Computing and Artificial Intelligence
ICKG 2023   IEEE International Conference on Knowledge Graph
KDLSBM 2023   Knowledge-based Deep Learning System in Bio-Medicine
CDKE 2024   IEEE International Conference on Conversational Data and Knowledge Engineering