Temporal description logic ALC-LTL not only has considerable expressive power, but also extends the description capability of description logic from the static domain to the dynamic domain. In this paper, ALC-LTL is a...
详细信息
When the initial requirements of a software project are not so consolidated and there is a gap from what the user is able to express and what actually is needed, it seems obvious that the traditional way of "wate...
详细信息
ISBN:
(纸本)9780769548401;9781467331272
When the initial requirements of a software project are not so consolidated and there is a gap from what the user is able to express and what actually is needed, it seems obvious that the traditional way of "waterfall" developing approach is not so much recommended. the Agile approach (based on iterative-incremental model) mitigates the possible risks by classical way of software development cycle proposing instead of "doing once for all", "a piece by piece" model, developing the software through a sort of "try & verify" incremental approach. In today complex context, where continues changing needs and hence instable requirements are present, adopting agile project organization approach is getting more and more frequent offering positive feedback results. What is going to be discussed in this paper can be seen through two parts. At first, there will be a short description of GQM & PSM methodologies, focused on selecting a number of "sensible" metrics in Agile based software development context, while the second part will be concentrated on the fuzzy set theory, fuzzy logic (withthe associated rule based reasoning model) and their implementation on the selected metrics in order to evaluate & monitor a general agile based software development project.
the proceedings contain 26 papers. the topics discussed include: computability and non-computability issues in amorphous computing;static single information form for abstract compilation;probabilistic inference and mo...
ISBN:
(纸本)9783642334740
the proceedings contain 26 papers. the topics discussed include: computability and non-computability issues in amorphous computing;static single information form for abstract compilation;probabilistic inference and monadic second order logic;Cinderella versus the wicked stepmother;worst- and average-case privacy breaches in randomization mechanisms;weak bisimulations for coalgebras over ordered functors;a context-free linear ordering with an undecidable first-order theory;open bisimulation for quantum processes;a modular LTS for open reactive systems;on properties and state complexity of deterministic state-partition automata;on union-free and deterministic union-free languages;a characterisation of languages on infinite alphabets with nominal regular expressions;formal verification of distributed algorithms: from pseudo code to checked proofs;and unique parallel decomposition in branching and weak bisimulation semantics.
Temporal logics for nested words are a specification formalism for procedural programs, since they express requirements about matching calls and returns. We extend this formalism to multiply nested words, which are na...
详细信息
We discuss a complete axiomatization of Monadic Second-Order logic (MSO) on infinite *** using model-theoretic methods, we give an alternative proof of D. Siefkes' result that a fragment with full comprehension an...
详细信息
Establishing local consistency is one of the most frequently used algorithmic techniques in constraint satisfaction in general and in spatial and temporal reasoning in particular. A collection of constraints is global...
详细信息
ISBN:
(纸本)9783642335570
Establishing local consistency is one of the most frequently used algorithmic techniques in constraint satisfaction in general and in spatial and temporal reasoning in particular. A collection of constraints is globally consistent if it is completely explicit, that is, every partial solution may be extended to a full solution by greedily assigning values to variables one at a time. We will say that a structure B has local-to-global consistency if establishing local-consistency yields a globally consistent instance of . this paper studies local-to-global consistency for ORD-Horn languages, that is, structures definable over the ordered rationals (
the use of role engineering has grown in importance withthe expansion of highly abstracted access control frameworks in organizations. In particular, the use of role mining techniques for the discovery of roles from ...
详细信息
ISBN:
(纸本)9780769547756
the use of role engineering has grown in importance withthe expansion of highly abstracted access control frameworks in organizations. In particular, the use of role mining techniques for the discovery of roles from previously deployed authorizations has facilitated the configuration of such frameworks. However, the literature lacks from a clear basis for appraising and leveraging the learning outcomes of the role mining process. In this paper, we provide such a formal basis. We compare sets of roles by projecting roles from one set into the other set. this approach allows to measure how comparable the two configurations of roles are, and to interpret each role. We formally define the problem of comparing sets of roles, and prove that the problem is NP-complete. then, we propose an algorithm to map the inherent relation among the sets based on algebraic expressions. We demonstrate the correctness and completeness of our solution, and investigate some further issues that may benefit from our approach, such as detection of unhandled perturbations or source misconfiguration.
In the literature on diagrammatic reasoning, Venn diagrams are abstractly formalized in terms of minimal regions. In view of the cognitive process to recognize Venn diagrams, we modify slightly the formalization by di...
详细信息
ADML is an architectural description language based on Dynamic Description logic for defining and simulating the behavior of system architecture. ADML is being developed as a new formal language and/or conceptual mode...
详细信息
Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate...
详细信息
ISBN:
(纸本)9781479902279
Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate problems in qualitative spatial and temporal reasoning into logic programs for answer set programming solvers. Each encoding reflects a different type of modeling abstraction. We evaluate our approach with two of the most well known qualitative spatial and temporal reasoning formalisms, the Interval Algebra and Region Connection Calculus. Our results show some surprising findings, including the strong performance of the solver for disjunctive logic programs over the non-disjunctive ones on our benchmark problems.
暂无评论