Saturday, August 23, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

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
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica
(1101) Aplicaciones de la lógica (1102) Lógica deductiva
(1103) Lógica general (1104) Lógica inductiva
(1105) Metodología (1199) Otras especialidades relativas a la lógica (especificar)

Mostrando recursos 1 - 20 de 129,781

1. ANALOG: A Logical Language for Natural Language Processing - Syed S. Ali
We present a formal description of a logical language that is based on a propositional semantic network. Variables in this language are not atomic and have potentially complex structure. We start from the individual components of a semantic network system, atomic nodes and relations that connect nodes, and provide a complete specification for the structure of nodes and a subsumption procedure between nodes. We differ from other work in subsumption in that the representation language is uniform and based on an extended first-order predicate logic. The language is particularly suitable for addressing some problems associated with natural language processing, namely...

2. Using Reconfigurable Computing techniques to Accelerate Problem in th CAD Domain: A Case Study with Boolean Satisfiability - Peixin Zhong; Pranav Ashar; Sharad Malik; Margaret Martonosi
The Boolean satisfiability problem lies at the core of several CAD applications, including automatic test pattern generation and logic synthesis. This paper describes and evaluates an approach for accelerating Boolean satisfiability using configurable hardware. Our approach harnesses the increasing speed and capacity of field-programmable gate arrays by tailoring the SAT-solver circuit to the particular formula being solved. This input-specific technique gets high performance due both to (i) a direct mapping of Boolean operations to logic gates, and (ii) large amounts of fine-grain parallelism in the implication processing. Overall, these strategies yields impressive speedups (>200X in many cases) compared to current...

3. Knowledge de re , Identity, And Games Of Imperfect Information - Ahti Pietarinen
Under its most fair-spoken interpretation, a form of knowledge that is known as de re knowledge means that an individual is picked in epistemic alternatives so that the identity of alternatives is not known to one who is making these choices. However, if individuals can be chosen outright, so that a sentence including some propositional attitudes such as knowledge or belief becomes true, these individuals have to be taken as being the same across the alternatives, experiencing only their local manifestations or aspects in some particular alternatives. It is this interpretation that amounts to de re or specific reading of...

4. Relevant Backtracking: Improved Intelligent Backtracking Using Relevance - Andrew Slater
This work investigates and develops a backtracking algorithm with a novel approach to enumerating and traversing search space. A basic logical framework inspired by relevant logics is presented, highlighting relationships between search and refutation proof construction. Mechanisation of a relevance aware Davis Putnam Logemann Loveland procedure is investigated, and this yields an intelligent backtracking algorithm with abilities similar to other mechanisms including extended freedom in manipulating search space or rearranging refutation proof construction. Simplicity is achieved by a separation of concerns of the underlying logic and the construction of a sound and complete algorithm. The key advantage in the method...

5. Contradicciones del poder popular en la cultura venezolana: Comunidad Casanova Norte del Municipio Heres del Estado Bolívar - Barreto Rivas, Jesús Edgardo
Rating the theoretical conception of popular power as a genuine expression of the social organizations in Venezuela, allows to explore the everyday practice of the society according to the various manifestations of legal, social, cultural, spiritual and ideological order as responses to emerging situations that emerge in the political and economic order. At the beginning of the 21st century, Venezuela experienced a political structure radicalized in the speeches of Latin American left and which represents a revolutionary sentiment with intentions of defragmenting the traditional logic of the bourgeois state, by created it a democratic and participatory State whose sovereignty resides...

6. Prácticas para abordajes estéticos gráficos en obras de arte - Barragán, Rö; Servat, Carlos; Galarza, Graciela; Chiodini, Virginia; Valenciano, Agustín; Garbin, Camilo
La determinación de las prácticas que se desarrollan como obra de arte objeto y obra de dominio público se efectúa a través de acuerdos. Porque ¿qué otra cosa son las prácticas artísticas, como la misma obra de arte, el impreso, el grabado, sino consensos?. Para graficar este concepto se remite al artículo Réquiem para el sténcil, donde se afirma desde múltiples espacios que el sténcil ha muerto. Bajo la aparente univocidad de aquel enunciado se encuentran diversos "muertos" con diversas "causas de muerte". Paradójicamente, el artículo afirma en su conclusión que el sténcil no ha muerto. Lo que trata allí es simplemente...

