On the Subtle Nature of a Simple Logic of the Hide and Seek Game

2021 ◽  
pp. 201-218
Author(s):  
Dazhu Li ◽  
Sujata Ghosh ◽  
Fenrong Liu ◽  
Yaxin Tu
Keyword(s):  
Author(s):  
Omar Iván TREJOS BURITICÁ

Resumen En el presente artículo se acude a la Programación Funcional para generar una tabla de análisis de primalidad de números en un rango dado a partir del uso de un algoritmo que, por las necesidades del mismo objetivo, tiene características de ser eficiente. Se plantea la fundamentación de dicho algoritmo y además se aprovecha su estructura lógica para resolver el problema propuesto. El propósito de este artículo es mostrar una arista útil de la eficiencia algorítmica teniendo en cuenta las características tecnológicas modernas y los problemas que la matemática provee. Se hace uso del lenguaje de programación Scheme y se aprovechan sus potencialidades para manejo, tamaño y cálculo de datos. Se demuestra que, acudiendo a algoritmos eficientes y a una lógica muy simple, la tecnología computacional moderna puede ser de una inmensa utilidad para resolver problemas matemáticos. Palabras Clave: Algoritmo, eficiencia, matemáticas, números primos, programación funcional   Abstract In this article, we use Functional Programming to generate an analytic table of prime numbers in a specific range using an efficient algorithm. You can find the foundation and we use its logical structure to solve the problem. The proposal of this article is to show the useful face of the applied efficient algorithmic knowing the modern technologies y the math problems. We use Scheme as a programming language and we use its potentialities to manage, to storage and calculate data. We demonstrate that, using efficient algorithms and a simple logic, the computational technologies are very useful solving math problems. Keywords: Algorithm, efficiency, maths, prime numbers, Functional programming


2003 ◽  
Vol 10 (25) ◽  
Author(s):  
Dariusz Biernacki ◽  
Olivier Danvy

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lambda-calculus. The key transformation here is Reynolds's defunctionalization that transforms a tail-recursive, continuation-passing interpreter into a transition system, i.e., an abstract machine. Similar denotational and operational semantics were studied by de Bruin and de Vink in previous work (their article at TAPSOFT 1989), and we compare their study with our derivation. Additionally, we present a direct-style interpreter of propositional Prolog expressed with control operators for delimited continuations.<br /><br />Superseded by BRICS-RS-04-5.


2019 ◽  
Author(s):  
Amelia R. Hunt ◽  
Warren James ◽  
Josephine Reuther ◽  
Melissa Spilioti ◽  
Eleanor Mackay ◽  
...  

Here we report persistent choice variability in the presence of a simple decision rule. Two analogous choice problems are presented, both of which involve making decisions about how to prioritize goals. In one version, participants choose a place to stand to throw a beanbag into one of two hoops. In the other, they must choose a place to fixate to detect a target that could appear in one of two boxes. In both cases, participants do not know which of the locations will be the target when they make their choice. The optimal solution to both problems follows the same, simple logic: when targets are close together, standing at/fixating the midpoint is the best choice. When the targets are far apart, accuracy from the midpoint falls, and standing/fixating close to one potential target achieves better accuracy. People do not follow, or even approach, this optimal strategy, despite substantial potential benefits for performance. Two interventions were introduced to try and shift participants from sub-optimal, variable responses to following a fixed, rational rule. First, we put participants into circumstances in which the solution was obvious. After participants correctly solved the problem there, we immediately presented the slightly-less-obvious context. Second, we guided participants to make choices that followed an optimal strategy, and then removed the guidance and let them freely choose. Following both of these interventions, participants immediately returned to a variable, sub-optimal pattern of responding. The results show that while constructing and implementing rational decision rules is possible, making variable responses to choice problems is a strong and persistent default mode. Borrowing concepts from classic animal learning studies, we suggest this default may persist because choice variability can provide opportunities for reinforcement learning.


