In its forty years of existence, Artificial Intelligence has suffered both from the exaggerated claims of those who saw it as the definitive solution of an ancestral dream — that of constructing an intelligent machine-and from its detractors, who described it as the latest fad worthy of quacks. Yet AI is still alive, well and blossoming, and has left a legacy of tools and applications almost unequalled by any other field-probably because, as the heir of Renaissance thought, it represents a (...) possible bridge between the humanities and the natural sciences, philosophy and neurophysiology, psychology and integrated circuits-including systems that today are taken for granted, such as the computer interface with mouse pointer and windows. This writing describes a few results of AI that have modified the scientific world, as well as the way a layman sees computers: thetechnology of programming languages, such asLISP-witness the unique excellence of academic departments that have contributed to them-thecomputing workstations-of which our modern PC is but a vulgarised descendant-theapplications to the educational field-e.g., the realisation of some ideas of genetic epistemology-and tointerdisciplinary philosophy-such as Hofstadter's associations between the arts and mathematics-and the use ofAI techniques in music and musicology. All this has led to a generalisation of AI towards Negrotti's overallTheory of the Artificial, which encompasses further specialisation such asartificial reality, artificial life, and applications ofneural networks among others. (shrink)

In a remarkable development, I have constructed a new definition for a self-delimiting universal Turing machine (UTM) that is easy to program and runs very quickly. This provides a new foundation for algorithmic information theory (AIT), which is the theory of the size in bits of programs for selfdelimiting UTM's. Previously, AIT had an abstract mathematical quality. Now it is possible to write down executable programs that embody the constructions in the proofs of theorems. So AIT goes from dealing with (...) remote idealized mythical objects to being a theory about practical down-to-earth gadgets that one can actually play with and use. (shrink)

• Lisp programs are Lisp data—abstract syntax. Programming languages need functions for their abstract • English is important for its semantics—not its syntax • The largest piece of cake—Kleene µ operator • An elephant never forgets and is faithful. • Resolution considered harmful. • Special provers are just strategies—Davis-Putnam • Programs as logical formulas—Algol 48 and Algol..

• Lisp was intended to be compiled at first. However, a universal Lisp function eval in 1959 to show that neater language for computability theory than Turing Steve Russell pointed out that the universal function taken as an interpreter for pure Lisp, and hand-compiled..

High school students are at risk for increased sedentary behavior due in part to a decrease in physical activity throughout adolescence and to required sedentary behavior during much of the school day. The purpose of the current study is to examine the impact of using activity workstations in a high school English class for struggling readers. Twenty high school students participated in the study. The participants completed a 16-week study where each participant used an activity workstation for 8 weeks (...) and a traditional desk for 8 weeks in a crossover design for a 40-min period during normal class. They responded to a series of subjective questions about reading and schoolwork at the beginning and end of each 8-week session and followed the READ 180 program designed to help struggling readers during the study. The results indicated that academic performance increased in both desk conditions during the study and from the beginning to the end of the study. In addition, there was a significant improvement in items in the subjective survey related to reading, motivation, and schoolwork in both desk conditions across the study. The current results suggest that using an activity workstation in the classroom did not negatively affect academic performance or students’ perceptions of working on academic assignments compared to the traditional desk condition. These results indicate that activity workstations could be implemented in classrooms to provide students with a non-sedentary option during the school day thus increasing physical activity in students. (shrink)

An analysis of student learning with the LISP tutor indicates that while LISP is complex, learning it is simple. The key to factoring out the complexity of LISP is to monitor the learning of the 500 productions in the LISP tutor which describe the programming skill. The learning of these productions follows the power‐law learning curve typical of skill acquisition. There is transfer from other programming experience to the extent that this programming experience involves the same (...) productions. Subjects appear to differ only on the general dimensions of how well they acquire the productions and how well they retain the productions. Instructional manipulations such as remediation, content of feedback, and timing of feedback are effective to the extent they give students more practice programming, and explain to students why correct solutions work. (shrink)

This chapter contains sections titled: Introduction The ACL2 System A Modeling Problem Case Studies.

There is more to legal knowledge representation than knowledge-bases. It is valuable to look at legal knowledge representation and its implementation across the entire domain of computerisation of law, rather than focussing on sub-domains such as legal expert systems. The DataLex WorkStation software and applications developed using it are used to provide examples. Effective integration of inferencing, hypertext and text retrieval can overcome some of the limitations of these current paradigms of legal computerisation which are apparent when they are used (...) on a stand-alone basis. Effective integration of inferencing systems is facilitated by use of a (quasi) natural language knowledge representation, and the benefits of isomorphism are enhanced. These advantages of integration apply to all forms of inferencing, including document generation and casebased inferencing. Some principles for development of integrated legal decision support systems are proposed. (shrink)

