In this paper we add value-passing communication to hiddenCCS, a new formalism proposed in [G. Ciobanu, and D. Lucanu. Specification and Verification of Synchronizing Concurrent Objects. In E. Boiten, J. Derrick, and ...
详细信息
The integration of symbolic and neural-network-based artificial intelligence paradigms constitutes a very challenging area of research. The overall aim is to merge these two very different major approaches to intellig...
详细信息
This paper presents an inversion of the abstract unification operator for forward set-sharing analysis of logic programs. The inverted operator, called a backward abstract unification operator, computes all maximal pr...
详细信息
ISBN:
(纸本)1595930906
This paper presents an inversion of the abstract unification operator for forward set-sharing analysis of logic programs. The inverted operator, called a backward abstract unification operator, computes all maximal pre-conditions for a given equation and its post-condition. It is a key operator in a backward analysis. The maximal preconditions are obtained by first calculating a superset of all preconditions and then generating all maximal pre-conditions from the super-set. The latter step is transformed to the problem of finding all maximal models of a Boolean formula. Copyright 2005 ACM.
This paper introduces rule-based reasoning (RBR) Expert System for network fault and security diagnosis and a mechanism for optimization. In this system, we use agent collaboration mechanism which is the process that ...
详细信息
In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic logic. We use graded epistemic operators to re...
详细信息
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scal...
详细信息
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requirements documents and Business Activity Mo...
详细信息
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requirements documents and Business Activity Monitoring can provide static and dynamic evidence for requirements compliance, neither provides a formal, realtime presentation of requirements satisfaction. The REQMON research project is constructing and validating methods and tools for requirements specification and real-time monitoring. The challenge is to simplify monitoring system construction while ensuring the fidelity and expressiveness of its feedback. To address this challenge, our integrative approach leverages a formal monitoring abstraction layer, dynamically configurable distributed monitors, and commercial software to define a theory for specifying, developing, and analyzing requirements monitoring systems. This article presents an implementation of rule-based monitors, which are derived from system requirements. Such an implementation can simplify the specification of temporal requirements monitors and can be efficient, as our analysis shows.
It is well known by Inductive logic programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially critical for large datasets, preventing ILP syst...
详细信息
Some of the issues in case retrieval and maintenance of case-bases are discussed. Conventionally, nearest neighbor algorithm is applied for retrieval of similar cases. Uniqueness of feature-values is not rewarded in s...
详细信息
ISBN:
(纸本)1577352343
Some of the issues in case retrieval and maintenance of case-bases are discussed. Conventionally, nearest neighbor algorithm is applied for retrieval of similar cases. Uniqueness of feature-values is not rewarded in such similarity matching functions. In order to refine the retrieval process, a metric based on successful case usage in the past is incorporated. This metric is shown to be useful in case-base maintenance. Applications in Homoeopathy remedy and personal tour selection are presented with comparative results.
logic is a universal language of abstract concepts of two-valued world. Fuzzy logic is a cornerstone of abstraction of real (continuous) world. Granular Computing is aimed at the development, processing and exchanging...
详细信息
ISBN:
(纸本)0769522912
logic is a universal language of abstract concepts of two-valued world. Fuzzy logic is a cornerstone of abstraction of real (continuous) world. Granular Computing is aimed at the development, processing and exchanging information granules. Viewing such granules as abstractions of real world, their manipulation is ultimately governed by the mechanisms of logic, and fuzzy logic in particular. In this talk, we focus on a general platform of granular modeling - a paradigm that seamlessly combines the concepts of information granules with their logic processing cast in the operational framework of fuzzy sets. First, we outline the research agenda of granular modeling. Second, we elaborate on the architectural and algorithmic issues of granular models. The talk offers a systematic view at the development of information granules (realized as fuzzy sets and fuzzy relations) through descriptive, prescriptive, and hybrid approaches. Those approaches arise under the rubric of clustering and knowledge-based clustering. The processing core handling processing information granules involves a spectrum of logic constructs. Those include OR, AND, OR/AND fuzzy neurons. In conjunction to their basic logic characteristics articulated by means of "standard" logic operators (being realized via some t-and s-norms), we show how their underlying functionality could be augmented through more advanced constructs such as cardinal sums and uninorms. We discuss several categories of processing units aimed at referential processing supported by matching, inclusion, dominance, and difference fuzzy neurons. In the sequel, we present fundamental topologies of logic networks including logic processors, fuzzy multiplexers, and referential processing units. The issue of transparency-accuracy tradeoffs of granular models is presented along with various mechanisms of pruning logic networks and their underlying quantification aspects (articulated in the sense of the approximation error and being viewed vi
暂无评论