Session on Knowledge, Beliefs, Certainty and Trust in Multiagent Systems.

[Nikolai Shilov]

Invited Session on

 

Knowledge, Beliefs, Certainty and Trust in Multiagent Systems: 

from Philosophy and Science to Engineering Practice 

(KBCTinMAS, http://persons.iis.nsk.su/en/KBCTinMAS)

 

of 11th International KES Conference on Agents and Multi-agent Systems - 

Technologies and Applications (KES-AMSTA 2017) 

http://amsta-17.kesinternational.org/index.php, 

Vilamoura, Portugal, June 21-23, 2017

 

Call for Papers

 

Important dates:

* Extended abstract submission: January 31, 2017

* Notification: February 28, 2017

* Upload of Final Publication Files: March 13, 2017

* Registration via registration page of KES-AMSTA 2017 

( 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.

 

Invited Speaker(s): TBD (coming soon)

 

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.



---
Это сообщение проверено на вирусы антивирусом Avast.
https://www.avast.com/antivirus
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20161206/8c4bb215/attachment.html>