this book constitutes the refereed proceedings of the 4thinternationalconference on algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011.;the 12 revised full papers presented together with 4 invited ...
详细信息
ISBN:
(数字)9783642214936
ISBN:
(纸本)9783642214929
this book constitutes the refereed proceedings of the 4thinternationalconference on algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011.;the 12 revised full papers presented together with 4 invited articles were carefully reviewed and selected from numerous submissions. the papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, and algebraic aspects of cryptography.
As constraint logicprogramming matures and larger applications are built, an increased need arises for advanced development and debugging environments. Assertions are linguistic constructions which allow expressing p...
详细信息
ISBN:
(纸本)3540652248
As constraint logicprogramming matures and larger applications are built, an increased need arises for advanced development and debugging environments. Assertions are linguistic constructions which allow expressing properties of programs. Classical examples of assertions are type declarations. However, herein we are interested in supporting a more general setting [3, 1] in which, on one hand assertions can be of a more general nature, including properties which are statically undecidable, and, on the other, only a small number of assertions may be present in the program, i.e., the assertions are optional. In particular, we do not wish to limit the programming language or the language of assertions unnecessarily in order to make the assertions statically decidable. Consequently, the proposed framework needs to deal throughout with approximations [2]. the framework we propose (see [4]) is aimed at detecting deviations of the program behavior (symptoms) w.r.t. the given assertions, either statically (at compile-time) or dynamically (at run-time). Our approach is strongly motivated by the availability of analyzers for constraint logic programs which can statically infer a wide range of properties, from types to determinacy or termination
Constraint programming (CP) has proven useful in several areas, and though the initial impetus came from logicprogramming frameworks like CLP and CCP, the use of CP and constraint solving is obtaining wider appeal. W...
详细信息
the proceedings contain 10 papers. the special focus in this conference is on Foundations of Engineering Sciences. the topics include: Introduction to the seminar;an algebraic approach to performance analysis;classifi...
ISBN:
(纸本)9783540189237
the proceedings contain 10 papers. the special focus in this conference is on Foundations of Engineering Sciences. the topics include: Introduction to the seminar;an algebraic approach to performance analysis;classification and evaluation of parallel computer systems;shared memory, vectors, message passing, and scalability;communication techniques in parallel processing;two fundamental issues in multiprocessing;parallel programming support in ParaScope;automatic restructuring of Fortran programs for parallel execution;locating parallel numerical tasks in the solution of viscous fluid flow;on the multigrid acceleration approach in computational fluid dynamics.
We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We ...
详细信息
Multi-agent systems are widely used in modeling and control of modern industrial systems in such areas as transportation, supply chain management, simulations, and fault detection. these systems are often used for tas...
详细信息
ISBN:
(纸本)9781467345026;9781467345002
Multi-agent systems are widely used in modeling and control of modern industrial systems in such areas as transportation, supply chain management, simulations, and fault detection. these systems are often used for tasks where the environment is complex and constantly changing and thus requires a high degree of flexibility. In this paper, we propose a method to increase the flexibility and security of multi-agent systems by using dynamic decision support systems for intelligent agents. We demonstrate that this method significantly improves the flexibility and security of multi-agent systems by simplifying run-time modifications to the system.
this paper presents the pertinence of the use of the Answer Set programming (ASP) formalism for developing a computational model of a software agent for Computer Supported Collaborative Learning (CSCL) environments. T...
详细信息
ISBN:
(纸本)3540298967
this paper presents the pertinence of the use of the Answer Set programming (ASP) formalism for developing a computational model of a software agent for Computer Supported Collaborative Learning (CSCL) environments. this analytic model is based on a representation of for agent's beliefs about the learner and the domain, together withthe corresponding inference system withthe appropriate rules to derive new beliefs about the capabilities of the learner, and its use in order to support effective collaboration and maintain learning possibilities for the group members. the model provides a representation of the structural knowledge frontier and the social knowledge frontier of the learner, which are the components for the definition of the learner's zone of proximal development (zpd). Based on the zpd of its learner the agent can propose her a learning task and maintain the zpd for the learner in the group. the complete code of the model is presented in the declarative language of DLV, a logicprogramming language for implementing ASP models.
We illustrate the potential of conditional hedge transformations in Web-related applications on the example of P rho Log: an extension of logicprogramming with advanced rule-based programming features for hedge trans...
详细信息
ISBN:
(数字)9783642159183
ISBN:
(纸本)9783642159176
We illustrate the potential of conditional hedge transformations in Web-related applications on the example of P rho Log: an extension of logicprogramming with advanced rule-based programming features for hedge transformations, strategies, and regular constraints.
SENEX is an evolving set of computer tools for molecular pathology research,featuring display of molecular data through computed graphicalpresentations, and the actual customization of a computer language to fit the d...
详细信息
ISBN:
(纸本)9781450347242
SENEX is an evolving set of computer tools for molecular pathology research,featuring display of molecular data through computed graphicalpresentations, and the actual customization of a computer language to fit the domain of molecular pathology. Flexibility in retrieval of molecular data and the capacity to reason with molecular information necessitates careful consideration of how an object is compared with object specifications. Domain-specific considerations include contextual information, the concepts of generalization and uncertainty, multiple layers of structure within molecules, and different logic for comparing lists of objects. Specialized methods of generic functions are used to compare or match object specificafions with CLOS objects. Presentation of uncertainty in molecular data is a particularly difficult problem. the Common Lisp Object System (CLOS) in connection withthe CLOS metaobject protocol provides a powerful and portable programming environment for representation and reasoning with information in molecular pathology.
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 withtheir 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
暂无评论