2017 ◽  
Vol 26 (3) ◽  
pp. 101-104 ◽  
Author(s):  
Terrance M. Scott ◽  
Justin T. Cooper

While functional behavior assessment (FBA) has been a part of special education law and embedded in Individuals With Disabilities Education Act (IDEA) since 1997, a precise definition of what actions or processes constitute a legal FBA has never been adequately addressed in the law. This article provides an overview of the underlying logic of FBA leading to effective function-based intervention. When focusing on a simplification of the logic behind FBA, there are three big ideas that serve as a foundation for considering the intersection of effectiveness and practicality: function matters, FBA requires repeated observations of behavior, and the only purpose of an FBA is to develop an effective intervention. These big ideas are discussed, leading to a conclusion as to how logic and simplicity must share priority in the process.


2014 ◽  
Vol 1693 ◽  
Author(s):  
David T. Clark ◽  
Robin F. Thompson ◽  
Aled E. Murphy ◽  
David A. Smith ◽  
Ewan P. Ramsay ◽  
...  

ABSTRACTWe present the characteristics of a high temperature CMOS integrated circuit process based on 4H silicon carbide designed to operate at temperatures beyond 300°C. N-channel and P-channel transistor characteristics at room and elevated temperatures are presented. Both channel types show the expected low values of field effect mobility well known in SiC MOSFETS. However the performance achieved is easily capable of exploitation in CMOS digital logic circuits and certain analogue circuits, over a wide temperature range.Data is also presented for the performance of digital logic demonstrator circuits, in particular a 4 to 1 analogue multiplexer and a configurable timer operating over a wide temperature range. Devices are packaged in high temperature ceramic dual in line (DIL) packages, which are capable of greater than 300°C operation. A high temperature “micro-oven” system has been designed and built to enable testing and stressing of units assembled in these package types. This system heats a group of devices together to temperatures of up to 300°C while keeping the electrical connections at much lower temperatures. In addition, long term reliability data for some structures such as contact chains to n-type and p-type SiC and simple logic circuits is summarized.


Author(s):  
Chuen-Sen Lin ◽  
Terry Lee ◽  
Bao-Ping Jia

Abstract This paper presents a method for the development of sets of symbolic inequalities in terms of link lengths for the prediction of the rotation capabilities of ground joints of single-loop five-bar linkages. The inequalities are obtained from the combination of the loop equation of a five-bar linkage and its derivatives and the application of simple logic operations. The rotation capabilities of ground joints are divided into three categories: the incomplete-rotation ground joints, the conditioned complete-rotation ground joints, and the unconditioned complete-rotation ground joints. The derived sets of inequalities define the domain, in a five-dimension space of the five link lengths, for each of the rotation categories. In this paper, the definition of each category is clearly described and the derivations of sets of inequalities are explained in details. A computer program was constructed to examine the completeness and correctness of the categorization method and to analyze the given five-bar linkages to determine the appropriate categories for their ground joints.


2019 ◽  
Vol 67 ◽  
pp. 64-71 ◽  
Author(s):  
Robby Janneck ◽  
Thomas S. Nowack ◽  
Florian De Roose ◽  
Hany Ali ◽  
Wim Dehaene ◽  
...  
Keyword(s):  

Author(s):  
F Foroughi ◽  
H Rahnejat ◽  
H Bera

First and second generation robots have been used cost effectively in high-volume ‘fixed’ or ‘hard’ automated manufacturing/assembly systems. They are ‘limited-ability’ devices using simple logic elements or primitive sensory feedback. However, in the unstructured environment of most manufacturing plants it is often necessary to locate, identify, orientate and position randomly presented components. Visual systems have been researched and developed to provide a coarse resolution outline of objects. More detailed and precise definition of parts is usually obtained by high resolution tactile sensing arrays. This paper reviews and discusses the current state of the art in tactile sensing.


Sign in / Sign up

Export Citation Format

Share Document