the proceedings contain 73 papers. the special focus in this conference is on Fuzzy Systems, Soft Computing - theory and Applications. the topics include: A new perspective on reasoning with fuzzy rules;on interpretab...
ISBN:
(纸本)9783540431503
the proceedings contain 73 papers. the special focus in this conference is on Fuzzy Systems, Soft Computing - theory and Applications. the topics include: A new perspective on reasoning with fuzzy rules;on interpretability of fuzzy models;degree of similarity in fuzzy partition;fuzzy set in default reasoning;interpolation in hierarchical rule-bases with normal conclusions;the dempster-shafer approach to map-building for an autonomous mobile robot with fuzzy controller;the fuzzy model for aircraft landing control;implementation of nonlinear fuzzy models using microcontrollers;a gain adaptive fuzzy logic controller;vehicle routing, scheduling and dispatching system based on HIMS model;similarity between fuzzy multi-objective control and eligibility;a fuzzy goal programming approach for solving bilevel programming problems;material handling equipment selection by fuzzy multi-criteria decision making methods;verbalizing computers - a way to everyday language computing;soft computing based emotion/intention reading for service robot;wavelet transform based fuzzy inference system for power quality classification;a fuzzy-neural technique for flashover diagnosis of winding insulation in transformers;feature identification for fuzzy logic based adaptive Kalman filtering;soft-computing technologies for biometric-applications;comparative study between different eigenspace-based approaches for face recognition;static signature verification employing a kosko-neuro-fuzzy approach;a study of electrophysiological experimentation and non-equilibrium information theory;characterization of non-linear cellular automata model for pattern recognition;recognition of handprinted bangla numerals using neural network models;a neural network based seafloor classification using acoustic backscatter and weather forecasting system based on satellite imageries using neuro-fuzzy techniques.
Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. the concurrency model offers coordination via lock-sync...
详细信息
this paper presents a new logic-based method of detecting incidents on signalized streets. the concept of the method is based on the fact that incidents, when reducing capacity of intersections, change the sequence of...
详细信息
this paper presents a new logic-based method of detecting incidents on signalized streets. the concept of the method is based on the fact that incidents, when reducing capacity of intersections, change the sequence of congested sections (congestion patterns) along an arterial street. Rules are derived that use discrepancies between expected and actual congestion patterns to detect the presence of incidents and to identify their location. the feasibility of the method was checked with computer simulation. the following features of the proposed method distinguish it from the existing methods: (1) any data that carries congestion information can be used; (2) all the rules applied to infer incident information are rigorously derived from the fundamental principles of traffic operations and not from subjective human knowledge; (3) the method estimates the range of possible values of capacities affected by the incident; and (4) the method is able to detect incident clearance. this paper presents a novel idea of detecting incidents rather than a fully verified method.
In this paper we consider the theory of fuzzy logicprogramming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjuncto...
详细信息
In this paper we consider the theory of fuzzy logicprogramming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjunctors and their residuals to aggregation operators. Rules of our programs are many valued implications. We emphasize, that in contrast to other approaches, our logic is truth functional, i.e. according to P. Hajek, we work in fuzzy logic in narrow sense. We prove the soundness and the completeness of our formal model. We deal with applications to threshold computation, abduction, fuzzy unification based on similarity. We show that fuzzy unification based on similarities has applications to fuzzy databases and flexible querying. (C) 2001 Elsevier Science B.V. All rights reserved.
In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this ...
详细信息
ISBN:
(纸本)3540420711
In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this language by describing some well known techniques for solving constraints over finite domains and non-linear constraints over real numbers via collaboration of solvers.
the proceedings contain 24 papers. the special focus in this conference is on Functional programming and logicprogramming. the topics include: A scalable architecture for proof-carrying code;parameterized logic progr...
ISBN:
(纸本)3540417397
the proceedings contain 24 papers. the special focus in this conference is on Functional programming and logicprogramming. the topics include: A scalable architecture for proof-carrying code;parameterized logic programs where computing meets learning;proving syntactic properties of exceptions in an ordered logical framework;a higher-order colon translation;compiling lazy functional programs based on the spineless tagless G-machine for the java virtual machine;a higher-order logicprogramming language with constraints;an effective bottom-up semantics for first-order linear logic programs;a framework for goal-directed bottom-up evaluation of functional logic programs;theoretical foundations for the declarative debugging of lazy functional logic programs;adding linear constrains over real numbers to curry;a complete selection function for lazy conditional narrowing;an abstract machine based system for a lazy narrowing calculus;incremental learning of functional logic programs;a general type inference framework for hindley/milner style systems;monadic encapsulation with stack of regions;well-typed logic programs are not wrong;a framework for analysis of typed logic programs;abstract compilation for sharing analysis;a practical partial evaluator for a multi-paradigm declarative language;a simple take on typed abstract syntax in ML-like languages;a simply typed context calculus with first-class environments and refining the barendregt cube using parameters.
In this paper we describe a first-order logic inference strategy based on information extracted from both conjunctive and disjunctive normal forms. We claim that the search problem for a proof can benefit from this fu...
详细信息
ISBN:
(纸本)3540420711
In this paper we describe a first-order logic inference strategy based on information extracted from both conjunctive and disjunctive normal forms. We claim that the search problem for a proof can benefit from this further information, extending the heuristic possibilities of resolution and connection proof methods.
the proceedings contain 20 papers. the special focus in this conference is on Artificial Intelligence and Symbolic Computation. the topics include: Artificial intelligence as a decision tool for efficient strategic an...
ISBN:
(纸本)9783540449904
the proceedings contain 20 papers. the special focus in this conference is on Artificial Intelligence and Symbolic Computation. the topics include: Artificial intelligence as a decision tool for efficient strategic and operational management;towards an internet standard for the administration, distribution, and teaching of mathematical knowledge;on communicating proofs in interactive mathematical documents;composite distributive lattices as annotation domains for mediators;a proof strategy based on a dual representation;formalizing rewriting in the acl2 theorem prover;additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices;reasoning about the elementary functions of complex analysis;solving nonlinear systems by constraint inversion and interval arithmetic;basic operators for solving constraints via collaboration of solvers;numerical implicitization of parametric hypersurfaces with linear algebra;a note on modeling connectionist network structures;a new artificial intelligence paradigm for computer-aided geometric design;how symbolic computation can benefit computer-aided geometric design;a rewriting based tool to design FPLA circuits;locally effective objects and artificial intelligence;negotiation algorithms for multi-agent interactions and some techniques of isomorph-free search.
the paper describes a general interaction algorithm for coordinating multi-agent plans. Triggered by a communication and negotiation protocol the coordination framework reconciles situations with negative interference...
详细信息
We present a new method for implicitization of parametric curves, surfaces and hypersurfaces usingessen tially numerical linear algebra. the method is applicable for polynomial, rational as well as trigonometric param...
详细信息
暂无评论