7. La dialéctica del amo y el esclavo en tres obras de muralistas americanos - Conles, Liliana Eva
La voz del amo y del esclavo forman parte de una relación en permanente tensión, entre las dos partes para asegurar la aparición de un saber “diferente y transgresor” al mismo tiempo que un saber “oficializado y reconocido como correcto”. Las repeticiones y diferencias manifestadas en la función, en la temática y en la técnica pictórica que expresan las relaciones de poder entre amos y esclavos, será analizada en tres obras provenientes del período clásico maya, del muralismo revolucionario mexicano y de la posmodernidad rioplatense de fines de siglo XX. Las imágenes que se han elegido para este fin son una escena...

8. The Logic and Mechanism of Homologous Recombination Partner Choice - Hong, Soogil; Sung, Youngjin; Yu, Mi; Lee, Minsu; Kleckner, Nancy; Kim, Keun P.
Recombinational repair of spontaneous double-strand breaks (DSBs) exhibits sister bias. DSB-initiated meiotic recombination exhibits homolog bias. Physical analysis in yeast reveals that, in both cases, recombination intrinsically gives homolog bias. From this baseline default, cohesin intervenes to confer sister bias, likely independent of cohesion. In meiosis, cohesin’s sister-biasing effect is counteracted by RecA-homolog Rad51 and its mediators, plus meiotic RecA- homolog Dmc1, which thereby restore intrinsic homolog bias. Meiotic axis complex Red1/Mek1/Hop1 participates by cleanly switching recombination from mitotic mode to meiotic mode, concomitantly activating Dmc1. We propose that a Rad51/DNA filament at one DSB end captures the intact sister,...

9. Building University timetables using Constraint Logic Programming - Christelle Gueret; Narendra Jussien; Patrice Boizumault; Christian Prins

10. Building University timetables using Constraint Logic Programming - Christelle Gueret; Narendra Jussien; Patrice Boizumault; Christian Prins

11. Parallel Logic Programming Systems on Scalable Architectures - Vítor Santos Costa; Ricardo Bianchini; Inês de Castro Dutra

12. Definability and Compression - Foto Afrati; Hans Leiß; Michel de Rougemont
A compression algorithm takes a finite structure of a class K as input and produces a finite structure of a different class K' as output. Given a property P on the class K defined in a logic L, we study the definability of property P on the class K'. We consider two compression schemas on unary ordered structures (words), a naive compression and the classical Lempel-Ziv. First-order properties of strings are first-order on naively compressed strings, but this fails for images, i.e. 2-dimensional strings. We present simple first-order properties of strings which are not first-order definable on strings compressed with...

13. A Modal Perspective on the Computational Complexity of Attribute Value Grammar - Patrick Blackburn; Edith Spaan
Many of the formalisms; used in Attribute Value grammar are notational variants of languages of propositional modal logic,. and testing whether two Attribute Value descriptions unify amounts to testing for modal satisfiability. In this paper we put this. observation to work. We study the complexity of the satisfiability problem for nine modal languages which mirror different aspects of AVS description formalisms, including the ability to express re-eintrancy, the ability to express generalisations, and the ability to express recursive constraints. Two mail techniques axe used: either Kripke models with desirable properties are constructed, or modalities are used to simulate fragments of...

14. Evaluating Parallel Logic Programming Systems on Scalable Multiprocessors - Vítor Santos Costa; Ricardo Bianchini; Inês de Castro Dutra
Parallel logic programming systems are sophisticated examples of symbolic computing systems. They address problems such as dynamic memory allocation, scheduling irregular execution patterns, and managing different types of implicit parallelism. Most parallel logic programming systems have been developed for bus-based shared-memory architectures. The complexity of parallel logic programming systems and the large amount of data they process raises the question of whether logic programming systems can still obtain good performance on scalable architectures, such as distributed shared-memory systems. In this work we use execution-driven simulation to investigate the access patterns and caching behaviour exhibited by a parallel logic programming system,...