In this paper I explore the production aesthetics that define the sound of most arranged traditional music albums produced in the early 2000s in Istanbul,Turkey. I will focus on two primary aesthetic characteristics, the achievement of which consume much of the labor put into tracking and mix- ing: parlak (“shine”) and büyük ses (“big sound”). Parlak, at its most basic, consists of a pronounced high frequency boost and a pattern of harmonic distortion characteristics,and is often described by studio musicians and (...) engineers in Turkey as an exaggeration of the perceived brightness of the majority of Anatolian folk instruments. Büyük ses, which in basic terms connotes a high density of heterogeneous musical parts,in contrast to parlak has no relation to any known longstanding Anatolian musical performing traditions or timbral aesthetics, and is a recent development in Istanbul-produced record- ings.Parlak and büyük ses became widespread after 2000,accompanying the paradigm shift of Istanbul studios from analog to digital workflows. Parlak and büyük ses are of interest for reasons that transcend music-aesthetics. The successful creation of mixes with parlak and büyük ses necessitates a palpable change in the performance practice of folk music instruments, as well a fundamental reconfiguration of the social structure of music-making, which in turn involves new musical competences and conceptualizations of musical practice. Parlak and büyük ses are not just a result of using a particular set of technologies (i.e., microphones or effects plugins), but instead arise from arduous and detailed arrangement and nonlinear editing work that is made feasible through DAW (digital audio workstation) systems. Although parlak and büyük ses index the transformation of traditional music aesthetics in the context of digital audio recording production, and their production is at the forefront of concerns of the professionals working in the recording studio environment, the terms are never mentioned in published music criticism, and only usually uttered in the studio context at the inception of a project and at the completion of a mix. Considerable preemptive work is done by studio musicians, engineers, and arrangers to avoid the need for the terms to be mentioned at all. (shrink)

Istanbul is home to a multimillion dollar transnational music industry, which every year produces thousands of digital music recordings, including widely distributed film and television show soundtracks. Today, this centralized industry is responding to a growing global demand for Turkish, Kurdish, and other Anatolian ethnic language productions, and every year, many of its top-selling records incorporate elaborately orchestrated arrangements of rural folksongs. What accounts for the continuing demand for traditional music in local and diasporic markets? How is tradition produced in (...) twenty-first century digital recording studios, and is there a "digital aesthetics" to contemporary recordings of traditional music? -/- In Digital Tradition: Arrangement and Labor in Istanbul's Recording Studio Culture, author Eliot Bates answers these questions and more with a case study into the contemporary practices of recording traditional music in Istanbul. Bates provides an ethnography of Turkish recording studios, of arrangers and engineers, studio musicianship and digital audio workstation kinesthetics. Digital Traditions investigates the moments when tradition is arranged, and how arrangement is simultaneously a set of technological capabilities, limitations and choices: a form of musical practice that desocializes the ensemble and generates an extended network of social relations, resulting in aesthetic art objects that come to be associated with a range of affective and symbolic meanings. Rich with visual analysis and drawing on Science & Technology Studies theories and methods, Digital Traditions sets a new standard for the study of recorded music. Scholars and general readers of ethnomusicology, Middle Eastern studies, folklore and science and technology studies are sure to find Digital Traditions an essential addition to their library. (shrink)

The Lisp programming language is often described as the first functional programming language and also as an important early AI language. In the history of functional programming, however, it occupies a rather anomalous position, as the circumstances of its development do not fit well with the widely accepted view that functional languages have been developed through a theoretically-inspired project of deriving practical programming languages from the lambda calculus. This paper examines the origins of Lisp in the early AI (...) programming work of the mid-to-late 1950s, and in particular in the work of Allen Newell, Cliff Shaw and Herbert Simon. Their 1956 program, the Logic Theory Machine, introduced new ideas about data and program structures that were articulated in response to perceived limitations in existing programming technique. Later writers, notably John Backus, have described these features as constituting a “programming language style” distinct from the traditional style that preceded it. The paper examines the origins of the earlier style in practices of manual computation, analyses the key technical differences between it and the style first manifested in the Logic Theory Machine, and concludes that programming practice and experience play a large and underappreciated role in the development of programming styles and languages. (shrink)

