Nomenclatura Unesco > (11) Lógica
http://biblioteca.universia.net/html_bura/vernivel/params/nivel/11.html
Mostrando recursos 1 - 20 de 135,740esUniversia Recursos de Aprendizajehttp://biblioteca.universia.net/img/logotipo.jpg
http://biblioteca.universia.net/
Continuation semantics for the Lambek-Grishin calculus
http://biblioteca.universia.net/html_bura/ficha/params/title/continuation-semantics-for-the-lambek-grishin-calculus/id/60202428.html
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a structured configuration of formulas A1,..., An. The absence of structural context in the succedent makes the analysis of a number of phenomena in natural language semantics problematic. A case in point is scope construal: the different possibilities to build an interpretation for sentences containing generalized quantifi...Raffaella Bernardia; Michael MoortgatbApplication-Specific Models and Pointcuts using a Logic Metalanguage
http://biblioteca.universia.net/html_bura/ficha/params/title/application-specific-models-and-pointcuts-using-logic-metalanguage/id/60202329.html
In contemporary aspect-oriented languages, pointcuts are usually specified directly in terms of the structure of the source code. The definition of such low-level point-cuts requires aspect developers to have a profound understanding of the entire ap-plication’s implementation and often leads to complex, fragile, and hard to maintain pointcut definitions. To resolve these issues, we present an aspect-oriented program-ming system that features a logic-based pointcut language that is open such ...Johan Brichau A; Andy Kellens BSemantic Structures and Logic Properties of Computer-Based System Dependability Cases” Nuclear En...
http://biblioteca.universia.net/html_bura/ficha/params/title/semantic-structures-and-logic-properties-of-computer-based-system-dependability/id/60202202.html
Abstract: This work addresses the issue of structuring the validation process of dependable computer based systems. It was motivated by the desire to make the licensing and certification of these systems more reliable and efficient. The paper analyses the structural, semantic and logic properties of the demonstration that a computer based system is adequately specified, designed and maintained in operations. Three classes of dependability claims are identified; those which address the enviro...Pierre-jacques CourtoisExporting the Bomb: Why States Provide Sensitive Nuclear Assistance
http://biblioteca.universia.net/html_bura/ficha/params/title/exporting-the-bomb-why-states-provide-sensitive-nuclear-assistance/id/60202179.html
Why do states provide sensitive nuclear assistance to nonnuclear weapon states, contributing to the international spread of nuclear weapons? Using a new dataset on sensitive nuclear transfers, this paper analyzes the determinants of sensitive nuclear assistance. I first describe a simple logic of the differential effects of nuclear proliferation, which I use to generate hypotheses about the conditions under which states provide sensitive nuclear assistance. I then show that the strategic cha...Matthew KroenigOn the complexity of delp through game semantics
http://biblioteca.universia.net/html_bura/ficha/params/title/on-the-complexity-of-delp-through-game-semantics/id/60201766.html
Defeasible Logic Programming (DeLP) is a general argumen-tation based system for knowledge representation and reason-ing. Its proof theory is based on a dialectical analysis where arguments for and against a literal interact in order to deter-mine whether this literal is believed by a reasoning agent. The semantics GS is a declarative trivalued game-based semantics for DeLP that is sound and complete for DeLP proof theory. Complexity theory is an important tool for comparing differ-ent formal...Laura A. Cecchi; Pablo R. Fillottrani; Guillermo R. SimariThe Continuum of metaphor processing
http://biblioteca.universia.net/html_bura/ficha/params/title/the-continuum-of-metaphor-processing/id/60201734.html
We describe the explanatory value of a relativistic account of metaphor processing in which different modes of metaphor interpretation are assumed to be operative in dif-ferent discourse contexts. Employing the cognitive psychological notion of a process-ing set, we explain why people might favor attributional interpretations of figurative expressions in some circumstances and analogical interpretations in others. Applying this logic to findings in the psycholinguistic literature on metaphor ...Heather Bortfeld; Matthew S. McgloneLorenz System Stabilization Using Fuzzy Controllers
http://biblioteca.universia.net/html_bura/ficha/params/title/lorenz-system-stabilization-using-fuzzy-controllers/id/60201629.html
Abstract: The paper suggests a Takagi Sugeno (TS) fuzzy logic controller (FLC) designed to stabilize the Lorentz chaotic systems. The stability analysis of the fuzzy control system is performed using Barbashin-Krasovskii theorem. This paper proves that if the derivative of Lyapunov function is negative semi-definite for each fuzzy rule then the controlled Lorentz system is asymptotically stable in the sense of Lya-punov. The stability theorem suggested here offers sufficient conditions for th...Radu-emil Precup; Marius L. TomescuSimilarity and Logic Based Ontology Mapping for Security Management
http://biblioteca.universia.net/html_bura/ficha/params/title/similarity-and-logic-based-ontology-mapping-for-security-management/id/60201528.html
Ontological issues have been widely researched, especially in the semantic web where ontologies are developed to strengthen the semantic layer of web information. As a result, the proliferation of ontologies necessitates a mapping approach. The existing mapping approaches are generally developed for generic ontologies such as linguistic ontologies. We envisage ontologies as formal knowledge bases basing on which mobile intelligent agents will communicate and reason with in order to perform co...Alfred Ka; Yiu Wong; An Paramesh; Pradeep Kumar RayA tableau-based theorem proving method for intuitionistic logic
http://biblioteca.universia.net/html_bura/ficha/params/title/tableau-based-theorem-proving-method-for-intuitionistic-logic/id/60201407.html
A new tableau-based calculus for first-order intuitionistic logic is proposed. The calculus is obtained from the tableau cal-culus for classical logic by extending its rules by A-terms. A-terms are seen as compact representation of natural deduction proofs. The benefits from that approach are two-fold. First, proof search methods known for classical logic can be adopted: Run-time-Skolemization and unification. In con-trast to the conventional tableau, sequent, or natural deduc-tion calculus f...Oliver Bittel; Fachhochschule KonstanzDescription Routines for Logic Regression License GPL (> = 2)
http://biblioteca.universia.net/html_bura/ficha/params/title/description-routines-for-logic-regression-license-gpl-gt-2/id/60201382.html
R topics documented: cumhaz........................................... 2 eval.logreg.......................................... 3 frame.logreg......................................... 4 logreg............................................ 6 logreg.anneal.control.................................... 14 logreg.mc.control...................................... 18 logreg.myown........................................ 20 logreg.savefit1........................................ 23 logreg.testdat.............Charles Kooperberg; Ingo Ruczinski; Maintainer Charles Kooperberg; Needscompilation YesDR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies
http://biblioteca.universia.net/html_bura/ficha/params/title/dr-negotiate-–-system-for-automated-agent-negotiation-with-defeasible/id/60201112.html
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic and are applied using the implemented defeasible reasoning system DR-DEVICE. The choice of defeasible logic is justified. The overall system architecture is described, and a particular negotiation case is presented in detail.Thomas Skylogiannis; Grigoris Antoniou; Nick Bassiliades; Guido GovernatoriParallel Algorithms for Logic Synthesis using the MIS Approach
http://biblioteca.universia.net/html_bura/ficha/params/title/parallel-algorithms-for-logic-synthesis-using-the-approach/id/60201095.html
Combinational logic synthesis is a very zmportant but compu-tutionally expensive phase of VLSI system design. Parallel pro-cessing offers an attructive solution to reduce this design cycle time. In this paper; we describe ProperMIS, a portable par-allel algorithm for logic synthesis based on the MIS multi-level logic synthesis system. As part of this work, we have developed novel parallel algorithms for the d@rent logic transformations of the MIS system. Our algorithm uses an asynchronous mes...Kaushik Det; John A. ChA Language for Description and Verification of Mobile Agent Algorithms
http://biblioteca.universia.net/html_bura/ficha/params/title/language-for-description-and-verification-of-mobile-agent-algorithms/id/60200930.html
Mobile agent technology has been widely adopted in network computing, whereas it remains a problem to design and verify the mobile agent algorithms in a platform independent way. In this paper, we propose a script language called SMAL to design the mobile agent algorithm. The semantics of SMAL is briefly introduced with its execution model. Furthermore, to verify the agent program in SMAL, a transformation function for converting SMAL program to Mobile UNITY specification is presented, which ...Xuhui Li; Jiannong Cao; Yanxiang HeD.: Smelly Owls – Design Anomalies in Ontologies
http://biblioteca.universia.net/html_bura/ficha/params/title/d-smelly-owls-–-design-anomalies-in-ontologies/id/60200649.html
In the last years, ontologies have played a major role for building large, distributed, and heterogeneous intelligent sys-tems. E.g., ontologies are one key technique of the semantic web layer. The development process of an ontology heavily depends on its evaluation. In this paper, we introduce several measures for the evaluation of ontological knowledge. Be-sides standard methods like taxonomic errors we also present novel metrics focusing on design anomalies. For the imple-mentation of thes...Joachim Baumeister; Dietmar SeipelCPT-L: an Efficient Model for Relational Stochastic Processes
http://biblioteca.universia.net/html_bura/ficha/params/title/cpt-l-an-efficient-model-for-relational-stochastic-processes/id/60200632.html
Agents that learn and act in real-world environ-ments have to cope with both complex state de-scriptions and non-deterministic transition be-havior of the world. Standard statistical rela-tional learning techniques can capture this com-plexity, but are often inefficient. We present a simple probabilistic model for such environ-ments based on CP-Logic. efficiency is main-tained by restriction to a fully observable setting. 1.Ingo Thon; Luc De RaedtTitle: Subsumption in the Description Logic
http://biblioteca.universia.net/html_bura/ficha/params/title/title-subsumption-in-the-description-logic/id/60200200.html
have received in my research work has been acknowledged. Additionally, I certify that I have not used any auxiliary sources and literature except those I cited in the thesis. Signature of Author i Description Logics are a family of knowledge representation formalisms for representing and reasoning about conceptual knowledge. Every DL system has reasoning services as an important component that infer implicit knowl-edge from the one explicitly given. Standard reasoning problems include concept...Quoc Huy Vu; Technische Universität Dresden; Huy VuA Low Power High-Speed 8-Bit Pipelining CLA Design Using Dual-Threshold Voltage Domino Logic” ,In
http://biblioteca.universia.net/html_bura/ficha/params/title/low-power-high-speed-8-bit-pipelining-cla-design-using/id/60199891.html
Abstract — A high speed and low power 8-bit carry-lookahead adder (CLA) using two-phase modified dual threshold voltage (dual-) domino logic blocks which are arranged in a PLA-like design style with pipelining is presented. The modified domino logic circuits employ dual- transistors and reversed bulk-source biases for reducing subthreshold leakage current when advanced deep submicron process is used. Moreover, an NMOS transistor is inserted in the discharging path of the output inverter such...Chua-chin Wang; Senior Member; Chi-chun Huang; Ching-li Lee; Tsai-wen ChengModel checking with multi-valued logics
http://biblioteca.universia.net/html_bura/ficha/params/title/model-checking-with-multi-valued-logics/id/60199856.html
Abstract. In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model check-ing. We then present a direct, automata-theoretic algorithm for multi-valued model checking with logics as expressive as the modal mu-calcul...Glenn Bruns; Patrice Godefroid1 E-5 Combinatorial Group Testing Methods for the BIST Diagnosis Problem
http://biblioteca.universia.net/html_bura/ficha/params/title/1-5-combinatorial-group-testing-methods-for-the-bist-diagnosis/id/60199804.html
Abstract- We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include iden-tification of erroneous test vectors, faulty scan cells, faulty modules, and faulty logic blocks in FPGAs. We develop an abstract model of this problem and show a fundamental correspondence to the well-established subject of Combinatorial Group Testing (CGT) [7]. Armed with this new perspective, we show how to im-prove on a number of existing t...Andrew B. Kahng; Sherief RedaTake Your Soul to School: Practical Applications For Holistic Classrooms
http://biblioteca.universia.net/html_bura/ficha/params/title/take-your-soul-to-school-practical-applications-for-holistic-classrooms/id/60199676.html
During this time of major educational upheaval and change, school curriculum has been dehumanized and centralized to include prescribed topics and standardized testing. As a result, teaching emphasizes the pragmatic and is mainly concerned with reportage, logic, analysis, and linearity. Adding to the stress of radical program modifications and expectations, teachers are further disconcerted and demoralized by public criticism and a call for greater accountability. They face uncertainty about ...Sharon M. Abbey