We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semant...
A novel process algebra is presented;algebraic expressions specify delay-insensitive circuits in terms of voltage-level transitions on wires. The approach appears to have several advantages over traditional state-grap...
详细信息
A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specificatio...
详细信息
In this paper definite Horn clause programs are investigated within a proof-theoretic framework;program clauses being considered rules of a formal system. Based on this approach, the soundness and completeness of SLD-...
详细信息
The authors present a paradigm for automating programming based on how humans program. The paradigm involves top-down decomposition of a given problem into smaller problems using, if possible, programming cliches and ...
详细信息
The authors present a paradigm for automating programming based on how humans program. The paradigm involves top-down decomposition of a given problem into smaller problems using, if possible, programming cliches and analogies from previously solved problems till a primitive level is reached; at the primitive level the problem is solved by making calls to a library of pre-existing sub-routines that encode specific knowledge about the domain. The authors describe APU, which uses the above paradigm to automate UNIX programming, and focus on the knowledge structure and the problem-solving capability without the use of analogy.< >
This paper is about specification and verification of processes, modelled as CCS-agents. We show, by means of examples that Hennessy-Milner Logic (HML) with recursion is a suitable language for expressing implicit or ...
详细信息
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover...
详细信息
ISBN:
(纸本)0897913280
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover, it is compositional, because it is denned by recursion on the structure of e. In other words, the number of steps needed to compute e is described in terms of the number of steps the parts of e need. (This is in contrast with the obvious operational method to define an interpreter and count the number of steps that it needs.) The equations that define the analysing program can also be used when reasoning about time complexity of lazy functional programs. Two simple examples are given at the end of the paper.
An LR-based parser generator for arbitrary context-free grammars is described, which generates parsers by need and processes grammar modifications by updating already existing parsers. We motivate the need for these t...
ISBN:
(纸本)9780897913065
An LR-based parser generator for arbitrary context-free grammars is described, which generates parsers by need and processes grammar modifications by updating already existing parsers. We motivate the need for these techniques in the context of interactive language definition environments, present all required algorithms, and give measurements comparing their performance with that of conventional techniques.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i...
详细信息
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use integrator of existing expert knowledge and pre-existing data bases and large scale analytical models. Due to these interfaces; to the need for portability of the software; and to artificial intelligence related design requirements (such as the need for spatial reasoning, expert data base management, model base management, track-based reasoning, and analogical (similar ship) reasoning) it was realized that traditional expert system shells would be inappropriate, although relatively off-the-shelf AI technology could be incorporated. In the same vein, the rapid prototyping approach to expert system design and knowledge engineering was not pursued in favor of a rigorous systems engineering methodology. The critical design decisions affecting CLEER's development are summarized in this paper along with lessons learned to date all in terms of “how,” “why,” and “when” specific features are being developed.
暂无评论