Biometric technologies are becoming more pervasive in the workplace, augmenting managerial processes such as hiring, monitoring and terminating employees. Until recently, these devices consisted mainly of GPS tools that track location, software that scrutinizes browser activity and keyboard strokes, and heat/motion sensors that monitor workstation presence. Today, however, a new generation of biometric devices has emerged that can sense, read, monitor and evaluate the affective state of a worker. More popularly known by its commercial moniker, Emotional AI, the technology stems (...) from advancements in affective computing. But whereas previous generations of biometric monitoring targeted the exterior physical body of the worker, concurrent with the writings of Foucault and Hardt, we argue that emotion-recognition tools signal a far more invasive disciplinary gaze that exposes and makes vulnerable the inner regions of the worker-self. Our paper explores attitudes towards empathic surveillance by analyzing a survey of 1015 responses of future job-seekers from 48 countries with Bayesian statistics. Our findings reveal affect tools, left unregulated in the workplace, may lead to heightened stress and anxiety among disadvantaged ethnicities, gender and income class. We also discuss a stark cross-cultural discrepancy whereby East Asians, compared to Western subjects, are more likely to profess a trusting attitude toward EAI-enabled automated management. While this emerging technology is driven by neoliberal incentives to optimize the worksite and increase productivity, ultimately, empathic surveillance may create more problems in terms of algorithmic bias, opaque decisionism, and the erosion of employment relations. Thus, this paper nuances and extends emerging literature on emotion-sensing technologies in the workplace, particularly through its highly original cross-cultural study. (shrink)

This paper presents a theory of the syntactic aspects of human sentence production. An important characteristic of unprepared speech is that overt pronunciation of a sentence can be initiated before the speaker has completely worked out the meaning content he or she is going to express in that sentence. Apparently, the speaker is able to build up a syntactically coherent utterance out of a series of syntactic fragments each rendering a new part of the meaning content. This incremental, left‐to‐right mode (...) of sentence production is the central capability of the proposed Incremental Procedural Grammar (IPG). Certain other properties of spontaneous speech, as derivable from speech errors, hesitations, self‐repairs, and language pathology, are accounted for as well.The psychological plausibility thus gained by the grammar appears compatible with a satisfactory level of linguistic plausibility in that sentences receive structural descriptions which are in line with current theories of grammar. More importantly, an explanation for the existence of configurational conditions on transformations and other linguistics rules is proposed.The basic design feature of IPG which gives rise to these psychologically and linguistically desirable properties, is the “Procedures + Stack” concept. Sentences are built not by a central constructing agency which overlooks the whole process but by a team of syntactic procedures (modules) which work—in parallel—on small parts of the sentence, have only a limited overview, and whose sole communication channel is a stack.IPG covers object complement constructions, interrogatives, and word order in main and subordinate clauses. It handles unbounded dependencies, crossserial dependencies and coordination phenomena such as gapping and conjunction reduction. It is also capable of generating self‐repairs and elliptical answers to questions. IPG has been implemented as an incremental Dutch sentence generator written in LISP. (shrink)

When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such (...) a "virtual mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bilattices. Finally we show that for bilinear bilattices the extensions do not produce any new equivalences.

In 1935/1936 Kurt Gödel wrote three notebooks on the foundations of quantum mechanics, which have now been entirely transcribed for the first time. Whereas a lot of the material is rather technical in character, many of Gödel's remarks have a philosophical background and concentrate on Leibnizian monadology as well as on vitalism. Obviously influenced by the vitalistic writings of Hans Driesch and his ‘proofs’ for the existence of an entelechy in every living organism, Gödel briefly develops the idea of a (...) computing machine which closely resembles Turing's groundbreaking conception. After introducing the notebooks on quantum mechanics, this article describes Gödel's vitalistic Weltbild and the ideas leading to the development of his computing machine. It investigates a notion of lawlike sequence which closely resembles Turing's concept of a computable number and which Gödel himself calls ‘problematic’, and compares it to the opposed concept of randomness, drawing upon the notion of program-size complexity. Finally, Gödel's machine is implemented in a dialect of the Lisp programing language. (shrink)

This game3 was designed to investigate protocols and strategies for resourcebounded disputation. The rules presented here correspond very closely to the problem of controlling search in an actual program. The computer program on which the game is based is LMNOP. It is a LISP system designed to produce arguments and counterarguments from a set of statutory rules and a corpus of precedents, and applied to legal and quasi-legal reasoning. LMNOP was co-designed by a researcher in AI knowledge representation and (...) by a trained computer scientist who was an editor of Washington University Law Review at the time. LMNOP is based on the idea of a non-demonstrative or defeasible rule: i.e., a rule that admits exceptions. It adopts a representational convention that supposes there is an implicit preference of more specific rules over less specific rules. In fact, it automatically adjudicates between competing arguments when one argument meets the broader criterion of being more specific than another. The convention is based on an idea origianlly presented by David Poole [85], and is embedded in a system of determining which arguments are ultimately warranted, which originally appeared in the literatures of epistemology and ethics, by Pollock [87]. This system evolves from work by the first author since 1987; the full statement of the theory is in [92]. Prakken [92] is one example of the idea’s application to the legal domain. LMNOP also draws heavily on the model of legal reasoning and analogical reasoning put forward by Edwina Rissland and Kevin Ashley [89, 90]. Similarities to their legal casebased reasoning program, HYPO, are no accident; LMNOP seeks to improve on HYPO. A description of LMNOP is forthcoming. (shrink)