15. Gerarchie normative - Guastini, Riccardo
Dopo un breve esame della letteratura esistente in tema di gerarchie normative, l'autore introduce quattro concetti di gerarchia: (i) la gerarchia formale, che si dà tra le norme che regolano la produzione del diritto e le norme create conformemente ad esse; (ii) la gerarchia materiale, che si dà tra due norme allorché una terza norma positiva proibisce all'una di contraddire l'altra; (iii) la gerarchia logica, che si dà tra due norme allorché una di esse verte sull'altra a livello di metalinguaggio; (iv) la gerarchia assiologica, che dipende dal giudizio di valore con cui gli interpreti attribuiscono ad una norma un valore superiore a quello dell'altra. L'autore utilizza...

16. El concepto de gesto como una propuesta metodológica para el análisis musical - Balderrabano, Sergio; Gallo, Alejandro; Mesa, Paula
Tanto en el contexto de la vida cotidiana como en el del ámbito musical, el término “gesto” conlleva múltiples acepciones. Dentro del campo específico de la música académica, el concepto de gesto musical suele remitir, frecuentemente, a una especie de “traducción” corporal que surge de la percepción de los emergentes sonoros de las obras musicales. Una de las acepciones básicas en la que coinciden diferentes teóricos es que la gestualidad musical remite a un tipo de movimiento que conlleva algún tipo de significación particular. Desde este lugar, dicho concepto nos enfrenta a un sentido de continuidad discursiva, de movimiento, que...

17. Conselhos imunizantes para o indivíduo saudável: o caso de um núcleo de pesquisa - Gomes, Ivan Marcelo
O presente texto apresenta o Núcleo de Pesquisa em Atividade Física & Saúde (NuPAF) da Universidade Federal de Santa Catarina, focalizando suas propostas para a formação do indivíduo saudável a partir das elaborações textuais de integrantes desse grupo de pesquisa. Para tanto, optamos por privilegiar as dissertações de mestrado produzidas no Programa de Pós- Graduação em Educação Física da UFSC. Destacamos, aqui, os conselhos - vinculados a ponderação e que serão descritos e analisados a partir de uma categoria denominada “vida equilibrada” - elaborados pelo núcleo interpretando-os a luz da lógica imunitária desenvolvida pelo filósofo Roberto Esposito.

18. Financiamento público-privado na copa do mundo de futebol no Brasil - Donha, Eliza Lins
Resumo: Com a escolha do Brasil como sede da copa de 2014, doze cidades foram selecionadas para sediar os jogos e, em cada uma dessas, foi escolhido um estádio, que sediará os jogos do evento. Desses doze estádios contemplados, nove são públicos e terão financiamento público para suas reformas e adequação ao caderno de encargos da FIFA; os demais estádios são particulares e terão financiamento de uma parceria público-privada. Portanto, essa dissertação se propõe a verificar a natureza do financiamento da reforma e adequação do estádio Joaquim Américo, do Clube Atlético Paranaense, sendo um dos estádios particulares escolhidos. Para atingirmos...

19. The physical and metaphysical works of Lord Bacon, including the advancement of learning and Novum organum / - Bacon, Francis, 1561-1626.; Devey, Joseph.
Mode of access: Internet.

20. Domain-Dependent Knowledge in Answer Set Planning - Tran Cao Son; Chitta Baral; Tran Hoai Nam; Sheila McIlraith
In this paper we consider three different kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative and relies on the language of logic programming with answer set semantics (LPASS). We show that the addition of these three kinds of control knowledge only involves adding a few more rules to a planner written in LPASS that can plan without any control knowledge. Thus domain dependent control knowledge can be modularly added to (or removed from) a planning problem without the need of modifying the planner. We formally prove the correctness of...

Página de resultados:
 

Busque un recurso