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

Abstract

Současná doba přináší stále další požadavky na nové, výkonnější a vyspělejší systémy a aplikace. Možností, jak těmto požadavkům vyhovět, je využití moderní technologie multiagentových systémů. Jedná se o nový a perspektivní obor informatiky, nacházející se na hranici softwarového inženýrství, umělé inteligence a dalších přírodních a společenských disciplín. Multiagentový systém je decentralizovaný systém inteligentních autonomních agentů, kteří dosahují vlastních i společných cílů na základě vzájemné komunikace pomocí zpráv. Z tohoto důvodu se stává klíčovým faktorem fungování multiagentového systému formálně přesná a dostatečně podrobná analýza obsahu předávaných zpráv a možnost usuzování a rozhodování na základě této specifikace. Jedním z nových a slibných přístupů v tomto směru je snaha o využití Transparentní intensionální logiky v multiagentových systémech. Smyslem této práce je pak prakticky odzkoušet některé aspekty takovéhoto přístupu.

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.