The Alcibiades purports to offer us the very first conversation between Socrates and Alcibiades. Previously, it seems, Socrates has just lingered at the back of a crowd of lovers looking rather stupid. This is hardly surprising. Socrates did look stupid, and both Aristophanes and his rival Ameipsias thought that he was good enough material for a laugh to present him on stage in their comedies at the Dionysia of 423 BC. The only slight surprise here is that Alcibiades, though he (...) is mentioned in other Aristophanic comedies, is never actually named in the Clouds. One might suspect that the young man Pheidippides, whom Socrates exposes to the corrupting influence of philosophic argument and the ensuing amoral attitudes, bears some relationship to Alcibiades. He shares with him a partially Alcmaeonid background, a passion for horse-racing, and an interesting lisp, but as the play stands Pheidippides is never seen as having been in any way close to Socrates.1 Their relationship is in fact akin to one between the principal of a college and an individual first-year student, with no sinister overtones whatever. I doubt that the relationship with Alcibiades had by that stage been seen as in any way unusual; either its bizarre nature was a well-kept secret, or it was not seen as very unusual after all. Alcibiades had experienced the attentions of a host of would-be lovers, so what would have made Socrates special? (shrink)

Most automated theorem provers are clausal-form provers based on variants of resolutionrefutation. In my [1990], I described the theorem prover OSCAR that was based instead on natural deduction. Some limited evidence was given suggesting that OSCAR was suprisingly efficient. The evidence consisted of a handful of problems for which published data was available describing the performance of other theorem provers. This evidence was suggestive, but based upon too meager a comparison to be conclusive. The question remained, “How does natural deduction (...) compare with resolution-refutation?” In the ensuing seven years, OSCAR has evolved in important ways, and other developments have made it possible to collect more accurate comparative data. Specifically, the creation of the TPTP library of problems for theorem provers,1 and the availability of important theorem provers on the world wide web, make objective comparisons easier. These developments recently inspired Geoff Sutcliffe, one of the founders of the TPTP library, to issue a challenge to OSCAR. At CADE-13, a competition was held for clausal-form theorem provers.2 Otter was one of the most successful contestants. In addition, Otter is able to handle problems stated in natural form (as opposed to clausal form), and Otter is readily available for different platforms.3 Sutcliffe selected 212 problems from the TPTP library, and suggested that OSCAR and Otter run these problems on the same hardware. This “Shootout at the ATP corral” took place, with the result that OSCAR was on the average 40 times faster than Otter. In addition, OSCAR was able to find proofs for 16 problems on which Otter failed, and Otter was able to find proofs for 3 problems on which OSCAR failed. Taking into account that Otter was written in C and OSCAR in LISP, the speed difference of the algorithms themselves could be as much as an order of magnitude greater. Apparently, natural deduction has some advantages over resolution-refutation.. (shrink)

We investigate quantifier-free induction for Lisp-like lists constructed inductively from the empty list $$ nil $$ nil and the operation $${\textit{cons}}$$ cons, that adds an element to the front of a list. First we show that, for $$m \ge 1$$ m ≥ 1, quantifier-free $$m$$ m -step induction does not simulate quantifier-free $$(m + 1)$$ ( m + 1 ) -step induction. Secondly, we show that for all $$m \ge 1$$ m ≥ 1, quantifier-free $$m$$ m -step induction does (...) not prove the right cancellation property of the concatenation operation on lists defined by left-recursion. (shrink)

This study analyzed and explored the cognitive load of Australian energy market operators managing one of the longest inter-connected electrical networks in the world. Each operator uses a workstation with seven screens in an active control room environment, with a large coordination screen to show information and enable collaboration between different control centers. Cognitive load was assessed during both training scenarios and regular control room operations via the integration of subjective and physiological measures. Eye-tracking glasses were also used to analyze (...) the operators gaze behavior. Our results indicate that different events, different participants for the same session, and different periods of one session all have varying degrees of cognitive load. The system design was observed to be inefficient in some situations and to have an adverse affect on cognitive load. In critical situations for instance, operator collaboration was high and the coordination screen was used heavily when collaborating between two control centers, yet integration with the system could be improved. Eye tracking data analysis showed that the layout of applications across the seven screens was not optimal for many tasks. Improved layout strategies, potential combination of applications, redesigning of certain applications, and linked views are all recommended for further exploration in addition to improved integration of procedures and linking alarms to visual cues. (shrink)

