A significant portion of tutorial interactions revolve around the bugs a student makes. When a tutor performs an intervention to help a student fix a programming bug, the problem of deciding which intervention to perf...
详细信息
this paper presents an attempt to synthesize a methodology and environment which has features both of traditional software development methodologies and exploratory programming environments. the environment aids the d...
详细信息
the size, complexity and long life-time of telecommunications software, e.g. the programs for store program control (SPC) telephone exchanges, call for an increased software productivi ty and maintainability other tha...
详细信息
Nonmonotonic formal systems have been proposed as an extension to classical first-order logicthat will capture the process of human "default reasoning" or "plausible inference" through their infer...
详细信息
Intelligent agents must be able to interact even without the benefit of communication. In this paper we examine various constraints on the actions of agents in such situations and discuss the effects of these constrai...
详细信息
this paper uncovers the axiomatic basis for the probabilistic relation "x is independent of y, given z " and offers it as a formal definition of informational dependency. Given an initial set of such indepen...
详细信息
A design and simulation system for automated workcells, which consist of robots, process machines, and transport systems, provides tools to create geometric and kinematic models of components. It enables to simulate a...
详细信息
ISBN:
(纸本)0948507179
A design and simulation system for automated workcells, which consist of robots, process machines, and transport systems, provides tools to create geometric and kinematic models of components. It enables to simulate and optimize the workcell layout and to program robots and other machines off-line. In order to allow graphic animation of the workcell a new language for the simulation of concurrent tasks (Task Description Language, TDL) was developed. It is a high-level structured language that includes instructions for robot manipulation, and provides an interface to most robot controllers but is yet independent of the robot type.
In this paper we describe a language specification and its implementation of ZERO, a frame-based language, in terms of embedding Prolog into it. ZERO is a general purpose frame-based knowledge representation language ...
详细信息
We investigate the parallel computational complexity of recursive rule queries. these queries are a subset of first-order relational queries augmented with recursion. they form an important part of the PROLOG language...
详细信息
We have modified Concurrent Prolog (CP) Interpreter (Shapiro 1983) and implemented Extended Concurrent Prolog (ECP) Interpreter (Fujitsu 1985), which has OR-parallel, set-abstraction and meta-inference facilities. In ...
详细信息
暂无评论