Tracers provide users with useful information about program executions. In this paper we propose a "tracer driver", from a single tracer, it provides a powerful front-end for multiple dynamic analysis tools ...
详细信息
ISBN:
(纸本)1595930507
Tracers provide users with useful information about program executions. In this paper we propose a "tracer driver", from a single tracer, it provides a powerful front-end for multiple dynamic analysis tools while limiting the overhead of the trace generation. The tracer driver can be used both synchronously and asynchronously. The relevant execution events are specified by flexible event patterns and a large variety of trace data can be given either systematically or "on demand". The proposed tracer driver has been designed and experimented in the context of constraint logic programming, within GNU-Prolog. Its principles are, however, independent of the traced programming language. Experimental measures show that the flexibility and power of the described architecture are also the basis of reasonable performances. Copyright 2005 ACM.
In this paper, a rewrite theory for checking μ-calculus properties is developed. We use the same framework proposed in [11] and demonstrate how rewriting logic can be used as a unified formalism from model specificat...
详细信息
Attack graphs represent known attack sequences that attackers can use to penetrate computer networks. Recently, many researchers have proposed techniques for automatically generating attack graphs for a given computer...
详细信息
The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data repres...
详细信息
The alterability of rule is studied in this paper. Two ways are put forward: one is applying the technology of data mining to get it, here the theory of rough set and flow graph are mainly used, and the other is estim...
详细信息
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Description logics approach to the semantic...
详细信息
ISBN:
(纸本)9781581139648
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Description logics approach to the semantic-based composition of ad-hoc teams based on individuals skill profiles and on task description. The selection process is carried out using a novel Concept Covering algorithm that exploits the recently proposed Concept Abduction inference service in Description logics. The approach has been deployed as part of a skill management system that takes text files with curricula and project specifications as inputs and extracts from them available individual profiles and task descriptions, according to an ontology modeling skills. Copyright 2005 ACM.
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arise...
详细信息
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally;and for the modeling of business rules and policies, where rules with exceptions are often used. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system (a) is syntactically compatible with RuleML;(b) features strict and defeasible rules, priorities and two kinds of negation;(c) is based on a translation to logic programming with declarative semantics;(d) is flexible and adaptable to different intuitions within defeasible reasoning;and (e) can reason with rules, RDF, RDF Schema and (parts of) OWL ontologies.
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information about the communication language and proto...
详细信息
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information about the communication language and protocols available in a multiagent system is provided in the form of dialogue sequence patterns, possibly tagged with logical conditions and instance information. We describe an integrated social reasoning architecture m2InFFrA that is capable of (i) processing such patterns, (ii) making communication decisions in a boundedly rational way, and (iii) learning patterns and their strategic application from observation. Copyright 2005 ACM.
We present adversarial agent work being done in a real-time asynchronous environment, Asynchronous Chess (AChess). AChess is a real-time competitive experiment platform for developing new agent technologies using sing...
详细信息
ISBN:
(纸本)1577352491
We present adversarial agent work being done in a real-time asynchronous environment, Asynchronous Chess (AChess). AChess is a real-time competitive experiment platform for developing new agent technologies using single-agent reasoning and/or multi-agent cooperative strategies. We aim to provide a simplified asynchronous environment that is stochastic in its nature, but easily described from its foundations as a synchronized game. The goal is to design agent technologies that perform better in these domains than existing single- and multi-agent methods. This research applies to non-deterministic agent-based search and reasoning technologies for use in a simplified, yet still very complex, real-time environment for competitive and adaptive agents.
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying the logic programming research to the ...
详细信息
暂无评论