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.
We study the complexity of the inference problem for propositional circumscription (the minimal inference problem) over arbitrary finite domains. The problem is of fundamental importance in nonmonotonic logics and commonsense reasoning. The complexity of the problem for the two-element domain has been completely classified [Durand, Hermann, and Nordh, Trichotomy in the complexity of minimal inference,...
The paper develops a model of heuristic negotiation between self-interested agents. The bargaining process involves multi-issue negotiation. The agents are modeling different strategies during negotiation and are able to improve their abilities with experience. The behavior of the agents is directed towards the gain obtained when the goals are satisfied. The details of the previous interactions are...
The main aim of this work is to formalize the mechanism of resolving conflicts between statutory legal rules with a view to implementing them into a legal advisory system. The model is build on the basis of the ASPIC+ argument modeling framework. The paper presents a discussion and a formal model of the mechanism of conflict recognition as well as models of three different mechanisms of conflict solving...
Model checking is a successful technique widely usedin formal verification. Given a model of a system and aformula specifying a desired property of it, one can verifywhether the system satisfies the property by checking theformula against the model. Distinctive features of modelchecking are: (i) it is a fully automatic process, (ii) it exaustivelychecks all the possible behaviours of the system,and...
This paper deals with the object detection, recognition and categorization taking into account its ability to convert into some other object. This is possible when the object variance includes an individual ability to change one or more of its properties within some fixed computational framework. The potentially convertible individuals are gathered into the variable domains, in turn. The variance...
Event-B is a formal method which uses first-order logic and set theory as the underlying mathematical notation for specifying and reasoning about discrete systems. Rod in is an Eclipse plug-in that offers a good tool support for Event-B. The aim of this paper consists in applying Event-B and Rod in to prove the non-starvation property of satisfying requests for services in a multi-agent system.
In this paper, we approach the problem of modeling the human component in technical systems with a view on the difference between the use of model and theory in sociology and computer science. One aim of this essay is to show that building of theories and models for sociology can be compared to and implemented in Higher Order Logic. We validate this working hypothesis by revisiting Weber's understanding...
Cloud computing is a new computing model that may offer numerous benefits to potential users. The sharing of dynamically scalable resources such as computing, storage, and infrastructure via the internet could enhance an organisation's growth through the reduction of IT costs. However, research has shown that cloud computing has various security and compliance concerns. The ancillary objective of...
Designing and developing digital technological systems and their interactive interfaces as better companion with hominine characteristics is an active research hot-spot. Exploring the domain of facilitating machines with affective and cognitive intelligence and understanding the users is increasingly attracting the interest of researchers who are working in the field of humancomputer interaction....
Emotion is an important aspect of human intelligence and has been shown to play a significant role in the human decision-making process. Starting from the interaction between man and his environment, this paper studies the influence of environment on human body and human perception of surroundings. It further explores senses, emotions and feelings. This paper also makes a thorough research into human...
It has been known that neighborhood system is the first granular computing model. From the view point of knowledge engineering, each neighborhood is considered as a unit of basic knowledge. In this paper, we mainly focus on knowledge operations in neighborhood system. The knowledge operations are defined on the neighborhood system of the object and the universe respectively. By using the proposed...
Place names have been one of the most commonly-preferred georeferencing systems used to communicate geographically-specific information in our daily lives. Gazetteers as specialized geographical information systems bridge the gap between textual place names and geospatial locations. Most place names in gazetteers are thought of as administrative regions and described with official names. However,...
The artificial intelligence is the important achievement of the development in computer science on the 21st century, which has a wide range of applications in many areas. This paper discusses the definition and nature of artificial intelligence, analyzes of the current research in various fields, sums up the history and present situation of artificial intelligence research and analyzes its development...
This paper reports the update version of a PBL-agent MALESAbrain with the enhancement of the critical thinking reasoning. The development applies the disciplines of critical thinking to improve the agent's recognition in detecting and consulting the conflicts during the PBL discussions.
We study the graph reachability problem as a language over an infinite alphabet. Namely, we view a word of even length a0b0 ... an b_n over an infinite alphabet as a directed graph with the symbols that appear in a0b0 ... anbn as the vertices and (a0, b0),...,(an, bn) as the edges. We prove that for any positive integer k, k pebbles are sufficient for recognizing the existence of a path of length...
Since the CF model has been proposed, it has been successfully applied in some areas and there is one of the representative systems MYCIN. However, the traditional CF model also has a few problems, for example, the inconsistencies of the degree of belief in a hypothesis and conditional probability to some extent. Then this paper will proposed an improved method of the CF model which is the improved...
Aiming at challenging problem in building autonomic computing system, policy based management technology and intelligent agent technology was combined to build autonomic elements and autonomic computing system. Through importing policy into agent BDI model, a flexible agent model (PD-agent) is built to satisfy the requirement of autonomic element. To solve logic omniscience problem and related problems...
In order to enable the individual agents to be aware of the both macro constraints from agent social and instructions from agent's owner, a norm and policy extended agent BDI model (called NPCD-Agent) has been proposed, by integrating norms and policies into traditional agent BDI model. On the basis of NPCD-Agent model, this paper proposes a semantic model of multi-agent system (called MASNP), where...
As one of the possible solutions to the problem of model checking multi-agent systems, we have suggested model checking for deontic logic using the formalism of deontic interpreted systems and the possible world semantics.
According to the studies of cognitive psychology, object typicality plays an important role in concept representation in human cognitive process. However, computational ontologies cannot reflect the typicality of objects in concepts. Besides, context is important in measuring object typicality. In this paper, we present a formal model of context-aware ontology with multi-prototype concept and object...
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.