Tuesday, July 28, 2015

﻿

 Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía

## Clasificación por Disciplina

##### Nomenclatura Unesco > (11) Lógica

Mostrando recursos 81 - 100 de 146,035

81. Embodied concept formation and reasoning via neural-symbolic integration - Jiang, Min; Zhou, Changle; Chen, Shuo; 周昌乐; 江敏
Modern cognitive science [1] indicates that concepts stem from individual experience which more concretely means that an agent s concept system is generated by interactions between an agent s body and the environment it lives in In this study we present an approach that will enable Artificial Brains to generate embodied conceptual systems including a sophi ticated introspection mechanism that will allow them to transcend their initial conceptual limitations Our approach is based on extensions to formal concept analysis We use incomplete formal context, to represent the sensorimotor information of the body of an Artificial Brain and then use uncertain...

82. OPTICAL FUZZY IMAGE-PROCESSING BASED ON SHADOW-CASTING - LIN, SM; KUMAZAWA, I; ZHANG, SQ; 张四清
An optical system based on an area-coded scheme and the shadow-casting technique is proposed for fuzzy image processing. All of the fuzzy logic functions of two images can be implemented in parallel. The access of the fuzzy logic functions can be easily achieved by programming an LED source array in the system. Above all, no thresholding device is required. The experimental results are also given.

83. OPTICAL IMPLEMENTATION OF A SPATIAL-VARIANT FUZZY-LOGIC ARRAY - LIN, SM; ZHANG, SQ; CHEN, CS; KUMAZAWA, I; 张四清
An optical shadow-casting system is proposed to implement a spatial-variant fuzzy logic array. In the system, different logical functions can be performed in parallel by programming a spatial-variant control mask. Therefore, the system can carry out fuzzy multiple-instruction-stream-multiple-data-stream processing. Moreover, a compact spatial encoding scheme is suggested to save half of the spatial bandwidth needed for the system. The experimental results are also given.

84. PARALLEL OPTICAL FUZZY-LOGIC GATES BASED ON SPATIAL AREA-ENCODING TECHNIQUE - ZHANG, SQ; CHEN, CS; 张四清
A spatial area-encoding method is proposed to implement optical fuzzy logic gates in parallel. All the sixteen fuzzy logic gates of two fuzzy variables can be realized by changing the switching states of the lenses and corresponding threshold format of the thresholding device.

85. OPTOELECTRONIC IMPLEMENTATION OF A FUZZY WINNER-TAKE-ALL NETWORK FOR FUZZY-LOGIC INFERENCE - ZHANG, SQ; CHEN, CS; 张四清
A fuzzy winner-take-all model is proposed for performing fuzzy logic inference. An optoelectronic scheme for this model is presented, and experimental results are given.

86. A connectionist model for 2-dimensional modal logic - Jiang, Min; Yu, Yang; Chao, Fei; Shi, Minghui; Zhou, Changle; 周昌乐
Conference Name:2013 IEEE Symposium on Computational Intelligence for Human-Like Intelligence, CIHLI 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. Conference Address: Singapore, Singapore. Time:April 16, 2013 - April 19, 2013.

87. A Polymorphic Type System in Logic Programming - Li Huiqi; Zhao Zhizhuo; 李慧琪; 赵致琢
Conference Name:3rd International Conference on Intelligent System and Knowledge Engineering. Conference Address: Xiamen, PEOPLES R CHINA. Time:NOV 17-19, 2008.

88. Graded BDI models for agent architectures based on Lukasiewicz logic and propositional dynamic logic - Zhang, Xiaojun; Jiang, Min; Zhou, Changle; Hao, Yijiang; 张晓君; 江敏; 周昌乐
Conference Name:2012 International Conference on Web Information Systems and Mining, WISM 2012. Conference Address: Chengdu, China. Time:October 26, 2012 - October 28, 2012.

89. Modelo de computación conexionista inspirado en las redes de procesadores evolutivos y su aprendizaje - Díaz Martínez, Miguel Ángel
La informática teórica es una disciplina básica ya que la mayoría de los avances en informática se sustentan en un sólido resultado de esa materia. En los últimos a~nos debido tanto al incremento de la potencia de los ordenadores, como a la cercanía del límite físico en la miniaturización de los componentes electrónicos, resurge el interés por modelos formales de computación alternativos a la arquitectura clásica de von Neumann. Muchos de estos modelos se inspiran en la forma en la que la naturaleza resuelve eficientemente problemas muy complejos. La mayoría son computacionalmente completos e intrínsecamente paralelos. Por este motivo se les está llegando a considerar como nuevos...

