We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes an...
详细信息
We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and PSpace-complete w.r.t. acyclic TBoxes. this matches the known complexity bounds for reasoning in crisp ALCI.
In the present paper, resolution-based automatedreasoning method in lattice-valued propositional logic LP(X) with truth-value in lattice implication algebras is focused. Concretely,-group resolution method based on t...
详细信息
Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. this paper explores a way to integrate predicate a...
详细信息
Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. this paper explores a way to integrate predicate abstraction into a calculus for deductive program verification based on symbolic execution, where it allows us to infer loop invariants automatically that would otherwise have to be given interactively. the approach has been implemented as a part of the KeY verification system. (C) 2010 Elsevier B.V. All rights reserved.
the proceedings contain 85 papers. the topics discussed include: a method for dynamically creating data cube structures;multiobjective genetic programming with adaptive clustering;investigating adverse drug reactions ...
ISBN:
(纸本)9781457714788
the proceedings contain 85 papers. the topics discussed include: a method for dynamically creating data cube structures;multiobjective genetic programming with adaptive clustering;investigating adverse drug reactions using conceptual landscapes;a contextual logic grounded approach to visual arts;semantic evaluation of SQL queries;efficient relational keyword search system;using arguments on requirements for services;evaluation of network traffic prediction based on neural networks with multi-task learning and multiresolution decomposition;a probabilistic latent factor approach to service ranking;embedding value-based argumentation in persuasive dialogs;answering user queries from hotel ontology for decision making;code pattern recognition for a retargetable optimizer;new method of Detection and wiping of sensitive information;modeling the behavior of large scale reasoning systems using clustering and regression;and independent component analysis of color SIFT for image classification.
Metamodeling is foundational to many modeling frameworks, and so it is important to formalize and reason about it. Ideally, correctness proofs and test-case generation on the metamodeling framework should be automatic...
详细信息
ISBN:
(纸本)9783642244841;9783642244858
Metamodeling is foundational to many modeling frameworks, and so it is important to formalize and reason about it. Ideally, correctness proofs and test-case generation on the metamodeling framework should be automatic. However, it has yet to be shown that extensive automatedreasoning on metamodeling frameworks can be achieved. In this paper we present one approach to this problem: Metamodeling frameworks are specified modularly using algebraic data types and constraint logicprogramming (CLP). Proofs and test-case generation are encoded as CLP satisfiability problems and automatically solved.
the proceedings contain 11 papers. the topics discussed include: introduction to linked data and its lifecycle on the web;foundations of description logics;using SPARQL with RDFS and owl entailment;database foundation...
ISBN:
(纸本)9783642230318
the proceedings contain 11 papers. the topics discussed include: introduction to linked data and its lifecycle on the web;foundations of description logics;using SPARQL with RDFS and owl entailment;database foundations for scalable RDF processing;scalable OWL 2 reasoning for linked data;rules and logicprogramming for the web;OWL and rules;modeling the web of data;trust management methodologies for the web;application and evaluation of inductive reasoning methods for the semantic web and software analysis;probabilistic-logical web data integration;and an introduction to constraint programming and combinatorial optimization.
Music composition used to be a pen and paper activity. these days music is often composed withthe aid of computer software, even to the point where the computer composes parts of the score autonomously. the compositi...
详细信息
Music composition used to be a pen and paper activity. these days music is often composed withthe aid of computer software, even to the point where the computer composes parts of the score autonomously. the composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and formalising these rules in a suitable logical language, powerful and expressive intelligent composition tools can be easily built. this application paper describes the use of answer set programming to construct an automated system, named Anton, that can compose melodic, harmonic and rhythmic music, diagnose errors in human compositions and serve as a computer-aided composition tool. the combination of harmonic, rhythmic and melodic composition in a single framework makes Anton unique in the growing area of algorithmic composition. With near real-time composition, Anton reaches the point where it can not only be used as a component in an interactive composition tool but also has the potential for live performances and concerts or automatically generated background music in a variety of applications. Withthe use of a fully declarative language and an "off-the-shelf" reasoning engine, Anton provides the human composer a tool which is significantly simpler, more compact and more versatile than other existing systems.
logic programs with abstract constraint atoms provide a unifying framework for studying logic programs with various kinds of constraints. Establishing strong equivalence between logic programs is a key property for pr...
详细信息
ISBN:
(纸本)9783642208942;9783642208959
logic programs with abstract constraint atoms provide a unifying framework for studying logic programs with various kinds of constraints. Establishing strong equivalence between logic programs is a key property for program maintenance and optimization, and for guaranteeing the same behavior for a revised original program in any context. In this paper, we study strong equivalence of logic programs with abstract constraint atoms. We first give a general characterization of strong equivalence based on a new definition of program reduct for logic programs with abstract constraints. then we consider a particular kind of program revision-constraint replacements addressing the question: under what conditions can a constraint in a program be replaced by other constraints, so that the resulting program is strongly equivalent to the original one.
SLN is a loosely coupled semantic data model assigned for the network resource management. Integrating fuzzy logic into SLN can be used to handle the ambiguity, uncertainty and imprecision. this paper proposes a novel...
详细信息
Asynchronous memory operations provide a means for coping withthe memory wall problem in multicore processors, and are available in many platforms and languages, e.g., the Cell Broadband Engine, CUDA and OpenCL. Reas...
详细信息
暂无评论