posted by organizer: shilov61 || 936 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

AAMAS 2019   International Conference on Autonomous Agents and Multiagent Systems
CIKM 2019   Conference on Information and Knowledge Management
Ei ISEEIE 2019   2019 2nd International Symposium on Electrical, Electronics and Information Engineering(ISEEIE 2019)
TrustCom 2019   The 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
KI 2019   42nd German Conference on Artificial Intelligence
KLP@SAC 2019   Knowledge and Language Processing Track @ The 34th ACM Symposium on Applied Computing - ACM SAC 2019
SeTM 2019   Security and Trust in Mobile Network 2019
IEEE Mobile Cloud 2019   The Seventh IEEE International Conference on Mobile Cloud Computing, Services, and Engineering
PST 2019   17th Annual International Conference on Privacy, Security, and Trust (PST2019)
IJPI 2019   The International Journal of Pedagogical Innovations