Invited Session of
11th International KES Conference on Agents and Multi-agent Systems –
Technologies and Applications (KES-AMSTA 2017,
http://amsta-17.kesinternational.org/index.php)

(Registration via registration page of KES-AMSTA 2017
at http://amsta-17.kesinternational.org/registration.php, 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.

Co-Chairs:
* Natalya Garanina (Institute of Informatics Systems, Novosibirsk, Russia, garanina(at)iis.nsk.su)
* Manuel Mazzara (Innopolis University, Kazan, Russia, m.mazzara(at)innopolis.ru)
* Nikolay Shilov (Innopolis University, Kazan, Russia, n.shilov(at)innopolis.ru)

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 (http://amsta-17.kesinternational.org/submission.php).

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 (http://www.springer.com/series/8767), 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 (http://amsta-17.kesinternational.org/submission.php) for further details.

Contacts and Updates:
For further details and updates please refer the main conference page at http://amsta-17.kesinternational.org/index.php. In case of question related to the session - please contact co-Chairs by e-mail.