INSPIRE Newsletter Fall 2022

https://scholarsmine.mst.edu/inspire-newsletters/1011/thumbnail.jp

Decidability of higher-order matching

We show that the higher-order matching problem is decidable using a game-theoretic argument.Comment: appears in LMCS (Logical Methods in Computer Science

The Mathematical Abstraction Theory, The Fundamentals for Knowledge Representation and Self-Evolving Autonomous Problem Solving Systems

The intention of the present study is to establish the mathematical fundamentals for automated problem solving essentially targeted for robotics by approaching the task universal algebraically introducing knowledge as realizations of generalized free algebra based nets, graphs with gluing forms connecting in- and out-edges to nodes. Nets are caused to undergo transformations in conceptual level by type wise differentiated intervening net rewriting systems dispersing problems to abstract parts, matching being determined by substitution relations. Achieved sets of conceptual nets constitute congruent classes. New results are obtained within construction of problem solving systems where solution algorithms are derived parallel with other candidates applied to the same net classes. By applying parallel transducer paths consisting of net rewriting systems to net classes congruent quotient algebras are established and the manifested class rewriting comprises all solution candidates whenever produced nets are in anticipated languages liable to acceptance of net automata. Furthermore new solutions will be added to the set of already known ones thus expanding the solving power in the forthcoming. Moreover special attention is set on universal abstraction, thereof generation by net block homomorphism, consequently multiple order solving systems and the overall decidability of the set of the solutions. By overlapping presentation of nets new abstraction relation among nets is formulated alongside with consequent alphabetical net block renetting system proportional to normal forms of renetting systems regarding the operational power. A new structure in self-evolving problem solving is established via saturation by groups of equivalence relations and iterative closures of generated quotient transducer algebras over the whole evolution.Comment: This article is a part of my thesis giving the unity for both knowledge presentation and self-evolution in autonomous problem solving mathematical systems and for that reason draws heavily from my previous work arxiv:1305.563

Music with Plants: Cultivating Bonds Between Grade-Schoolers and Nature Through Sound Design

Uma necessidade crescente para a consciencialização ambiental requer estratégias sensíveis que nos ajudem a repensar a forma como as interacções transformam o nosso habitat. As cidades modernas enfrentam agora o desaparecimento progressivo dos espaços verdes, do qual resulta a diminuição de oportunidades para as crianças brincarem (Costa & Costa, 2012; Ruggles, 2017). Esta dissertação propõe uma abordagem musical para nutrir os laços entre estudantes do ensino primário e a natureza.Como as plantas e os humanos experiência a vida em tempos muito diferentes, os últimos podem percepcionar as plantas como seres silenciosos e imóveis (Ruggles, 2017; Mancuso & Viola, 2016). A sua capacidade para sentir os elementos circundantes, para os quais não estamos despertos, tornam as plantas aliadas inestimáveis no caminho para uma relação mais consciente com o planeta que partilhamos. Campos de estudo como a ecologia acústica e a bioacústica das plantas começaram recentemente a florescer, inspirando artistas sonoros a explorar o mundo vegetal, combinando ciência e as artes (Patrão, Harvard University: Ex-centric Music Studies Conference, 2018).Na educação, por meio da brincadeira, as plantas poderão ter um papel significativo ao estimularem os sentidos e a ligação entre crianças que habitam os meios urbanos cada vez mais artificiais e o mundo dos seres vivos que as rodeiam (Costa & Costa, 2012).Este trabalho sugere que a música tem o potencial para intermediar estas interacções, proporcionando experiência significantes aos jovens participantes, trazendo para o mesmo espaço tecnologias digitais, música e plantas. Sendo que a música em si poderá ter a capacidade de fortalecer laços entre pessoas e promover e manter coesão de grupo. A música é "a cola social que amplia a cooperação e fortalece os sentimentos de união" (Honing, 2018).A growing need for environmental awareness requires sensitive strategies to help us rethink the way interactions transform our habitat. Modern cities are now faced with the progressive vanishing of green spaces, resulting in fewer opportunities for children to play (Costa & Costa, 2012; Ruggles, 2017). This work proposes a musical approach to nourishing the bonds between elementary-school students and nature. Since plants and humans experience life in very different time frames, humans might mistakenly perceive plants as quiet and motionless living-beings (Ruggles, 2017; Mancuso & Viola, 2016). The ability to sense elements of their surroundings to which we are unaware of, makes plants invaluable allies towards a more conscious relationship with the planet we share. Fields like acoustic ecology and plant bioacoustics have recently started to bloom, inspiring sound artists to discover the vegetal world combining science and the arts (Patrão, Harvard University: Ex-centric Music Studies Conference, 2018).In education, by the means of play, plants might perform a significant role in stimulating the senses and the connection between children inhabiting increasingly artificial cities and the world of living things that surrounds them (Costa & Costa, 2012). This dissertation suggests that music has the potential to intermediate these interactions and provide meaningful experiences to the young participants by bringing to common ground digital technology, music and plants. Being that music itself is thought to have capability to strengthen bonds between people, promote and maintain group cohesion. It is "the social glue that enhances cooperation and strengthens feelings of unity" (Honing, 2018)