Results 1 - 10 of 1,274

Toward a model of text comprehension and production

by Walter Kintsch, Teun A. Van Dijk - Psychological Review , 1978
"... The semantic structure of texts can be described both at the local microlevel and at a more global macrolevel. A model for text comprehension based on this notion accounts for the formation of a coherent semantic text base in terms of a cyclical process constrained by limitations of working memory. ..."
Abstract - Cited by 557 (12 self) - Add to MetaCart
to a paragraph from a psycho-logical research report, and methods for the empirical testing of the model are developed. The main goal of this article is to describe the system of mental operations that underlie the processes occurring in text comprehension and in the production of recall

A Bayesian Framework for the Analysis of Microarray Expression Data: Regularized t-Test and Statistical Inferences of Gene Changes

by Pierre Baldi, Anthony D. Long - Bioinformatics , 2001
"... Motivation: DNA microarrays are now capable of providing genome-wide patterns of gene expression across many different conditions. The first level of analysis of these patterns requires determining whether observed differences in expression are significant or not. Current methods are unsatisfactory ..."
Abstract - Cited by 491 (6 self) - Add to MetaCart
Motivation: DNA microarrays are now capable of providing genome-wide patterns of gene expression across many different conditions. The first level of analysis of these patterns requires determining whether observed differences in expression are significant or not. Current methods are unsatisfactory

Dyadic Semantics for Many-Valued Logics

by C. Caleiro, W. Carnielli, M. E. Coniglio, J. Marcos , 2003
"... This paper obtains an effective method which assigns two-valued semantics to every finite-valued truth-functional logic (in the direction of the so-called "Suszko's Thesis"), provided that its truth-values can be individualized by means of its linguistic resources. Such two-valued sem ..."
Abstract - Cited by 8 (5 self) - Add to MetaCart
semantics permit us to obtain new tableau proof systems for a wide class of finite-valued logics, including the main many-valued paraconsistent logics.

Institutional semantics for many-valued logics

by Răzvan Diaconescu
"... We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as traditional first-order many-valued logic and fuzzy multi-algebras, may be conservatively embedded into our abstract framework. Our ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
that our generic many-valued logic abstract model theory enjoys a couple of important institutional model theory properties that support the development of deep model theory methods. Key words: institutions, many-valued logic 1.

Functional Many-valued Logic and Global Predicate Compression

by unknown authors
"... Abstract. Knowledge-base systems must typically deal with imperfection in knowl-edge, in particular, in the form of incompleteness and uncertainty. Extensions to many-valued logic programming and deductive databases for handling incom-pleteness/uncertainty are numerous. They can broadly be character ..."
Abstract - Add to MetaCart
transformation of standard many-valued logics into functional many-valued logics with higher-order Herbrand interpretation types, and their flatten-ing into 2-valued logics with the ordinary Herbrand interpretations. We show that the global predicate compression and decompression are mutually inverse

Many-valued logic and qualitative modelling of electrical circuits

by Mark H. Le E - In Proceedings 14th International Workshop on Qualitative Reasoning , 2000
"... Several authors have reported previous work on qual-itative modelling of electrical systems by assumin g steady-state conditions and reducing circuits to net-works of resistive elements. This has been very suc-cessful in certain applications, particularly for Failure Mode Effects Analysis in automot ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
-ties remain and solutions to these would increase th e applicability of the method. In this paper we introduce further developments that address several of the remaining important issues and provide solutions to some recent obstacles. After de-scribing a series of problems, we draw on the field o f many-valued

SEQUENTIAL CALCULI FOR MANY-VALUED LOGICS WITH EQUALITY DETERMINANT

by Alexej P Pynko , 2004
"... Abstract We propose a general method of constructing sequential calculi with cut elimination property for propositional finitely-valued logics with equality determinant. We then prove the non-algebraizability of the consequence operations of cut-free versions of such sequential calculi. Key words a ..."
Abstract - Add to MetaCart
and phrases: many-valued logic, equality determinant, sequential calculus, cut elimination, algebraizable sequential consequence operation. One of the main issues concerning many-valued logics is to find their appropriate useful axiomatizations. Since the development of the formalism of many-place sequents

Logic methods for many-valued logics: Higher-order autoepistemic language concepts

by Zoran Majkic, Copyright Iicai - 4th Indian International Conference on Artificial Intelligence (IICAI-09 , 2009
"... Abstract. The higher-order types of Herbrand interpretations for databases arise often in practice when we have to deal with uncertain or imprecise information, or in constrained databases. They are a consequence of the introduction of a kind of the observational equivalence for the hidden informati ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
information in the ordinary Her-brand interpretations. It means that the logics for such databases are particular functional many-valued logics, where the set of algebraic truth values is a com-plete distributive lattice of functions from the set of values of hidden attributes to the 2-valued lattice

Classical Gentzen-type Methods in Propositional Many-Valued Logics

by Arnon Avron - In Fitting, M., & Orlowska, E. (Eds.), Theory and Applications in Multiple-Valued Logics , 2002
"... A classical Gentzen-type system is one which employs two-sided sequents, together with structural and logical rules of a certain characteristic form. A decent Gentzentype system should allow for direct proofs, which means that it should admit some useful forms of cut elimination and the subformula p ..."
Abstract - Cited by 6 (2 self) - Add to MetaCart
property. In this tutorial we explain the main difficulty in developing classical Gentzen-type systems with these properties for many-valued logics. We then illustrate with numerous examples the various possible ways of overcoming this difficulty. Our examples include practically all 3-valued logics

Many-Valued Similarity Modelling Traffic Signal Control

by Jarkko Niittymaki, Esko Turunen - In: Mayor G, Suner J (Eds) Proceedings of the EUSFLAT-ESTYLF Joint Conference. Universitat de les Illes Balears, European Society of Fuzzy Logic and Technology , 1999
"... A fuzzy control system based on a new method called maximal fuzzy similarity, in fact the equivalence relation of Lukasiewicz logic, is introduced to control an isolated pedestrian crossing signals. The main goal in this multi-objective optimization problem is to minimize both pedestrians ' and ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
; and vehicles' delay and make the tra c ow as u-ent and safe as possible. Lukasiewicz manyvalued logic in known to give solid mathematical foundations to fuzzy reasoning. Besides, simulations made by HUTSIM, a tra c simulation program, show that this method gives better results with respect to total
Results 1 - 10 of 1,274