Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému

Abstract

Currently, there is a pressing need for new, efficient, powerful and advanced systems and applications. One of the promising technologies to meet these demands is the progressive technology of multi-agent systems. This is rather a new branch of computer science that combines features and approaches of software engineering, logic and artificial intelligence, and in a broader sense it makes use also of other natural-science and social disciplines. Multi-agent system is a decentralized system of intelligent autonomous agents who aim at meeting their own as well as common goals. To this end they communicate by exchanging messages. Thus a formal and fine-grained analysis and specification of a message content and the possibility of reasoning based on messaging is a key factor of a proper functioning of the system. Transparent Intensional Logic is an innovative and promising approach to message content analysis and specification. The purpose of this thesis is to verify some aspects of this approach by a practical application.