INTERDAT is computer software which substitutes a human interviewer. INTERDAT asks questions and tries to understand the responses by attributing mental models to the interviewee. The correctness of these models is tested by forecasting the responses to new questions. INTERDAT has many possibilities to adapt its models till it reaches the desired degree of understanding. Technologically INTERDAT is an Artificial Intelligence programme which is written entirely in LISP and to our knowledge the first Al application in sociological research.

In order to explore the correlation between students’ seat choice and interaction preference in the open gamification scenario, an experiment has been carried out on the platform of provincial virtual simulation experiment teaching center of a university, and tested the relationship between absolute distance, seat type, workstation type, and students’ interaction preference. The results show that in the virtual-reality fusion gamification scenario where students can move freely: The inner circle students can stimulate the outer circle students’ willingness to invest in (...) learning. The task attribute and the seat distribution of the group may lead to the difference of students’ interaction preference. Students are more likely to learn knowledge and skills by interacting with “people” rather than “object.” Gender and major influence students’ experience of participating in gamified teaching. The results confirm that the interactive engagement effect of location does exist in immersive virtual-reality fusion gamification teaching scenario, and suggestions are put forward to adjust the effect of location through instructional design and teacher intervention. (shrink)

1. Throughout the paper, and especially in the section called "LISP vs. DST", I worried that there was not enough focus on EXPLANATION. For the real question, it seems to me, is not whether some dynamical system can implement human cognition, but whether the dynamical description of the system is more explanatorily potent than a computational/representational one. Thus we know, for example, that a purely physical specification can fix a system capable of computing any LISP function. But from (...) this it doesn't follow that the physical description is the one we need to understand the power of the system considered as an information processing device. In the same way, I don't think your demonstration that bifurcating attractor sets can yield the same behavior as a LISP program goes any way towards showing that we should not PREFER the LISP description. To reduce symbolic stories to a subset of DST (as hinted in that section) requires MORE than showing this kind of equivalence: it requires showing that there is explanatory gain, or at the very least, no explanatory loss, at that level. I append an extract from a recent paper of mine that touches on these issues, in case it helps clarify what I am after here. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:418 Feminist Studies 43, no. 2. © 2017 by the estate of tatiana de la tierra. Ode to Unsavory Lesbians i love an ugly lesbian one who walks with a limp talks with a lisp leaves her dentures out overnight by the bathroom sink wears polyester pants and men’s cologne, the cheap kind has a beard so long she steps on it sprouts warts on her toes, all (...) twelve of them carries a spittoon in her breast pocket chortles at church people i dream of a lesbian who’s always broke she doesn’t own a car, walks streets barefoot, near and far washes all her clothes by hand steals from walmart scams the business-suited man lights matches on her wooden leg barbeques freshly plucked birds on her shopping cart seasons them with salt, that’s all licks her fingers in the moonlight i crave a lesbian who’s fat and fleshy so big she can’t fit through the door at starbucks and they set up an outdoor café just for her so fat she wears bangles on her fingers her belly is a boom box her stretch marks are hieroglyphic etchings she’s so heavy, tectonic plates shift beneath her feet so huge, lake erie is her bathtub tatiana de la tierra tatiana de la tierra   419 i lust after an unsavory lesbian she blows away my lackluster day leads me in a lambada, lights lantern between my legs lays my head down on lace pillows humps me like a lamppost lacerates me with leather lust lacquers my body with blue latex paint logs the forest for prime wood builds me lakeside throne sets me there and worships me —goddess in blue— lines my path with lady slippers ravishes me with sex words pets me like a little lamb wins me by a landslide To My Kidneys i had no inkling of your existence those summers when i swam in waters at the turkey point nuclear power plant a mile from home was proud of the organic salad tomatoes and the steaming peppermint tea that came from backyard garden a block from the rex chemicals plant life at 29822 SW 147th avenue in leisure city was anything but leisurely 420 tatiana de la tierra it was all screaming and fighting and cursing hijueputa this and hijueputa that poverty pissed me off i drank too much high fructose corn syrup not enough purified water snorted cocaine smoked dope lived all toughed out while you worked silently on my behalf filtering purifying regulating i was an angry girl but i blew up no buildings killed no one i was all hot air exploding inside letting carnage settle harden at twenty-nine something was wrong the damage was done your tubules were atrophying glomeruli were dead and dying you were inflamed and irate i had twenty-four grams of protein in the urine all swollen and freakishly feverish pouring my fluids into vials and beakers tried to recollect every sun burn those little red dots on my childhood skin tatiana de la tierra   421 i was a medical mystery for months until the day doctors made a diagnosis: lupus-mediated membranous glomerulonephritis now, eighteen years later you’re all i’ve got my future is in the capillaries of your glomeruli i’ve taken pills done prayers of all kinds even injected myself with german baby’s umbilical cord to keep you going yet you falter healers put the blame on all kinds of things deep-seated fears petrochemicals lead cadmium karma white flour self-hatred seriousness we’re in this together, you and i let’s go get sunshine drink green tea grow tall and strong wade in waters up to our knees like the cypress in the florida swamps gracing riverbanks and wetlands roots filtering flowing waters branches stretching to the skies with their durable and eternal woods 422 tatiana de la tierra Topanga Canyon i had forgotten trees how they claim earth and sky a herd of elephants standing in place reaching up with their trunks carrying torches of green leaves that breathe after death crushed at my feet trees splayed out like spent lovers legs open... (shrink)

