Cyber & formal methods publications
-
Telegram: A Grammar Formalism For Language Planning
The TELEGRAM system described in this paper solves this problem by annotating a unification grammar with assertions about how grammatical choices are used to achieve various goals, and by enabling…
-
Can Drawing Be Liberated From The Von Neumann Style?
Current graphics database tools give the user a view of drawing that is too constrained by the low-level machine operations used to implement the tools. A new approach to graphics…
-
Semantical Considerations On Nonmonotonic Logic
We define an intuitively based semantics for which we can show autoepistemic logic to be both sound and complete. We then compare autoepistemic logic with the approach of McDermott and…
-
Applied Logic and Its Use and Implementation As A Programming Tool
The first part of the thesis explains from first principles the concept of "logic programming’’ and its practical application in the programming language Prolog.
-
A Nonclausal Connection-Graph Resolution Theorem-Proving Program
A new theorem-proving program, combining the use of nonclausal resolution and connection graphs, is described. The use of nonclausal resolution as the inference system eliminates some of the redundancy and…
-
Parallelism in Planning and Problem Solving: Reasoning About Resources
This paper describes and presents some new techniques that are implemented in an actual planning system and are useful in seeking solutions to these problems.
-
Computational Strategies For Analyzing The Organization and Use Of Information
A program of research is presented that is producing systems that make it possible to study the organization and use of information and, at the same time, provide more effective…
-
A Storage Representation For Efficient Access To Large, Multidimensional Arrays
This paper addresses problems associated with accessing elements of large multidimensional arrays when the order of access is either unpredictable or is orthogonal to the conventional order of array storage.
-
Handling Complex Queries In A Distributed Data Base
As part of the continuing development of the LADDER system, we have substantially expanded the capabilities of the data base access component that serves as the interface between the natural-language…
-
Managing Network Access to a Distributed Database
This paper describes a program, FAM – for File Access Manager –, used to access to data distributed over a computer network. FAM is a part of a system which…
-
IDA: An Intelligent Data Access Program
IDA was developed at SRI to allow a casual user to retrieve information from a data base, knowing the fields present in the data base, but not the structure of…
-
Language Access To Distributed Data With Error Recovery
This paper discusses an effort in the application of artificial intelligence to the access of data from a large, distributed data base over a computer network. A running system is…