The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
When specifying multiagent systems and mental states such as belief and goal of agents, temporal logics are often adopted as basic theoretical tools. Although there are work on nonmonotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the nonmonotonic extension of the logic of cooperation and propositional control (CL-PC) and its dynamic version DCL-PC which are important...
With the increased attention on simulations of trees and forest ecosystem, the visualization of plants quickly becomes the combinative development trend of Graphics and forestry. A number of methods have been proposed for generating trees, But these methods could not accurately simulate the appearance changes in the growth process of trees. The paper presents an interactively parameterized modeling...
Multi-agent cooperation logics, which provide powerful tool for modeling knowledge-based systems and cooperative problem solving process, gained great research interest in multi-agent systems community in the last five years. ATEL (alternating-time temporal epistemic logic) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief...
When specifying mental states such as belief and goal of agents, temporal logics are often adopted as basic tools. Although there are work on non-monotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the non-monotonic extension of alternating-time temporal logic ATL which is an important kind of multi-agent cooperation logics has not been discussed yet in literature...
Tabu search (TS) algorithm is a powerful local search method. It has been successfully used in many discrete optimization problems, such as TSP, JSP, and QAP, etc. Neighborhood structure and size are key factors for a local search algorithm to get good performance. If hill climbing strategy is used, the bigger the size of a neighborhood is, the better its performance is in the cost of more computing...
When specifying goals of agents, temporal logics such as linear temporal logic LTL and branching time temporal logic CTL are adopted as basic tools. In order to specify goals in view of multi-agent cooperation which is one aspect of social interaction, two logic frameworks are proposed in this paper based on alternating-time temporal logic ATL. Firstly, ATL is extended with strong and weak exceptions...
Belief plays an important part in intelligent systems modeling. On the one hand, in the multi-agent systems community, belief is usually modeled as a mental state of agents by modal logic in the context of BDI (belief-desire intention). On the other hand, in epistemic logic research, belief and knowledge are often taken into account together, which are main components of knowledge-based systems. However...
Efficient tasks assignment is critical for achieving high performance in heterogeneous computing systems (HCS). The tasks assignment problem is NP-hard in general. In order to obtain better solutions, many assignment heuristics have been presented in the literature. Simulated Anneal- ing (SA) algorithm is a powerful stochastic search method. It has been successfully used in many discrete optimization...
The paradigm example of social interaction is cooperative problem solving, in which a group of autonomous agents choose to work together to achieve a common goal. In order to improve existing work on developing formal computing model for cooperative problem solving in multi-agent systems, several efforts are made in this paper. Firstly, a new multi-agent cooperation logic called ATI-BDI designed in...
In order to improve existing work on investigating actions and intentions in cooperation logics, a new model is given to extend concurrent game structures. The assumption that different intelligent agents can not execute the same actions which obviously does not fit human commonsense understanding of the world has been done away with. Five functions that involved actions are given at length so that...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.