Push: Software Design and the Cultural Politics of Music Production shows how changes in the design of music software in the first decades of the twenty-first century shaped the production techniques and performance practices of artists working across media, from hip-hop and electronic dance music to video games and mobile apps. Emerging alongside developments in digital music distribution such as peer-to-peer file sharing and the MP3 format, digital audio workstations like FL Studio and Ableton Live introduced design affordances that (...) encouraged rapid music creation workflows through flashy, "user-friendly" interfaces. Meanwhile, software such as Avid's Pro Tools attempted to protect its status as the "industry standard," "professional" DAW of choice by incorporating design elements from pre-digital music technologies. Other software, like Cycling 74's Max, asserted its alterity to "commercial" DAWs by presenting users with nothing but a blank screen. These are more than just aesthetic design choices. Push examines the social, cultural, and political values designed into music software, and how those values become embodied by musical communities through production and performance. It reveals ties between the maximalist design of FL Studio, skeuomorphic design in Pro Tools, and gender inequity in the music products industry. It connects the computational thinking required by Max, as well as iZotope's innovations in artificial intelligence, with the cultural politics of Silicon Valley's "design thinking." Finally, it thinks through what happens when software becomes hardware, and users externalize their screens through the use of MIDI controllers, mobile media, and video game controllers. Amidst the perpetual upgrade culture of music technology, Push provides a model for understanding software as a microcosm for the increasing convergence of globalization, neoliberal capitalism, and techno-utopianism that has come to define our digital lives. (shrink)

Hypertext can be used--in nearly any type of computer-assisted class--to allow students to engage in collaborative, socially-constructed composition and meaning-making; this essay considers both the underlying theory which supports the use of hypertext in composition instruction and provides a range of pedagogical approaches. Various classroom arrangements are considered, from standalone computers with no internet connections to networked, internet accessible workstations; for each type of classroom a different hypertext assignment which emphasizes collaboration is provided as an example.

FOREWORD Of Rats and Men 'They corrected his strabismus with glasses, his lisp with a metal loop, his stammer by mechanical exercises, ...

Medical expert systems (MES) are knowledge-based computer programs that are designed for advising physicians on diagnostical and therapeutical decision-making. They use heuristic methods developed by Artificial Intelligence researchers in order to retrieve from large knowledge-bases information needed in the situation. Constructing the knowledge-base of a MES embraces the problem of explicating and fixing the conceptual, causal and epistemic relations between a lot of medical objects. There is a number of preconditions which any adequate representation of such knowledge must fulfil, among (...) them the conditions of consistency, of completeness, of unequivocality, etc. Existing systems for classification and coding, like ICD and SNOMED, are not designed for the needs of constructing expert systems or, more generally, of knowledge processing and knowledge engineering. Their syntax is not sufficiently rich for expressing the more complex structures of (medical) knowledge. What is needed, is a language that can be used for expressing logical and descriptive relations between medical objects and facts, approximately at the level of the language of second order predicate logic. Simultaneously, it must be possible to process this language at the machine level. This can be achieved by using some dialects of the programming language LISP or, particularly, by using the programming language PROLOG. Thus, in order to achieve a suitable classification system, it is necessary to develop a system of medical data structures and predicates expressed in LISP or PROLOG. (shrink)

