Critiquing is a well-known form of user feedback in case-based recommender systems. A critique encodes the users preference in relation to a particular feature. For example, in a digital camera recommender a user may ...
详细信息
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input program before the actual reasoning sta...
详细信息
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input program before the actual reasoning starts. This prevents ASP to be effective on several classes of problems. In this paper we integrate answer set generation and constraint solving to reduce the memory requirements for a class of multi-sorted logic programs with cardinality constraints. We prove some theoretical results, introduce a provably sound and complete algorithm, and report experimental results showing that our approach can solve problem instances with significantly larger domains.
We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the actions of a malicious attacker. The approach r...
详细信息
Given a set of sequence diagrams, the problem of synthesis is of deciding whether there exists a satisfying object system and if so, synthesize one automatically. It is crucial in the development of complex systems, s...
详细信息
We develop an extension of second order logic (AF2) with monotone, and not only positive, (co)inductive definitions and a clausular feature which simplifies considerably the defining mechanism. A sound realizability i...
详细信息
We present the syntax and reduction rules for χ, an untyped language that is well suited to describe structures which we call "circuits" and which are made of parts that are connected by wires. To demonstra...
详细信息
This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use w...
详细信息
The emergence of World Wide Web has made flood of information. But the knowledge of the web resources has not been utilized fully yet. Traditional search engine does not satisfy user need. At this paper, the soft matc...
详细信息
In many application domains, there is a need for learning algorithms that generate accurate as well as comprehensible classifiers. In this paper, we present TRIPPER - a rule induction algorithm that extends RIPPER, a ...
详细信息
ISBN:
(纸本)1577352408
In many application domains, there is a need for learning algorithms that generate accurate as well as comprehensible classifiers. In this paper, we present TRIPPER - a rule induction algorithm that extends RIPPER, a widely used rule-learning algorithm. TRIPPER exploits background knowledge in the form of taxonomies over values of features used to describe data. We compare the performance of TRIPPER with that of RIPPER on a text classification problem (using the Reuters 21578 dataset). Experiments were performed using WordNet (a human-generated taxonomy), as well as a taxonomy generated by WTL (Word Taxonomy Learning) algorithm. Our experiments show that the rules generated by TRIPPER are generally more accurate and more concise (and hence more comprehensible) than those generated by RIPPER.
We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of PSM descriptions. Using the ACL2 functional logic,...
详细信息
暂无评论