Friday, October 31, 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

Mostrando recursos 101 - 120 de 132,440

101. Automatic Systems Diagnosis Without Behavioral Models - Shekhar Gupta; Rui Abreu; Johan de Kleer; Arjan J.C. van Gemund
Recent feedback obtainedbased diagnosis (MBD) in industry suggests that the costs in- volved in behavioral modeling (both expertise and labor) can outweigh the benefits of MBD as a high-performance diagnosis approach. In this paper, we propose an automatic approach, called ANTARES, that completely avoids behavioral modeling. Decreasing modeling sacrifices diagnostic accuracy, as the size of the ambiguity group (i.e., components which cannot be dis- criminated because of the lack of information) increases, which in turn increases misdiagnosis penalty. ANTARES further breaks the ambiguity group size by considering the component#8217;s false negative rate (FNR), which is estimated using an analytical ex-...

102. On Applying Linear Tabling to Logic Programs - MIGUEL AREIAS
Logic programming languages, such as Prolog, are derived from Horn Clause Logicand provide a well understood resolution based inference mechanism. Although Prologis a popular and successful language, its potential is limited by the SLD resolutionmethod on which it is based. SLD resolution was proven to be inecient whendealing with innite loops and redundant subcomputations. Tabled evaluation isa recognized and powerful technique that overcomes those limitations on traditionalProlog systems based on SLD resolution. We can distinguish two main categoriesof tabling mechanisms: suspension-based tabling and linear-based tabling. Whilesuspension-based mechanisms are considered to obtain better results in general, theyhave more memory space requirements...

103. A Context-based Institutional Normative Environment - Eugénio Oliveira; Henrique Lopes Cardoso
We explore the concept of an agent-based Electronic Institution including a normative environment that supports electronic contract formation by providing a contextual normative background. We formalize the normative state using first-order logic and define institutional rules and norms operating on that state. A suitable semantics regarding the use of norms within a hierarchical context structure is given, based on norm activation conflict and defeasibility. Norm activation relies on substitution as in first-order logic. Reasoning about the fulfillment and violation of deadline obligations is formalized using linear temporal logic; implementation with institutional rules is discussed. Examples exploiting the normative environment are...

104. Strategies to parallelize ILP systems - Nuno A Fonseca; Fernado Silva; Rui Camacho
It is well known by Inductive Logic Programming (ILP) practionersthat ILP systems usually take a long time to nd valuable models(theories). The problem is specially critical for large datasets, preventingILP systems to scale up to larger applications. One approach to reducethe execution time has been the parallelization of ILP systems. In thispaper we overview the state-of-the-art on parallel ILP implementationsand present work on the evaluation of some major parallelization strategiesfor ILP. Conclusions about the applicability of each strategy arepresented.

105. Efficient Data Structures for Inductive Logic Programming - Nuno A Fonseca; Ricardo Rocha; Rui Camacho; Fernado Silva
This work aims at improving the scalability of memory usagein Inductive Logic Programming systems. In this context, we propose twoecient data structures: the Trie, used to represent lists and clauses;and the RL-Tree, a novel data structure used to represent the clausescoverage. We evaluate their performance in the April system using wellknown datasets. Initial results show a substantial reduction in memoryusage without incurring extra execution time overheads. Our proposal isapplicable in any ILP system.

106. Mimesis, Negação e a Origem da Lógica - António Machuco Rosa

107. Percepção e Construção Simbólica de Espaços Residenciais - Joaquim Sampaio; Teresa Sá Marques
Esta comunicação enquadra-se numa investigação sobre a construção simbólica de determinados espaços residenciais, entendidos simultaneamente como espaços físicos, espaços concebidos e espaços vividos, de acordo com a visão trialéctica do espaço. Neste momento, pretende-se fazer uma abordagem dos discursos que acompanham dois tipos de narrativas na produção e uso de espaços residenciais: por um lado, a oferta, associada a um marketing e uma publicidade que apelam a quot;novos imaginários, e, por outro lado, a procura, que demonstra quot;novas formas de vivencialidade residencial. Da oferta, pretende-se demonstrar a construção simbólica a partir do marketing e da publicidade ao apresentarem a quot;casa...

108. From sequential to Parallel Inductive LogicProgramming - Rui Camacho
Inductive Logic Programming (ILP) has achieved considerablesuccess in a wide range of domains. It is recognized however thateciency is a major obstacle to the use of ILP systems in applicationsrequiring large amounts of data. In this paper we address the problem ofeciency in ILP in three steps: i) we survey speedup techniques proposedfor sequential execution of ILP systems; ii) we survey dierent ways ofparallelizing an ILP system and; ii) adapt and combine the sequentialexecution speedup techniques in the parallel implementations of an ILPsystem. We also propose a novel technique to partition the search spaceinto independent sub-spaces that may be adequately...

