Elephant 2000: A Programming Language for Remembering the Past and Building on It

Elephant 2000 is a programming language to specify programs that accept user speech as text inputs and outputs speech text. The inputs and outputs are based on Dialogue Act theory which describes several forms of speech outputs, such as requests, questions, and answers. The language also relies on Named Entity Recognition to determine what types of objects a user references. These entities include persons, locations, times and so on. Using these attributes of user speech, a program is able to perform simple rule matching and pattern recognition to respond to input. The result is a programming language with English like syntax that allows a programmer to create a chat bot. The system is backed with a machine learning implementation of a moderately complex chat bot that leverages Sequence to Sequence and Long Short-Term Memory techniques. This allows programmers to have the system respond on its own if none of their rules are matched. The idea of this is to avoid system responses like “I do not know how to help you with that” and “I do not know.” The language was implemented using a scannerless lexer and compiler called parglare in python version 3.6

How to do things with keys: (Assembly) programming as (a kind of) gesture

The following text explores whether programming a computer (especially with hardware-oriented languages like assembly languages) is a “gesture” in accordance with the theoretical concept of Vilém Flusser. The connections between Flusser's theories and computer theory will be searched for a technically accurate definition of computers and computing. Flusser's gestures of “making” and “writing” will be analyzed to see if they are compatible with the text and the operating terms from computer science. The main part of the paper focuses on the questions of what kind of text (in terms of writing) a computer program is (with examples and digressions in formal language theories) and what kind of operation (in terms of making) the running program is and what the programmer and the machine do for that operation. This culminates in the application of the speech act theory and a cybernetic dialectic of Flusser's use of the term “programming”

V. Lifschitz, ed., formalizing common sense: papers by John McCarthy

A review is presented of Lifschitz's collection of seventeen papers written by McCarthy on the subject of common sense. The book opens with a fine overview of McCarthy's research in artificial intelligence (AI). Lifschitz offers an admirably succinct account of the development of McCarthy's ideas on common sense from the early days of AI to his current work. Lifschitz's introduction is especially useful in appreciating the dramatically original and permanently influential nature of McCarthy's work. While McCarthy's papers collected in this volume were written over the span of almost three decades, Lifschitz correctly observes that the underlying concern has always been the same: to understand and model the intellectual ability realized by human common sense

Elephant 2000: A Programming Language Based on Speech Acts

Elephant 2000 is a proposed programming language good for writing and verifying programs that interact with people (e.g. transaction processing) or interact with programs belonging to other organizations (e.g. electronic data interchange) 1. Communication inputs and outputs are in an I-O language whose sentences are meaningful speech acts identified in the language as questions, answers, offers, acceptances, declinations, requests, permissions and promises. 2. The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept. Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program. 3. Elephant source programs may not need data structures, because they can refer directly to the past. Thus a program can say that an airline passenger has a reservation if he has made one and hasn't cancelled it. 4. Elephant programs themselves ca..

Modelling the discourse-grammar interface of EFL pre-school teacher talk (native and non-native): proposal of a system network enabling the systematic analysis of regulatory functions

Tesis doctoral leída el 27-02-2007 en la Universidad Autónoma de Madrid, Facultad de Filosofía y Letras, Departamento de Filología Ingles