90. Molecular Recognition of DNA by Small Molecules - Dervan, Peter B.
Chemists, like artists, are able to construct new three-dimensional objects, molecules and materials that exist only in the mind of a person. I became interested in creating novel molecular shapes with properties different from those found in nature shortly after arriving at Caltech in 1973. One cannot design without the brushes and paint of the craft. Indeed, modern organic chemists, standing on the shoulders of the pioneering achievements of Woodward, Corey, Merrifield, and others are able to apply the power of synthetic chemistry and the logic of incremental change to the field of structure–function. In early 1973, I was inspired...

91. Specification and Validation of Algorithms Generating Planar Lehman Words - Giorgetti, Alain; Senni, Valerio
International audience

92. Canonical forms for free κ-semigroups - Costa, José Carlos
Automata, Logic and Semantics

93. An S-adic characterization of minimal subshifts with first difference of complexity 1 ≤ p(n+1) - p(n) ≤ 2 - Leroy, Julien
Automata, Logic and Semantics

94. Risk managmenet based on fuzzy logic for a Francis turbine - Tobon-Meja, Diego; Hennequin, Sophie; Rezg, Nidhal; Castaneda, Leonel
International audience

95. Learning stable weights for data of varying dimension - Beliakov, G.; James, S.; Gómez, D.; Rodríguez, Juan Tinguaro; Montero de Juan, Francisco Javier
In this paper we develop a data-driven weight learning method for weighted quasiarithmetic means where the observed data may vary in dimension.

96. Pseudofinite and Pseudocompact Metric Structures - Goldbring, Isaac; Lopes, Vinicius Cifú
The definition of a pseudofinite structure can be translated verbatim into continuous logic, but it also gives rise to a stronger notion and to two parallel concepts of pseudocompactness. Our purpose is to investigate the relationship between these four concepts and establish or refute each of them for several basic theories in continuous logic. Pseudofiniteness and pseudocompactness turn out to be equivalent for relational languages with constant symbols, and the four notions coincide with the standard pseudofiniteness in the case of classical structures, but the details appear to be slightly more important here than in the usual translation of definitions...

97. Substructural Fuzzy-Relevance Logic - Yang, Eunsuk
This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm (based) systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication (without distributivity) and its neighbors. The algebraic structures corresponding to the systems are then defined, and completeness results are provided. We next consider fuzzy systems satisfying new...

98. Indiscernibles, EM-Types, and Ramsey Classes of Trees - Scow, Lynn
The author has previously shown that for a certain class of structures $\mathcal {I}$ , $\mathcal {I}$ -indexed indiscernible sets have the modeling property just in case the age of $\mathcal {I}$ is a Ramsey class. We expand this known class of structures from ordered structures in a finite relational language to ordered, locally finite structures which isolate quantifier-free types by way of quantifier-free formulas. This result is applied to give new proofs that certain classes of trees are Ramsey. To aid this project we develop the logic of EM-types.

99. Modelización y simulación dinámica de un automóvil deportivo de altas prestaciones - GARCÍA PÉREZ, ADRIÁN
Este Trabajo Fin de Grado consiste en la modelización del Porsche 911 Carrera S, uno de los modelos del mítico Porsche 911, que durante los años se ha fabricado siguiendo un estilo único que lo hace uno de los coches más emblemáticos de la historia del automovilismo. Durante el proyecto se ha llevado a cabo la modelización de todos los subsistemas que componen el vehículo a partir de los datos obtenidos y de las estimaciones que se consideraron oportunas al no disponer de toda la información necesaria. Todo esto se ha realizado utilizando una serie de programas informáticos auxiliares como Solidworks, Autodesk...

100. Logic for Automated Negotiation in E-Business - Cao, Mu-kun; Wang, Hong-li; 曹慕昆
Conference Name:International Colloquium on Computing, Communication, Control, and Management. Conference Address: Guangzhou, PEOPLES R CHINA. Time:AUG 04-05, 2008.