作者:
Benhamou, Belaïd
Domaine univ. S. Jerome Ave. Escadrille Normandie Niemen 13397 Marseille Cedex 20 France
Université d'Artois SP 18 Rue Jean Souvraz F 62307 Lens Cedex France
Many research works had been done in order to define a semantics for logic programs. the well know is the stable model semantics which selects for each program one of its canonical models. the stable models of a logic...
详细信息
logicprogramming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases,...
详细信息
ISBN:
(纸本)3540206426
logicprogramming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases, is somewhat restricted if Prolog is used as the specification/implementation language. these constraints are not related to theory viewpoint, where users can find many different models withtheir respective semantics; they concern practical implementation issues. the negation capabilities supported by current Prolog systems are rather limited, and a correct and complete implementation there is not available. Of all the proposals, constructive negation [1,2] is probably the most promising because it has been proven to be sound and complete [4], and its semantics is fully compatible with Prolog’s.
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such a...
详细信息
ISBN:
(纸本)9781728134857
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such as refactoring. Current tools that detect software problems does not aim to help students to learn withtheir own errors neither help teachers to use it to improve the way they teach object oriented programming (OOP) and software engineering disciplines. this work aims to develop an expert system module to improve the existent tools and help students and teachers in their tasks.
this paper studies an integrated optimization model of production planning with partner selection in a networked manufacturing system. An integrated multi-objective programming model is proposed and a numerical exampl...
详细信息
ISBN:
(纸本)9783642384271;9783642384264
this paper studies an integrated optimization model of production planning with partner selection in a networked manufacturing system. An integrated multi-objective programming model is proposed and a numerical example is illustrated. the result shows the effectiveness and feasibility of the model. the model is suitable for the decision of production planning in networked manufacturing environment.
Most existing approaches to targeting high-level software to FPGAs are based on extensions to C and do not map easily to the features and characteristics of modern FPGAs. these include massive parallelism and a variet...
详细信息
ISBN:
(纸本)9781424438914
Most existing approaches to targeting high-level software to FPGAs are based on extensions to C and do not map easily to the features and characteristics of modern FPGAs. these include massive parallelism and a variety of complex IP-blocks (eg. RAMs, DSPs). In this paper we discuss a hardware implementation of SR, a software language with first class concurrency and high-level IPC. We show that the language model can be implemented efficiently on an FPGA, and that it provides a natural means to encapsulate FPGA resources. We compare against a commercial C-based synthesis tool and achieve similar resource usage using a more expressive language.
One recent development in logicprogramming has been the application of abstract interpretation to verify the partial correctness of a logic program with respect to a given set of assertions. One approach to verificat...
详细信息
ISBN:
(纸本)3540206426
One recent development in logicprogramming has been the application of abstract interpretation to verify the partial correctness of a logic program with respect to a given set of assertions. One approach to verification is to apply forward analysis that starts with an initial goal and traces the execution in the direction of the control-flow to approximate the program state at each program point. this is often enough to verify that the assertions hold. the dual approach is to apply backward analysis to propagate properties of the allowable states against the control-flow to infer queries for which the program will not violate any assertion. this paper is a systematic comparison of these two approaches to verification. the paper reports some equivalence results that relate the relative power of various forward and backward analysis frameworks.
A same-syntax extension of RDF to first-order logic results in a collapse of the model theory due to logical paradoxes resulting from diagonalization. RDF is thus the wrong material for building the Semantic Web tower.
A same-syntax extension of RDF to first-order logic results in a collapse of the model theory due to logical paradoxes resulting from diagonalization. RDF is thus the wrong material for building the Semantic Web tower.
In this paper we sketch a vision of explainability of intelligent systems as a logic approach suitable to be injected into and exploited by the system actors once integrated with sub-symbolic techniques. In particular...
详细信息
ISBN:
(数字)9783030770914
ISBN:
(纸本)9783030770914;9783030770907
In this paper we sketch a vision of explainability of intelligent systems as a logic approach suitable to be injected into and exploited by the system actors once integrated with sub-symbolic techniques. In particular, we show how argumentation could be combined with different extensions of logicprogramming - namely, abduction, inductive logicprogramming, and probabilistic logicprogramming - to address the issues of explainable AI as well as some ethical concerns about AI.
this paper presents the method of FPGA-oriented synthesis of multiple-valued logical networks. Multiple-valued network consists of modules connected by multiple-valued signals. During synthesis each module is decompos...
详细信息
ISBN:
(纸本)9781509028160
this paper presents the method of FPGA-oriented synthesis of multiple-valued logical networks. Multiple-valued network consists of modules connected by multiple-valued signals. During synthesis each module is decomposed into smaller ones, that may be implemented using one logic cell. For this purpose the symbolic decomposition is applied. Since the decomposition of modules strongly depends on encoding of multivalued inputs and outputs, the result of synthesis depends on the order, in which the consecutive modules are implemented. In our approach we optimize this order using developmental genetic programming. Experimental results showed that our approach significantly reduces the cost of implementation.
暂无评论