As complex product layout problems are difficult to be solved with simplex optimum algorithms, an approach is introduced to implement intelligent human-computer interactive layout design system based on distributed kn...
详细信息
ISBN:
(纸本)9781586036515
As complex product layout problems are difficult to be solved with simplex optimum algorithms, an approach is introduced to implement intelligent human-computer interactive layout design system based on distributed knowledge for complex mechatronic products. A web-based system structure is represented also, which combines the merit of C/S and B/S. The layout design knowledge of complex products is divided into parts knowledge, space knowledge, layout case, rule knowledge and constraint knowledge. A compound knowledge model is set up by object oriented method, and data structure is described by array. This knowledge representation method makes the maintenance of knowledge base Much easy.
Web services (or Web APIs) on the Internet tends to encounter various unexpected runtime failures because of their dynamicity and distribution. Self-adaptation technologies for the service-based business process can e...
详细信息
Web services (or Web APIs) on the Internet tends to encounter various unexpected runtime failures because of their dynamicity and distribution. Self-adaptation technologies for the service-based business process can effectively repair runtime failures and improve its success rate. However, the same failures may occur on subsequent invocations because relevant processes do not evolve after failures. This makes the response time of the business processes too long. We proposed a self-adaptation and distributed knowledge-based evolution model (SDKEM) to guarantee business processes' stabilities, that is, low failure rates and stable response time. SDKEM adopts a service knowledge base (SKB) to organize services from a provider and uses bridge rules to eliminate semantic conflicts among multiple distributed SKBs. It can automatically trigger the evolution of a service ecosystem through the designed self-adaptation mechanism. We adopt the "survival of the fittest" principle for crucial elements in the ecosystem during evolution so that ultimately, service-based processes and services with high stability remain. Experiments show that, with the developed evolution mechanism, runtime failures of business processes significantly reduce. In most cases, their response time and success rates are comparable to those under the running situation where no runtime failure occurs, meaning the runtime failures within a service-based process are automatically repaired.
Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic ...
详细信息
Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic have so far been missing. In this paper we provide several such results and proofs. We prove completeness for epistemic coalition logic with common knowledge, with distributed knowledge, and with both common and distributed knowledge, respectively. Furthermore, we completely characterise the complexity of the satisfiability problem for each of the three logics. We also study logics with interaction axioms connecting coalitional ability and knowledge.
Simplicial complexes are a successful model for distributed computing. They have recently been observed to provide an interesting model for epistemic multi-agent logic where the agents' local states are the main b...
详细信息
Simplicial complexes are a successful model for distributed computing. They have recently been observed to provide an interesting model for epistemic multi-agent logic where the agents' local states are the main building blocks (instead of the global states). A natural generalization is to study epistemic logic on semi-simplicial sets. However, finding the appropriate modal logic for semi-simplicial models has been an open question. We answer this by introducing the logic of synergistic knowledge and establishing its soundness and completeness.
By 2020, the Internet of Things will consist of 26 Billion connected devices. All these devices will be collecting an innumerable amount of raw observations, for example, GPS positions or communication patterns. In or...
详细信息
ISBN:
(纸本)9783319261485;9783319261478
By 2020, the Internet of Things will consist of 26 Billion connected devices. All these devices will be collecting an innumerable amount of raw observations, for example, GPS positions or communication patterns. In order to benefit from this enormous amount of information, machine learning algorithms are used to derive knowledge from the gathered observations. This benefit can be increased further, if the devices are enabled to collaborate by sharing gathered knowledge. In a massively distributed environment, this is not an easy task, as the knowledge on each device can be very heterogeneous and based on a different amount of observations in diverse contexts. In this paper, we propose two strategies to route a query for specific knowledge to a device that can answer it with high confidence. To that end, we developed a confidence metric that takes the number and variance of the observations of a device into account. Our routing strategies are based on local routing tables that can either be learned from previous queries over time or actively maintained by interchanging knowledge models. We evaluated both routing strategies on real world and synthetic data. Our evaluations show that the knowledge retrieved by the presented approaches is up to 96.7% as accurate as the global optimum.
It has been argued that knowledge is a useful tool for designing and analyzing complex systems. The notion of knowledge that seems most relevant in this context is an external, information-based notion that can be sho...
详细信息
It has been argued that knowledge is a useful tool for designing and analyzing complex systems. The notion of knowledge that seems most relevant in this context is an external, information-based notion that can be shown to satisfy all the axioms of the modal logic S5. The properties of this notion of knowledge are examined, and it is shown that they depend crucially, and in subtle ways, on assumptions made about the system and about the language used for describing knowledge. A formal model is presented in which one can capture various assumptions frequently made about systems, such as whether they are deterministic or nondeterministic, whether knowledge is cumulative (which means that processes never "forget"), and whether or not the "environment" affects the state transitions of the processes. It is then shown that under some assumptions about the system and the language, certain states of knowledge are not attainable and the axioms of S5 do not completely characterize the properties of knowledge;extra axioms are needed. Complete axiomatizations for knowledge in a number of cases of interest are provided.
Standard epistemic logic studies reasoning patterns about 'knowing that', where interesting group notions of 'knowing that' arise naturally, such as distributed knowledge and common knowledge. In recen...
详细信息
ISBN:
(纸本)9783662556658;9783662556641
Standard epistemic logic studies reasoning patterns about 'knowing that', where interesting group notions of 'knowing that' arise naturally, such as distributed knowledge and common knowledge. In recent research, other notions of knowledge are also studied, such as `knowing whether', 'knowing how', and so on. It is natural to ask what are the group notions of these non-standard knowledge expressions. This paper makes an initial attempt in this line, by looking at the notion corresponding to distributed knowledge in the setting of 'knowing whether'. We introduce the distributed know-whether operator, and give complete axiomatizations of the resulting logics over arbitrary or S5 frames, based on the corresponding axiomatizations of 'knowing whether'.
The use of virtualization technologies and the introduction of multi-core processors have strongly influenced the way of designing and developing software systems. Thus controlling and effectively managing them is bec...
详细信息
ISBN:
(纸本)9780769549927
The use of virtualization technologies and the introduction of multi-core processors have strongly influenced the way of designing and developing software systems. Thus controlling and effectively managing them is became a fundamental issue, especially in distributed scenarios, as Clouds or Grids, providing QoS-assured services on demand. In this work, the authors propose the adoption of a management layer composed by several, parallel and cooperating sub-managers (acting as independent controllers) handling, each one, different aspects (i.e., concerns or topics) of the underlying control system. The separation of concerns, together with the parallelism of managers and with their fractal organisation, are fundamental for improving the performance of the whole management system.
Although Decision Support Systems (DSSs) to help control strategies have been developed and improved for about two decades, their technology is still limited to end-to-end Solutions. This paper proposes a framework fo...
详细信息
ISBN:
(纸本)9783642023187
Although Decision Support Systems (DSSs) to help control strategies have been developed and improved for about two decades, their technology is still limited to end-to-end Solutions. This paper proposes a framework for developing a Modular distributed Decision Support System (MDDSS), capable of handling global knowledge expressed in various forms and accessible by different users with different needs. The interaction of human experts in different parts of the world and intelligent distributed modules will allow the system to deal with increased Volume of knowledge (impossible with existing systems) and also to be easily upgradable to future technologies.
The aim of this paper is to offer mathematical proofs of Pawlak's rough set theory about distributed knowledge based on rough sets and relational databases. A case study on actual self-reported geriatric data for ...
详细信息
ISBN:
(纸本)9781424418206
The aim of this paper is to offer mathematical proofs of Pawlak's rough set theory about distributed knowledge based on rough sets and relational databases. A case study on actual self-reported geriatric data for survival analysis is presented to provide a computational evidence of the distributed knowledge. Risk factors, prolongation time prediction rules and validation are also computed and discussed. We illustrate that dividing a decision table (or database) into smaller units will in general result in the loss of some information by rough set theory.
暂无评论