Background: We described the prevalence of anxiety and depression related to COVID-19 pandemic among different types of population and examined their potential risk factors.Methods: A cross-sectional survey was conducted to collect demographic characteristics, exposure histories, and many other concerns about COVID-19. The Zung's self-rating anxiety scale and self-rating depression scale, followed by a four-step multiple logistic regression analysis was performed to identify factors associated with mental health outcomes.Results: Out of 3,303 participants, the quarantined people, community workstation staffs-policemen-volunteers and general public (...) reported higher percentages of depression than the general medical staff. Moreover, the quarantined people also showed higher prevalence of anxiety than the general public and the general medical staff. The quarantined people had the highest risk of anxiety and depression, whereas the self-rated health was negatively associated with the risks of anxiety and depression. Younger age group showed higher risks of anxiety and depression. People who had exposure history or contact from Hubei province after December 1, 2019, had family or friends engaged in front-line health care work, had confirmed case nearby were all more likely to suffer from anxiety. Moreover, the negligence or overindulgence toward the epidemic information was associated with a higher risk of depression and anxiety.Conclusions: Our findings show that the CPV and quarantined people were most at-risk population. We have identified that the young people, people with exposure histories and negligence or overindulgence toward epidemic information are in grave need of attention. (shrink)

• substantially overlaps XML and ICE • used Lisp data format, e.g. (PRICE $1.00 ) instead of $5.00 Lisp format, but apparently prefer the format inherited from SGML. • Some CBCL features not in XML or ICE are likely be needed eventually in inter-computer communication. • See www-formal.stanford.edu/jmc/cbcl.html Common business communication language (2) (...) • More semantic features of natural language will needed for business communication than have so far considered in the XML literature or in ICE. • Generalized Chomsky principle: Any position ma occupied by an expression designating Error: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapsomething of right semantics, e.g. a price. • Description (ι) and operators—“the” and “a”. (IOT X)(P X) and (EPSILON X)(P X). The work of the cians may be useful. Principle: Humans use “the” and “a”. Inter-computer will therefore need the equivalent of the these words. • Adjectives and other modifiers. (shrink)

Ce texte constitue un bref résumé de certains travaux en cours beaucoup plus longs et détaillés sur le concept de «trace» dans la théorie linguistique contemporaine, en particulier dans la syntaxe. On pense généralement que l'idée en revient à Noam Chomsky; cependant, nous découvrons déjà son utilisation, avec une valeur très précise, dans les premiers travaux de Zellig Harris sur la linguistique mathématique ou, pour être plus précis, sur les structures mathématiques du langage. À l'origine, plutôt que d'être un index (...) responsable du marquage de la place occupée par une unité antérieure à son mouvement syntaxique (qui prend toujours la forme d'un fronting), la trace était le résultat d'un produit matriciel entre des fonctions n-adiques. Ainsi, chez Harris, la trace est avant tout un concept ancré dans le calcul matriciel ou, autrement dit, une notion algébrique. La notion de Chomsky, à son tour, est étroitement liée au langage de programmation LISP. Ce texte cherche à fournir une analyse préliminaire de la complexité conceptuelle impliquée dans le concept de trace, dont les linguistes devraient prendre conscience, sous peine de s’embourber dans des incompréhensions stériles pour notre discipline au cours des décennies à venir. (shrink)

Design education requires a specific setting that facilitates teaching/learning activities including lecturing, demonstrating, and practicing. The design-studio is the place of design teaching/learning activities and where students/students and students/instructor interaction occur. Proper interior design improves not only the function of such learning environment but also the confidence of its users involved in the teaching/learning process. This study finds impetus in the lack of research data relative to the design of the design-studio classroom, most crucial space in design and architectural education. (...) The purpose of the study is to examine the design-studio classroom environment and to determine, by the perception of its users, to which level this specific environment assures users’ needs and objectives. A survey was developed and distributed to a purposive sample of design and architecture educators. Ninety four responds were collected. The results of the study support the stability of earlier findings that the physical environment has a direct impact on the satisfaction of the space users. The findings suggest that lighting, noise, glare, air quality, temperature, seats comfort and possibilities of arrangement are all essential environmental features in the achievement of an appropriate pedagogic environment. Likewise, it was found that designated workstations are important part of the teaching/learning process of design. It also emerges from this study that lighting is the most important feature. (shrink)

