# Logic algorithms

Xem 1-20 trên 175 kết quả Logic algorithms
• ### FUZZY LOGIC – ALGORITHMS, TECHNIQUES AND IMPLEMENTATIONS

Algorithm is used to define the notion of decidability. It is a set of rules that precisely defines a sequence of operations. This is essential for computers to process information. Computer programs contain algorithms that detail specific instructions a computer should perform to carry out a specified task. The traditional computer program performs specific instructions sequentially, and uses crisp values of information which do not support uncertainties.

• ### Programmable Logic Controller

Despite the great technological advancement experienced in recent years, Programmable Logic Controllers (PLC) are still used in many applications from the real world and still play a central role in infrastructure of industrial automation. PLC operate in the factory-floor level and are responsible typically for implementing logical control, regulatory control strategies, such as PID and fuzzy-based algorithms, and safety logics. Usually PLC are interconnected with the supervision level through communication network, such as Ethernet networks, in order to work in an integrated form....

• ### FUZZY LOGIC – EMERGING TECHNOLOGIES AND APPLICATIONS

For the past years, the advancement and innovation of various fields of technology converge that resulted in the formation of emerging technologies. A technical innovation which represents progressive developments within a field of competitive advantage is considered as an emerging technology. In general, emerging technologies denote significant technology developments that capture new territory for the betterment of humanity. To date, creating new technologies and innovative algorithms is the focus of research and development.

• ### Logic For Computer Science Foundations of Automatic Theorem Proving

Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic.

• ### Logic kỹ thuật số thử nghiệm và mô phỏng P7

The ﬁrst ﬁve chapters provided a survey of algorithms for logic simulation, fault simulation, and automatic test pattern generation. That was followed by a brief survey of tester architectures and strategies to maximize tester effectiveness while minimizing overall test cost. We now turn our attention to methods for combining the various algorithms and testers in ways that make it possible to achieve quality levels consistent with product requirements and design methodologies.

• ### Logic kỹ thuật số thử nghiệm và mô phỏng P9

Numerous ATPG algorithms and heuristics have been developed over the years to test digital logic circuits. Some of these methods can trace their origins back to the very beginnings of the digital logic era. Unfortunately, they have proven inadequate to the task.

• ### Báo cáo khoa học: "Extending Lambek grammars: a logical account of minimalist grammars"

We provide a logical deﬁnition of Minimalist grammars, that are Stabler’s formalization of Chomsky’s minimalist program. Our logical deﬁnition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-asdeduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-uniﬁcation). Here we emphasize the connection to Montague semantics which can be viewed as a formal computation of the logical form. ...

• ### Báo cáo khoa học: "Learning Context-Dependent Mappings from Sentences to Logical Form"

We consider the problem of learning context-dependent mappings from sentences to logical form. The training examples are sequences of sentences annotated with lambda-calculus meaning representations. We develop an algorithm that maintains explicit, lambda-calculus representations of salient discourse entities and uses a context-dependent analysis pipeline to recover logical forms. The method uses a hidden-variable variant of the perception algorithm to learn a linear model used to select the best analysis.

• ### Báo cáo khoa học: "A LOGICAL SEMANTICS FOR FEATURE STRUCTURES"

Unification-based grammar formalisms use structures containing sets of features to describe linguistic objects. Although computational algorithms for unification of feature structures have been worked out in experimental research, these algcwithms become quite complicated, and a more precise description of feature structures is desirable. We have developed a model in which descriptions of feature structures can be regarded as logical formulas, and interpreted by sets of directed graphs which satisfy them.

• ### Dollar Cost Banding - A New Algorithm for Computing Inventory Levels for Army Supply Support Activities

Distribution Management (DM), formerly known as Velocity Management (VM), is an Army initiative to dramatically improve the performance of key logistics processes: distribution, repair, stockage determination, and financial management. This monograph describes how the then Velocity Management initiative was used to develop and implement a new algorithm for computing inventories maintained by Army supply support activities (SSAs). The new algorithm is called dollar cost banding (DCB), and it departs in important ways from the methodology that the Army had been using.

• ### Báo cáo khoa học: "An Entity-Mention Model for Coreference Resolution with Inductive Logic Programming"

The traditional mention-pair model for coreference resolution cannot capture information beyond mention pairs for both learning and testing. To deal with this problem, we present an expressive entity-mention model that performs coreference resolution at an entity level. The model adopts the Inductive Logic Programming (ILP) algorithm, which provides a relational way to organize different knowledge of entities and mentions.

• ### Báo cáo khoa học: "FEATURE LOGIC WITH WEAK CONSTRAINTS SUBSUMPTION"

In the general framework of a constraint-based grammar formalism often some sort of feature logic serves as the constraint language to describe linguistic objects. We investigate the extension of basic feature logic with subsumption (or matching) constraints, based on a weak notion of subsumption. This mechanism of oneway information flow is generally deemed to be necessary to give linguistically satisfactory descriptions of coordination phenomena in such formalisms.

• ### Báo cáo khoa học: "A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms"

We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to which it is applicable. In particular, unlike an Earley deduction generator (Shieber, 1988), it allows use of semantically nonmonotonic grammars, yet unlike topdown methods, it also permits left-recursion. The enabling design feature of the algorithm is its implicit traversal of the analysis tree for the string being generated in a semantic-head-driven fashion. ...

• ### Báo cáo khoa học: "AUTOMATED INVERSION OF LOGIC GRAMMARS FOR GENERATION"

We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation process: a parser and a generator for this language. The centerpiece of the system is the inversion algorithm designed to compute the generator code from the parser's PROLOG code, using the collection of minimal sets of essential arguments (MSEA) for predicates.

• ### Báo cáo khoa học: "CLASSICAL LOGICS FOR ATTRIBUTE-VALUE"

This paper describes a classical logic for attribute-value (or feature description) languages which ate used in urfification grammar to describe a certain kind of linguistic object commonly called attribute-value structure (or feature structure). Tile algorithm which is used for deciding satisfiability of a feature description is based on a restricted deductive closure construction for sets of literals (atomic formulas and negated atomic formulas). In contrast to the Kasper/Rounds approach (cf.

• ### Báo cáo khoa học: "AN ALGORITHM FOR GENERATING NON-REDUNDANT QUANTIFIER SCOPINGS"

This paper describes an algorithm for generating quantifier scopings. The algorithm is designed to generate only logically non-redundant scopings and to partially order the scopings with a given :default scoping first. Removing logical redundancy is not only interesting per se, but also drastically reduces the processing time. The input and output formats are described through a few access and construction functions. Thus, the algorithm is interesting for a modular linguistic theory, which is flexible with respect to syntactic and semantic framework. ...

• ### Implementation of DES Algorithm Using FPGA Technology

The goal of this project is to continue the work of a student who worked on a pipelined VHDL implementation of the DES algorithm. Two architectures are studied for this project: one which is the fastest possible and another one which results in the less area than the first architecture on the FPGA. The meaning of speed for this project is the throughput (number of bits processed per second) and the meaning of area is number of CLB’s.

• ### Eﬃcient Elliptic Curve Processor Architectures for Field Programmable Logic

Abstract Elliptic curve cryptosystems oﬀer security comparable to that of traditional asymmetric cryptosystems, such as those based on the RSA encryption and digital signature algorithms, with smaller keys and computationally more eﬃcient algorithms.

• ### Doctoral thesis summary: Concept learning for description logic based information systems

Research objectives: Building a method of granulating partitions of domain of interpretation in DLs. This method is base on bisimulation and using suitable selectors as well as information gain measure; proposing bisimulation-based concept learning algorithms for knowledge bases in DLs using Setting.