V.: A cube of proof systems for the intuitionistic predicate µ-, ν-logic
- Tarmo Uustalu; Varmo Vene
This paper is an attempt at a systematizing study of the proof theory of the intuitionistic predicate ; -logic (conventional intuitionistic predicate logic extended with logical constants and for the least and greatest xpoint operators on positive predicate transformers). We identify eight proof-theoretically interesting natural-deduction calculi for this logic and propose a classication of these into a cube on the basis of the embeddibility relationships between these. 1
Learning Behaviors Implemented As Fuzzy Logic And
- Andrea Bonarini
The implementation of behaviors for embodied autonomous agents by means of Fuzzy Logic Controllers (FLC) has natural and engineering motivations. Fuzzy logic is recognized as a powerful mean to represent approximation intrinsic in human (and animal) reasoning and reacting. On the other side, fuzzy logic shows flexibility and robustness, important in the implementation of artificial devices.
Focusing and polarization in intuitionistic logic
- Chuck Liang; Dale Miller
dale.miller at inria.fr Abstract. A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andreoli for linear logic has been applied to both the proof search and the proof normalization approaches to computation. Various proof systems in literature exhibit characteristics of focusing to one degree or another. We present a new, focused proof system for intuitionistic logic, called LJF, and show how other proof systems can be mapped into the new system by inserting logical connectives that prematurely stop focusing. We also use LJF...
Omni-Directional Camera and Fuzzy Logic Path Planner for Autonomous Sailboat Navigation
- Miguel Romero; Yan Guo; Sio-hoi Ieng; Ryad Benosman; Bruno Gas
Abstract. Autonomous surface vehicles are used to explore, measure and ob-serve many kinds of environments which are often complex and arise many chal-lenges. The ASAROME project 1 (Autonomous SAiling Robot for Oceanographic MEasurements) is focused on an autonomous sailboat to make measurements and observations in marine environments for extended periods. This paper describes a fuzzy inference engine which integrates a routing strategy for obstacle avoidance using an omnidirectional camera for obstacle detection system. 1
Optimal instruction scheduling using constraint logic programming
- M. Anton Ertl; Andreas Krall
Instruction scheduling is essential for the ecient operation of today's and to-morrow's processors. It can be stated easily and declaratively as a logic program. Consistency techniques embedded in logic programming enable the ecient solution of this problem. This paper describes an instruction scheduling program for the Motorola 88100 RISC processor, which minimizes the number of pipeline stalls. The scheduler is written in the constraint logic programming language ARISTO and uses a declara-tive model of the processor to generate an optimal schedule. The model uses lists of domain variables to represent the pipeline stages and describes the dependencies between instructions by...
A lab course of Computer Organization
- J. Real; J. Sahuquillo; A. Pont; L. Lemus; A. Robles
Lecture topics in Computer Organization courses offered by different Universities around the world do not differ significantly. This is because, in general, lecturers use the same textbooks and are inspired by common curriculum sources. However, lab courses and project assignments require more and more expensive resources (computers, assemblers or assembler simulators, logic circuit simulators, …) This fact, together with the rapid advance of these tools, causes lab courses to widely differ among universities. This paper summarizes the lab course on Computer Organization offered this year at the Technical University of Valencia, Spain. The course is composed by several experiences and...
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations
- Ofer Arieli; Arnon Avron
This paper has two goals. First, we develop frameworks for logical systems which are able to re
ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. Our second goal is to have a better understanding of the conditions that a useful relation for nonmonotonic reasoning should satisfy. For this we consider a sequence of generaliza-tions of the pioneering works of Gabbay, Kraus, Lehmann, Magidor and Makinson. These generalizations allow the use of monotonic nonclassical logics as the underlying logic upon which nonmonotonic reasoning may be based. Our sequence of frameworks culminates in what we call (following Lehmann) plausible, nonmonotonic,...
1X-Masking During Logic BIST and Its Impact on Defect Coverage
- Yuyi Tang; Hans-joachim Wunderlich; Piet Engelke; Student Member; Ilia Polian; Bernd Becker; Senior Member; Jürgen Schlöffel; Friedrich Hapke; Michael Wittke
Abstract—We present a technique for making a circuit ready for logic built-in self test by masking unknown values at its outputs. In order to keep the silicon area cost low, some known bits in output responses are also allowed to be masked. These bits are selected based on a stuck-at-detection based metric, such that the impact of masking on the defect coverage is minimal. An analysis based on a probabilistic model for resistive short defects indicates that the coverage loss for unmodeled defects is negligible for relatively low values of. Index Terms—Defect coverage, logic built-in self test (BIST), re-sistive bridging...
Journal of Philosophical Logic manuscript No. (will be inserted by the editor) Shallow Analysis and the Slingshot Argument
- Michael Baumgartner
Abstract According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing...
Design of Stuck at Fault Testable Conservative Logic based Flip-Flops and its Application Circuits
- M. K. Nigesh Praveen Kumar; A. Arul Rex
Abstract — This paper deals with the testable design of conservative logic based sequential circuits by using two test vectors. The conservative logic based sequential circuits are built from the reversible gates. This Reversible or information lossless circuits have extensive applications in quantum computing, optical computing, as well as ultra-low power VLSI circuits.The optimized designs of reversible D Latch,Reversible negative enable D latch,Master slave Flip-Flop,Double edge triggered Flip-Flops and its application circuits like reversible universal shift registers, four bit binary counter are proposed.This proposed design can identify any stuck-at-fault in the circuits and this proposed circuit is efficient than the...
Test Optimization for Core-based System-on-Chip
- Anders Larsson
THE SEMICONDUCTOR TECHNOLOGY has enabled the fabrication of integrated circuits (ICs), which may include billions of transistors and can contain all necessary electronic circuitry for a complete system, so-called System-on-Chip (SOC). In order to handle design complexity and to meet short time-to-market requirements, it is increasingly common to make use of a modular design approach where an SOC is composed of pre-designed and pre-verified blocks of logic, called cores. Due to imperfections in the fabrication process, each IC must be individually tested. A major problem is that the cost of test is increasing and is becoming a dominating part of...
Kernels and Distances for Structured Data
- Thomas Gärtner; John W. Lloyd; Peter A. Flach
This paper brings together two strands of machine learning of increasing importance: kernel methods and highly structured data. We propose a general method for constructing a kernel following the syntactic structure of the data, as defined by its type signature in a higher-order logic. Our main theoretical result is the positive definiteness of any kernel thus defined. We report encouraging experimental results on a range of real-world data sets. By converting our kernel to a distance pseudo-metric for 1-nearest neighbour, we were able to improve the best accuracy from the literature on the Diterpene data set by more than 10%.
La construcción de un territorio
- Caracciolo Vera, Román
El trabajo explora el proceso formativo del territorio de la Región Central Argentina a través de la construcción de los tendidos ferroviarios de mediados del siglo XIX. El análisis de una geografía específica y las condiciones físicas y económicas generadas por la ocupación colonial, en conjunto con una forma de intervenir el territorio, a través de las lógicas ferroviarias, permitirán establecer una lectura del proceso de construcción de la región. La visión conjunta del resultado final será desglosada para evaluar cuales son las reglas ocultas que determinan la identidad especifica de éste territorio, entendiendo que el mismo es el resultado...
Producción participativa del hábitat popular
- Boldrini Peralta, Paula Luciana
La investigación busca caracterizar el proceso de producción participativa del hábitat popular tomando como caso la conformación del aglomerado Gran San Miguel de Tucumán. Dicha temática requiere del estudio de políticas públicas de producción del hábitat, para comprender las lógicas de acción naturalizadas en estos procesos.
Para esto analiza la conformación del área metropolitana de Tucumán, reconociendo en la dinámica de los grupos vulnerables las posibles formas de condicionamiento a la participación en la producción del hábitat. Se toman dos casos concretos de producción participativa del hábitat en barrios populares, uno de gestión estatal, y otro autogestionado. De esta forma es...
Arquitecturas basadas en microservicios
- Pérez-Herrera Cuadrillero, Manuel
En este Trabajo Fin de Grado se ha realizado un estudio sobre una nueva tendencia emergente en el desarrollo de aplicaciones web. Esta tendencia se basa en un nuevo modelo de arquitectura conocido como micro servicios.
La utilización de arquitecturas basadas en micro servicios, supone un nuevo punto de vista en el desarrollo de aplicaciones web completamente diferente al que se ha estado desarrollando en los últimos años, durante los cuales las aplicaciones web se han desplegado generalmente siguiendo arquitecturas monolíticas.
Utilizando arquitecturas monolíticas el desarrollador descompone la aplicación web en tres capas: la interfaz de usuario, la lógica de la aplicación...
Some properties of analytic difference fields
- Rideau, Silvain
A decision support system coupling fuzzy logic and probabilistic graphical approaches for the agri-food industry: prediction of grape berry maturity
- Perrot, Nathalie; Baudrit, Cédric; Brousset, Jean-Marie; Abbal, Philippe; Guillemin, Herve; Perret, Bruno; Goulet, Etienne; Guerin, Laurence; Barbeau, Gérard; Picque, Daniel
Agri-food is one of the most important sectors of the industry and a major contributor to the global warming potential in Europe. Sustainability issues pose a huge challenge for this sector. In this context, a big issue is to be able to predict the multiscale dynamics of those systems using computing science. A robust predictive mathematical tool is implemented for this sector and applied to the wine industry being easily able to be generalized to other applications. Grape berry maturation relies on complex and coupled physicochemical and biochemical reactions which are climate dependent. Moreover one experiment represents one year and...
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
- De Groote, Philippe
On Logical Relations and Conservativity
- De Groote, Philippe
Abstract Categorial Parsing as Linear Logic Programming
- De Groote, Philippe