作者：
HALEY, JResearch Associate
Mental Research Institute of the Palo Alto Medical Research Foundation. This research was partially supported by the U.S. Army Medical Research and Development Command (grant no. DA-49–193-MD-2396). Recording equipment was provided by the Ampex Foundation. Computer programming was conducted by Janet Beavin Research Assistant. Gratitude is expressed to the National Science Foundation under Grant Number NSF-Gp948 for support of the computers at Stanford University.
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy t...
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy to perform. To demonstrate the capabilities of the program, the first fifteen chapters of Robert Graves: The Greek Myths , Volume I were used as data source. One of the interesting results is that, in spite of the rather free mating pattern of the divine participants, Zeus and Aphrodite adhered to a Platonic relationship. Another is that Rhea is Cronus' sister, wife, grand-aunt and daughter-in-law's mother at the same time. The program, written in IPL-V in its present form, can accept a maximum of 500 separate individuals and will process an unlimited number of inquiries in one particular run. Non- perfect information is appropriately treated. Finally, possible extensions are briefly described.
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denma...
详细信息
ISBN:
(数字)9783540319283
ISBN:
(纸本)9783540261650
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint programming and Constraint Solving, in particular Constraint Logic programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di?ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
The Time-Sharing computer System at Dartmouth College enables users to retrieve and manipulate financial information by means of the LAFFF1 language. The first language actually in operation, it permits security analy...
详细信息
The Time-Sharing computer System at Dartmouth College enables users to retrieve and manipulate financial information by means of the LAFFF1 language. The first language actually in operation, it permits security analysts to engage in conversational exchange with the computers from distant stations. Analysts need no standard calculations; they can get what they want directly from the computer.
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O...
详细信息
ISBN:
(数字)9783642347818
ISBN:
(纸本)9783642347801
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
暂无评论