109. A commodity platform for Distributed Data Mining -- the HARVARD System - Ruy Ramos; Rui Camacho; Pedro Ferreira Do Souto
Systems performing Data Mining analysis are usually dedicated and expensive. They often require special purpose machines to run the data analysis tool. In this paper we propose an architecture for distributed Data Mining running on general purpose desktop computers. The proposed architecture was deployed in the HARVesting Architecture of idle machines foR Data mining (HARVARD) system.The Harvard system has the following features. Does not require specialpurpose or expensive machines as it runs in general purpose PCs. It isbased on distributed computing using a set of PCs connected in a network. In a Condor fashion it takes advantage of a distributed...

110. Advanced Fuzzy Logic Heat Pump Controller - Tiago Oliveira

111. Resource lambda-calculus: the differential viewpoint - Thomas Ehrhard
Milner’s π calculus features a clear dichotomy between replicable and non-replicable resources, very much in the spirit of Linear Logic (LL). Analyzing Milner’s encoding of the lazy λ-calculus in the π-calculus, Boudol introduced the λ-calculus with resources [1, 2] where functions can be applied to bags made of replicable and non-replicable arguments. This refinement of the syntax required to stick to a lazy reduction strategy implemented with explicit substitutions, used to postpone linear substitutions of non replicable resources. Motivated by the discovery of denotational models of LL such as [3] where all morphisms of the associated cartesian closed category can...

112. Tres lecturas paródicas de la (de) / construcción de la nación - Usandizaga, Helena
En este trabajo, el examen somero de tres relatos que tienen que ver con la relectura de   acontecimientos  “nacionales”  o  “paranacionales”  o  hasta  “contranacionales” apunta al objetivo de observar el doble valor de la lectura paródica, de acuerdo a las distintas  funciones  que  se  le   adjudican,  como  algo  que  despolitiza  las  lecturas (Jameson), o que por el contrario, puede en  ciertos casos politizar la representación (Hutcheon).  Los  relatos  analizados  son,  en  primer  lugar,  “La  soberanía  nacional”, dentro de Historia Argentina (1991), de Rodrigo Fresán (Buenos Aires, 1963), que narra desde  tres  puntos  de  vista  –con  su  correspondiente  narrador  homodiegético-  un...

113. El espacio mitológico en la primera poesía de Diana Bellessi - Martínez Cabrera, Erika
En el año 2002 Diana Bellessi publicó La rebelión del instante, un libro en el que se escuchan los primeros pasos de su ya larga andanza poética. La contemplación mística del detalle, la mirada al pasado del mito y su vocación trascendente conforman el primer polo de la obra de esta poeta argentina, una obra que deja asomar en su segundo extremo –dialogante y contradictorio– una pulsión de cambio, una inquietud histórica, un nervio político que todo lo anima. Impulsado por esa lógica bicéfala, Crucero ecuatorial (1980) traza un largo viaje iniciático, que busca devolver el rostro a lo borrado...

114. Os significados de transgênicos entre graduandos recém-ingressos nos cursos de odontologia e fisioterapia em uma universidade pública no sudoeste da Bahia - Andrade, Jerry Adriane Pinto de; Becker, Maria Luiza Rheingantz; Burnham, Teresinha Froes; Vainstein, Marilene Henning
Este artigo é um recorte de uma pesquisa de doutorado que acompanhou os processos de to-mada de consciência de 46 alunos recém-ingressos nos cursos de Fisioterapia e Odontologia, nas disciplinas de Biologia Básica e Citologia e Genética, as quais foram ministradas pelo pes-quisador. Trata-se de uma pesquisa de natureza quali-quantitativa que utiliza diferentes ins-trumentos de coleta: questionário, mapas conceituais com uso do Cmap Tools e filmagens. En-tretanto, os dados apresentados aqui se referem à análise do questionário na categoria Implica-ção Significante, no primeiro momento da pesquisa. Essa análise tem como objetivo responder a um dos questionamentos da tese: Qual o...

115. De logica Spinozæ. - Lesbazeilles, Paul.
[Thesis].

116. Elementos de lógica. - Mendive, José, 1836-1906.
Mode of access: Internet.

117. Introduzione alla logica. - Ferrari, Ambrogio.
Mode of access: Internet.

118. Fondamenti del calcolo logico; memoria. - Nagy, Albino.
Mode of access: Internet.

119. Love's logic, and other stories, - Hope, Anthony, 1863-1933.
Mrs. Thistleton's princess.--the necessary resources.--Miss Gladwin's chance.--The prince consort.--What was expected of Miss Constantine.--Slim-fingered Jim.--The gray frock.--Foreordained.--Prudence and the bishop.--The opened door.--Love's logic.--"La mort à la mode."--The riddle of Countess Runa.--The lady of the flagon.--The duke's allotment.

120. The logic of socialism, - Claessens, August, 1885-1954.
Mode of access: Internet.

Página de resultados:
 

Busque un recurso