The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proo...
ISBN:
(纸本)9783540516620
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer scientist perspective;independence results for calculi of dependent types;quantitative domains, groupoids and linear logic;graded multicategories of polynomial-time realizers;on the semantics of second order lambda calculus: From Bruce-Meyer-Mitchell models to hyperdoctrine models and vice-versa;dictoses;declarative continuations: An investigation of duality in programming language semantics;logicrepresentation in LF: Report on work in progress;unification properties of commutative theories: A categorical treatment;an abstract formulation for rewrite systems;from Petri nets to linear logic;an algebraic view of interleaving and distributed operational semantics for CCS;a dialectica-like model of linear logic;a final coalgebra theorem;temporal structures;compositional relational semantics for indeterminate dataflow networks;operations on records;projections for polymorphic strictness analysis;a category-theoretic account of program modules;a note on categorical datatypes;a set constructor for inductive sets in Martin-Löf's type theory.
作者:
PARIGOT, MEquipe de Logique
CNRS UA 753 Université Paris 7 UFR de Mathématiques 2 place Jussieu PARIS Cedex 05 75251 France
We analyse the algorithmic properties of programs induced by the choice of the representation of data in lambda-calculus. From a logical point of view there are two canonical ways of defining the data types: the itera...
详细信息
Generative policies have been proposed as a mechanism to learn the constraints and preferences of a system-especially complex systems such as the ones found in coalitions-in a given context so that the system can adap...
详细信息
ISBN:
(纸本)9783030172770;9783030172763
Generative policies have been proposed as a mechanism to learn the constraints and preferences of a system-especially complex systems such as the ones found in coalitions-in a given context so that the system can adapt to unexpected changes seamlessly, thus achieving the system goals with minimal human intervention. Generative policies can help a coalition system to be more effective when working in a distributed, continuously transforming environment with a diverse set of members, resources, and tasks. Learning mechanisms based on logicprogramming, e.g., Inductive logicprogramming (ILP), have several properties that make them suitable and attractive for the creation and adaptation of generative policies, such as the ability to learn a general model from a small number of examples, and being able to incorporate existing background knowledge. ILP has recently been extended with the introduction of systems for Inductive Learning of Answer Set Programs (ILASP) which are capable of supporting automated acquisition of complex knowledge such as constraints, preferences and rule-based models. Motivated by the capabilities of ILASP, we present AGENP, an Answer Set Grammar-based Generative Policy Framework for Autonomous Managed Systems (AMS) that aims to support the creation and evolution of generative policies by leveraging ILASP. We describe the framework components, i.e., inputs, data structures, mechanisms to support the refinement and instantiation of policies, identification of policy violations, monitoring of policies, and policy adaptation according to changes in the AMS and its context. Additionally, we present the main work-flow for the global and local refinement of policies and their adaptation based on Answer Set programming (ASP) for policy representation and reasoning using ILASP. We then discuss an application of the AGENP framework and present preliminary results.
We present STARLET, a new compiler compiler which compiles Extended Affix Grammars defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points wh...
详细信息
Neural networks have proven very useful in the field of pattern classification by mapping input patterns into one of several categories. The most popular methods of training neural networks use gradient descent techni...
详细信息
ISBN:
(纸本)1565550072
Neural networks have proven very useful in the field of pattern classification by mapping input patterns into one of several categories. The most popular methods of training neural networks use gradient descent techniques to minimize mean square error measured against a training set. The composition of this training set, therefore, will determine the performance of the resulting trained network. Deficiencies in the training set, such as unequal class representation or ineffective training vectors will diminish the network's ultimate performance. Additionally, the characteristics of the training set will implicitly set network performance goals that may or may not match the desired goals of the network designer. This paper investigates the utilization of a fuzzy system to overcome these training set inadequacies by incorporating performance goals into the training strategy. Fuzzy control is used to modify the learning rate parameter during backpropagation training. The method is tested using artificial training data and real-world hyperspectral imagery.
Specifying efficient evaluation strategies by meta-interpreters, and then eliminating the interpretation overhead by partial evaluation with respect to given object programs, is an elegant technique for the transforma...
详细信息
Probabilistic logic models are used ever more often to deal with the uncertain relations typical of the real world. However, these models usually require expensive inference procedures. Very recently the problem of id...
详细信息
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing biologists into tedious translation wo...
详细信息
The availability of automatic support may sometimes determine the successful accomplishment of a process. Such a support can be provided if a model of the intended process is available. Many real-world process models ...
详细信息
This paper is about the integration in a unique formalism of knowledgerepresentation languages such as those provided by description logic languages and rule-based reasoning paradigms such as those provided by logic ...
详细信息
暂无评论