Fuzzy logic allows effective decision making in the presence of uncertainty. Identifying spoken words, even in an ideal environment by a trained speaker, is a complex task filled with uncertainty. the speech waveform ...
详细信息
ISBN:
(纸本)0780336461
Fuzzy logic allows effective decision making in the presence of uncertainty. Identifying spoken words, even in an ideal environment by a trained speaker, is a complex task filled with uncertainty. the speech waveform is nonlinear and variant, removing the possibility of simple analysis. Dynamic programming is a time normalization technique that allows static templates to be used to identify spoken words. Fuzzy logic enhancements enable the technique to handle noise and quantization errors better and improves classification accuracy. An important consequence of using a fuzzy based system is that the system's confidence in its identification can be used to accept the identification or to request further information.
the proceedings contain 21 papers. the special focus in this conference is on Extensions of logicprogramming. the topics include: Semantics of constraint logic programs with bounded quantifiers;translating a modal la...
ISBN:
(纸本)9783540609834
the proceedings contain 21 papers. the special focus in this conference is on Extensions of logicprogramming. the topics include: Semantics of constraint logic programs with bounded quantifiers;translating a modal language with embedded implication into horn clause logic;pruning the search space of logic programs;a significant extension of logicprogramming by adapting model building rules;efficient resource management for linear logic proof search;a logic language based on GAMMA-like multiset rewriting;handling equality in logicprogramming via basic folding;an abstract machine for reasoning about situations, actions, and causality;on the computational complexity of propositional logic programs with nested implications;proof-theory for extensions of logicprogramming;a fibrational semantics for logic programs;language and implementation;a new framework for declarative programming;extending constructive negation for partial functions in lazy functional-logic languages;total correctness of logic programs;a declarative semantics for the prolog cut operator;a definitional approach to functional logicprogramming;soundness and completeness of non-classical extended SLD-resolution and some postulates for nonmonotonic theory revision applied to logicprogramming.
Object-oriented programming has been widely adopted as a powerful programming paradigm, enabling software engineers to design systems using structures which map naturally onto the problem domain. Using ideas from logi...
详细信息
ISBN:
(纸本)0780336461
Object-oriented programming has been widely adopted as a powerful programming paradigm, enabling software engineers to design systems using structures which map naturally onto the problem domain. Using ideas from logicprogramming, a class definition can be treated as a logictheory, making it amenable to formal reasoning. Each class corresponds to a set of objects in the problem domain. We extend this idea, so that an object may have a degree of membership in more than one class, i.e. each class represents a fuzzy set of objects in the problem domain. Uncertainty is also allowed in data values and computational methods associated with objects. the problem of multiple inheritance is addressed by including methods for resolving conflict in class definitions. A system is being implemented in Fril, to allow development of fuzzy object oriented knowledge-based applications. this system is known as Fril++. the ideas are also applicable to other logicprogramming systems, assuming a method can be programmed at the object or meta-level to deal with uncertainty in terms, relations, and inference.
Efficient implementation of advanced database programming languages call for investigating novel architectures and algorithms. In this paper, we discuss our implementation of SchemaLog, a logic-based database programm...
详细信息
ISBN:
(纸本)9780897918732
Efficient implementation of advanced database programming languages call for investigating novel architectures and algorithms. In this paper, we discuss our implementation of SchemaLog, a logic-based database programming language, capable of offering a powerful platform for a variety of database applications involving data/meta-data querying and restructuring. Our architecture for the implementation is based on compiling SchemaLog constructs into an extended version of relational algebra called SchemaLog. Based on this algebra, we develop a top-down algorithm for evaluating SchemaLog programs. We discuss three alternative storage structures for the implementation and study their effect on the efficiency of implementation. For each storage structure, we propose strategies for implementing our algebraic operators. We have implemented all these strategies on top of Microsoft Access DBMS running on Windows 3.1, and have run an extensive set of experiments for evaluating the efficiency of alternative strategies under a varied mix of querying and restructuring operations. We discuss the results of our experiments and conclude with a discussion of a graphic user interface for SchemaLog program development, that has also been implemented.
A term rewriting system is strongly innermost normalizing if every innermost derivation of it is of finite length. this property is very important in the integration of functional and logicprogramming paradigms. Unli...
详细信息
暂无评论