the paper describes how Distributed Default logic (DDL) can be used as a formalism for context-aware computing in a Multi-Agent System. It is shown that the original notation does not require any changes. the DDL reas...
详细信息
ISBN:
(纸本)9783642135286
the paper describes how Distributed Default logic (DDL) can be used as a formalism for context-aware computing in a Multi-Agent System. It is shown that the original notation does not require any changes. the DDL reasoning engine has been adapted to handle situations like unavailability of sensors. New semantics of Distributed Default Rules in the application to reasoning with context information is also described.
By means of infinite product of uniformly distributed probability spaces of cardinal n the concept of pure truth degrees of propositions in the n-valued R0 logic system is introduced in the present paper. Inference ru...
详细信息
Description logics (DL) has become popular knowledge representation formalisms for various applications in the Semantic Web. However, DL has its limit in knowledge representation ability as it can only represent one f...
详细信息
Inductive logicprogramming (ILP) deals withthe problem of finding a hypothesis covering all positive examples and excluding negative examples. One of the sub-problems is specifying the structure of the hypothesis, t...
详细信息
ISBN:
(纸本)9783642154300
Inductive logicprogramming (ILP) deals withthe problem of finding a hypothesis covering all positive examples and excluding negative examples. One of the sub-problems is specifying the structure of the hypothesis, that is, the choice of atoms and position of variables in the atoms. In this paper we suggest using constraint satisfaction to describe which variables are unified in the hypotheses. this corresponds to finding the position of variables in atoms. In particular, we present a constraint model with index variables accompanied by a Boolean model to strengthen inference and hence improve efficiency. the efficiency of models is demonstrated experimentally.
Under the Ontology-based collaborative design framework constructed by OWL and SWRL, in order to further extend the expression and reasoning abilities of domain knowledge description and to achieve the reasoning based...
详细信息
ISBN:
(纸本)9783642160653
Under the Ontology-based collaborative design framework constructed by OWL and SWRL, in order to further extend the expression and reasoning abilities of domain knowledge description and to achieve the reasoning based on fuzzy theory, this paper expresses fuzzy domain knowledge by fuzzy logic and realizes the reasoning to make the design process more intelligent. First, fuzzy variables are formed by describing related fuzzy domain concepts and rules in OWL and SWRL. Fuzzy sets which are described by membership functions are then used to define fuzzy variables. At last, the fuzzy knowledge-based collaborative product design is completed by using fuzzy reasoning. A case of die selection shows the feasibility and intelligence of this approach.
this paper presents and evaluates an original approach to automatically align bitexts at the word level. It relies on a syntactic dependency analysis of the source and target texts and uses a machine-learning techniqu...
详细信息
ISBN:
(纸本)9782951740860
this paper presents and evaluates an original approach to automatically align bitexts at the word level. It relies on a syntactic dependency analysis of the source and target texts and uses a machine-learning technique, namely inductive logicprogramming, to automatically infer rules called syntactic alignment rules. these rules make the most of the syntactic information to align words. this machine learning approach is entirely automatic, requires a very small amount of training data, and its performance rivals some of the best existing alignment systems. Moreover, syntactic isomorphisms between the source language and the target language are easily identified through the inferred rules.
In this paper, a fuzzy logic model was created from a data set of 140 small programs developed with practices based on Personal Software Process (PSP) and then this fuzzy model was applied for predicting the productiv...
详细信息
Feature modeling has been found very effective for modeling and managing variability in Software Product Lines. the nature of feature models invites, sometimes even requires, the use of global constraints. this paper ...
详细信息
ISBN:
(纸本)9783642153952
Feature modeling has been found very effective for modeling and managing variability in Software Product Lines. the nature of feature models invites, sometimes even requires, the use of global constraints. this paper lays the groundwork for the inclusion of global constraints in automatedreasoning on feature models. We present a mapping from extended feature models to constraint logicprogramming over finite domains, and show that this mapping enables using global constraints on feature attributes, as well as features, for a variety of analysis operations on feature models. We also present performance test results and discuss the benefits of using global constraints.
Encapsulated abstractions are fundamental in object-oriented programming. A single class may employ multiple abstractions to achieve its purpose. Such abstractions are often related and combined in disciplined ways. T...
详细信息
ISBN:
(纸本)9781450302036
Encapsulated abstractions are fundamental in object-oriented programming. A single class may employ multiple abstractions to achieve its purpose. Such abstractions are often related and combined in disciplined ways. this paper explores ways to express, verify and rely on logical relationships between abstractions. It introduces two general specification mechanisms: export clauses for relating abstractions in individual classes, and axiom clauses for relating abstractions in a class and all its descendants. MultiStar, an automatic verification tool based on separation logic and abstract predicate families, implements these mechanisms in a multiple inheritance setting. Several verified examples illustrate MultiStar's underlying logic. To demonstrate the flexibility of our approach, we also used MultiStar to verify the core iterator hierarchy of a popular data structure library.
State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific types of MIP instances is challenging. We study...
详细信息
ISBN:
(纸本)9783642135194
State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific types of MIP instances is challenging. We study the application of an automated algorithm configuration procedure to different MIP solvers, instance types and optimization objectives. We show that this fully-automated process yields substantial improvements to the performance of three MIP solvers: CPLEX, GUROBI, and LPSOLVE. Although our method can be used "out of the box" without any domain knowledge specific to MIP, we show that it outperforms the CPLEX special-purpose automated tuning tool.
暂无评论