In previous work, I have looked in detail at the capacity and the limits of the linguistics model as applied to gene expression. The recent use of a primitive applied linguistic model in Apple's SIRI system allows further analysis. In particular, the failings of this system resemble those of the HGP; the model used also helps point out the shortcomings of the concept of the "gene". This is particularly urgent as we are entering an era of applied biology in the (...) absence of theory, and indeed an era with a near-epidemic of retracted papers. There are a few workarounds proposed. One is to add to the nascent field of biosemiotics a more explicit concern with syntax. At the time of writing, Apple is being sued for false advertising of its iphone 4s, with the associated claim that apple had solved many of the problems of natural language processing by computer . The system was bought by Apple from a company called SIRI, and in turn was based on the notion, trumpeted by the prior art in a company called Dejima, that nlpbc could be done by keywords alone. Yet the hype resembles nothing so much as the misrepresentation of the Human Genome Project fed to the media in the glory days at the beginning of this millennium, and it says a lot for the status of scientists in society that they have avoided Apple's fate. In this paper, a short review of several current themes in theoretical and applied biology is first proposed. Then the tensions implicit in the notion that the "gene" is simultaneously to be identified as a unit of inheritance and spatially located over spatially well-defined nucleotides is explored and the notion is found to be incoherent. An expanded notion of inheritance is proposed in the context of a focus on inheritance as necessarily involving species, population and organism over time. While it is premature to talk about a paradigm shift, it is certainly arguable that biology urgently needs a sophisticated theory of how symbols work substantially more sophisticated than that implicit in the HGP; Biosemiotics affords a framework in which this might be tried. Indeed, as this paper concludes, there may yet be room for a "Bionoetics", a perspective in which biological explanation can be extended to include cognition in all its forms. Finally, a working sketch of a modeling environment written in LISP, one that shows promise in reflecting the complexities discussed in the paper, is included. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

A major cognitive framework for individuating, visualizing, and keeping track of different items of knowledge (such as who said what in a conference or what items of data go with what) is the use of real 3D spatial locations. We use space both literally (as in the desktop or office model of data organization) and also figuratively. Examples of the latter includes such techniques as mentally locating different facts and premises in certain imagined spatial loci -- a technique widely used (...) in mnemonic aids, and the use of spatial location in reasoning where so-called "spatial paralogic" provides an important scheme for keeping track of different components of a problem. The use of distinct spatial loci in reasoning and visualizing can be enhanced and its effectiveness in communication increased if distinct spatial locations can be shared. This, of course, happens routinely when people use gestures, pointing, and carving shapes in the air when they converse. Sharing a common workspace and conceptual space is now becoming technologically feasible through the use of interactive multimedia workstations, in which sound and 3D visual locations can be communicated and spatial indicators such as pointing in space can form part of the human-computer interaction. (shrink)

1. Throughout the paper, and especially in the section called "LISP vs. DST", I worried that there was not enough focus on EXPLANATION. For the real question, it seems to me, is not whether some dynamical system can implement human cognition, but whether the dynamical description of the system is more explanatorily potent than a computational/representational one. Thus we know, for example, that a purely physical specification can fix a system capable of computing any LISP function. But from (...) this it doesn't follow that the physical description is the one we need to understand the power of the system considered as an information processing device. In the same way, I don't think your demonstration that bifurcating attractor sets can yield the same behavior as a LISP program goes any way towards showing that we should not PREFER the LISP description. To reduce symbolic stories to a subset of DST (as hinted in that section) requires MORE than showing this kind of equivalence: it requires showing that there is explanatory gain, or at the very least, no explanatory loss, at that level. I append an extract from a recent paper of mine that touches on these issues, in case it helps clarify what I am after here. (shrink)

“If a lion could speak, we could not understand him.”Well, why not, for heaven's sake? A speech impediment, perhaps. Imagine a cross between a severe lisp and a roar. That would be difficult to understand. But not impossible. The claim is that we could not understand him. Very well, who are we?Perhaps we are the English speakers. Of course what we could understand would depend upon which language the lion spoke. I couldn't understand him, for example, if he spoke (...) in Basque or Hittite or Old Icelandic. If he spoke in Spanish or German, I might be able to puzzle out a few words. But I don't understand anyone who speaks in Basque or Hittite or Old Icelandic. I have friends who do, however.Of course, he might speak in Lion, in the language of the lions. That would indeed be difficult to understand. I don't even have any friends who speak in lion. So perhaps then we could not understand him. So we should need to learn the language of the lions. (shrink)

We describe a proof by a computer program of the unsolvability of the halting problem. The halting problem is posed in a constructive, formal language. The computational paradigm formalized is Pure LISP, not Turing machines. The machine was led to the proof by the authors, who suggested certain function definitions and stated certain intermediate lemmas. The machine checked that every suggested definition was admissible and the machine proved the main theorem and every lemma. We believe this is the first (...) instance of a machine checking that a given problem is not solvable by machine. (shrink)

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.

To me a painted paroquet Hath been – a most familiar bird– Taught me my alphabet to say– To lisp my very earliest word. Edgar Allan Poe, “Romance,” Poetry and Tales 53 Logographical necessity (ana...