Mirko Maleković

Resolving Physical Conflicts in Multiagent Systems

During the project we were working on physical conflicts occurred in a multiagent system. In order to resolve the problem many different conflict resolution strategies were examined and many proposed solutions found. In this paper we explore conflicts as well as their causes and possible solutions. Based upon this research we implemented a centralized solution and added a reactive agent in the database in order to avoid conflict situations and efficiently allocate a set of resources.

Mind map generator software

In our previous research we have made literature analysis and discovered possible mind map application areas. We have pointed out why currently developed software and methods are not adequate and why we are developing a new one. We have defined system architecture and functionality that our software would have. After that, we proceeded with text-mining algorithm development and testing after which we have concluded with our plans for further research. In this paper we will give basic notions about previously published article and present our custom developed software for automatic mind map generation. This software will be tested. Generated mind maps will be critically analyzed. The paper will be concluded with research summary and possible further research and software improvement.

Extending Trigger-by-Example Approach to Support Time Events

An interesting type of objects in the SQL standard and database systems are triggers which are nowadays being widely used. The capability of automatic reaction to certain events is of great importance. Although the idea of triggers seems very promising, their complexity and variety of different programming languages used for their implementation hinder their wider use. To write more complex triggers becomes a difficult task and new methods for easier implementation are required. An interesting approach to resolve this flaw was already presented, so called Trigger-By-Example approach; in this paper we extend this idea in a way that triggers based upon time events are supported too i.e. that triggers based on time events can be built automatically in a specified database management system. The paper will explain the idea and show how this was done in PostgreSQL database management system.

Incorporating infatuation in Multi-Agent Systems

In this paper infatuation property in multi-agent systems is described. Modal operators for positive infatuation (focusing on a single attractive or desirable characteristic of another agent and then considering the total agent as that one positive characteristic) as well as negative infatuation are defined. Some relationships between the infatuation operators and usual logic operators are characterized.

Logical Consequences in Partial Knowledge Bases

In this paper, we consider logical consequences for reasoning about functional, multivalued, and join dependencies in partial knowledge bases. The standard consequence, strong consequence, and the weak consequence are characterized. We prove that reasoning based on the standard logical consequence is equivalent to reasoning based on the strong logical consequence. In addition, we prove that reasoning based on the standard logical consequence and reasoning based on the weak logical consequence are not equivalent. We also define a formal system FSED for reasoning about existence dependencies. We prove that the formal system FSED is sound and complete. We state the connection between existence and functional dependencies: reasoning about existence dependencies based on the corresponding logical consequence and reasoning about functional dependencies based on the standard logical consequence are equivalent.