the proceedings contain 42 papers. the topics discussed include: causality, responsibility, and blame: a structural-model approach;fuzzy logic, annotation domains and semantic web languages;logicprogramming and uncer...
ISBN:
(纸本)9783642239625
the proceedings contain 42 papers. the topics discussed include: causality, responsibility, and blame: a structural-model approach;fuzzy logic, annotation domains and semantic web languages;logicprogramming and uncertainty;probabilistic logic networks in a nutshell;dynamics of beliefs;fuzzy classifiers: opportunities and challenges;a brief overview of research in argumentation systems;a brief overview of research in argumentation systems;argumentation frameworks as constraint satisfaction problems;on the equivalence of logic-based argumentation systems;bipolarity in argumentation graphs: towards a better understanding;handling enthymemes in time-limited persuasion dialogs;argumentation frameworks with necessities;a heuristics-based pruning technique for argumentation trees;on warranted inference in argument trees based framework;and uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation.
We have developed a new programming language for implementing distributed algorithms encoded by means of local computations [17]. this language, called Lidia, is based on a two-level transition system model: the first...
详细信息
ISBN:
(纸本)0769521606
We have developed a new programming language for implementing distributed algorithms encoded by means of local computations [17]. this language, called Lidia, is based on a two-level transition system model: the first level is used to specify the behavior of each single component, whereas the second level captures their interactions. Transitions are basically expressed in a precondition-effect style. Lidia depends on a logic,L*(infinity) that is used to express the preconditions of each transition. the main topic of this paper is to present the L*(infinity) language and to bring out some of its basic properties. Moreover we will take advantage of these properties to define a class of distributed algorithms encoded by means of local computations, that can be implemented in our programming language. the completeness of Lidia, related to the use of users defined functions, will represent the main result of this paper.
this paper presents the design and modeling issues of the fuzzy/scalar processor which is intended to perform standard scalar operations, as well as specialized fuzzy logic operations at very high speed. the reduced i...
详细信息
ISBN:
(纸本)0780336461
this paper presents the design and modeling issues of the fuzzy/scalar processor which is intended to perform standard scalar operations, as well as specialized fuzzy logic operations at very high speed. the reduced instruction set (RISC) architecture was chosen for the processor implementation. this high performance and, at the same time, extremely flexible device, can be used in a variety of applications where high speed standard and/or fuzzy logic operations are required. the high-level simulation results of the fuzzy/scalar reduced instruction set processor model (codename F/S RISC), are presented. the model built with Mentor Graphics' ″M″ language was simulated using Lsim simulator at the clock frequency of 100 MHz. the current technology for the implementation of F/S RISC processor is chosen to be 1.2 μm n-well CMOS.
the proceedings contain 64 papers. the topics discussed include: stabilization of continuous-time fractional positive systems with delays;fault detection for hybrid dynamical system application to winding machine;hier...
ISBN:
(纸本)9781467389532
the proceedings contain 64 papers. the topics discussed include: stabilization of continuous-time fractional positive systems with delays;fault detection for hybrid dynamical system application to winding machine;hierarchical fuzzy logic controller for a non-holonomic mobile robot;improvement of sensorless vector controlled induction motor drives using a new algorithm for the rotor resistance adaptation;filtering techniques for the system prognosis;stability and stabilization of positive Takagi-Sugeno fuzzy continuous systems with delay by linear programming;power system stabilizer parameters optimization using genetic algorithm;guaranteed cost control for uncertain discrete-time systems with two additive delays;and improved results on observer-based control for uncertain continuous-time systems.
the internet service NetTRS that enable to induction, evaluation, and postprocessing of decision rules is presented in the paper. the TRS library is the main part of the service. the TRS library makes possible, among ...
详细信息
ISBN:
(纸本)3540476938
the internet service NetTRS that enable to induction, evaluation, and postprocessing of decision rules is presented in the paper. the TRS library is the main part of the service. the TRS library makes possible, among others, induction of decision rules by means of tolerance rough sets model.
the most important open problem in the study of termination for logic programs is that of existential termination. In this paper we present a powerful transformational methodology that provides necessary (and, under s...
详细信息
Short circuit evaluation techniques play important roles in hardware design, programming and other fields of computer science. In this paper one of the most known and used fuzzy logic system, the Godel logic is consid...
详细信息
ISBN:
(数字)9783319272122
ISBN:
(纸本)9783319272122;9783319272115
Short circuit evaluation techniques play important roles in hardware design, programming and other fields of computer science. In this paper one of the most known and used fuzzy logic system, the Godel logic is considered. Various pruning algorithms are presented to quicken the evaluations of logical formulae in Godel logic. Simulation results show the efficiency of the presented techniques.
the Concurrent Constraint programming paradigm has been the subject of growing interest as the focus of a new paradigm for concurrent computation. Like logicprogramming it claims close relations to logic. In fact the...
详细信息
In this work we investigate how Distributed Shared Memory (DSM) architectures affect performance of or-parallel logicprogramming systems and how this performance approaches that of conventional C systems. Our work co...
详细信息
this paper proposes a multiobjective Cartesian Genetic programming with an adaptive population size to design approximate digital circuits via evolutionary algorithms, analyzing the trade-off between the most often us...
详细信息
ISBN:
(纸本)9783030375997;9783030375980
this paper proposes a multiobjective Cartesian Genetic programming with an adaptive population size to design approximate digital circuits via evolutionary algorithms, analyzing the trade-off between the most often used objectives: error, area, power dissipation, and delay. Combinational digital circuits such as adders, multipliers, and arithmetic logic units (ALUs) with up to 16 inputs and 370 logic gates are considered in the computational experiments. the proposed method was able to produce approximate circuits with good operational characteristics when compared with other methods from the literature.
暂无评论