Goto

Collaborating Authors

 Country


Speech understanding systems: Final report

Classics

Browse Author Title: Author(s): Date: Publisher: Pages: Subject: !! Call #: Subject: !! Call #: !! Speech , Pattern recognition !! QA80:N35 Take a Virtual Look at the Shelves Subject: Call #: !! Availability: !! Speech , Pattern recognition QA80:N35 Take a Virtual Look at the Shelves !! OUT Reques...




QLISP: A language for the interactive development of complex systems

Classics

This paper presents a functional overview of the features and capabilities of QLISP, one of the newest of the current generation of very high level languages developed for use in Artificial Intelligence (AI) research.QLISP is both a programming language and an interactive programming environment. It embeds an extended version of QA4, an earlier AI language, in INTERLISP, a widely available version of LISP with a variety of sophisticated programming aids.The language features provided by QLISP include a variety of useful data types, an associative data base for the storage and retrieval of expressions, the ability to associate property lists with arbitrary expressions, a powerful pattern matcher based on a unification algorithm, pattern-directed function invocation, "teams" of pattern invoked functions, a sophisticated mechanism for breaking a data base into contexts, generators for associative data retrieval, and easy extensibility.System features available in QLISP include a very smooth interaction with the underlying INTERLISP language, a facility for aggregating multiple pattern matches, and features for interactive control of programs.A number of applications to which QLISP has been put are briefly discussed, and some directions for future development are presented. SRI Tech.Note 120, AI Center, SRI International, Inc., Menlo Park, Calif.


A framework for language understanding

Classics

'Projects AgenCy of the Department of Defense and monitored Cooperation ---- How to avoid duSlication Sf'effoft. ' choosing what to do Sext .; ' - '"1 ""1 'JiStSract effectively V they are :tSSiSrovidegfmutual' assistance in y: IS"SรฉcePted as occurring*'l the: Ifl1fipUt whรฉn they ar e not really there, fl'STSSQ.'


Use of Meta Level Knowledge in the Construction and Maintenance of Large Knowledge Bases

Classics

Gruber T and Cohen P 1989, The design of an automated assistant for acquiring strategic knowledge, ACM SIGART Bulletin:108, (147-151), Online publication date: 1-Apr-1989 .



Syntax and formal semantics of English

Classics

In L. Steels (Ed.), Advances in natural language processing. Antwerp, Belgium: University of Antwerp.


Computer-Based Medical Consultations: MYCIN

Classics

This text is a description of a computer-based system designed to assist physicians with clinical decision-making. This system, termed MYCIN, utilizes computer techniques derived principally from the subfield of computer science known as artificial intelligence (AI). MYCIN's task is to assist with the decisions involved in the selection of appropriate therapy for patients with infections.

MYCIN contains considerable medical expertise and is also a novel application of computing technology. Thus, this text is addressed both to members of the medical community, who may have limited computer science backgrounds, and to computer scientists with limited knowledge of medical computing and clinical medicine. Some sections of the text may be of greater interest to one community than to the other. A guide to the text follows so that you may select those portions most pertinent to your particular interests and background.

The complete book in a single file.


Reasoning from incomplete knowledge in a procedural deductive system

Classics

The first section discusses the importance of having systems that understand the concept of knowledge, and how knowledge is related to action. Section 2 points out some of the special problems that are involved in reasoning about knowledge, and section S presents a logic of knowledge based on the idea of possible worlds. Section 4 integrates this with a logic of actions and gives an example of reasoning in the combined system. Section 5 makes some concluding comments.