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

PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
Special Session in SMC 2020   Special Session on Sparse Data Analysis, Representation Learning and Multi-Agent System within the IEEE SMC 2020
TrustCom 2020   The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
AAAI-MAKE 2021   AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering
20th ICTEL October, Dubai 2021   20th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 October, Dubai
TERA - Eurasia Research 2021   19th ICTEL 2021 – International Conference on Teaching, Education & Learning, 11-12 October, Lisbon
KSEM 2021   Knowledge Science, Engineering and Management
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
16th ICTEL Sept, Athens 2021   16th ICTEL 2021 – International Conference on Teaching, Education & Learning, 14-15 September, Athens
Online Live September, London 2021   15th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, London