The proceedings contains 33 papers. The following topics are dealt with: software engineering and artificial intelligence (AI);neural systems and computations;intelligent robotics--recognition and reasoning;computer-i...
详细信息
The proceedings contains 33 papers. The following topics are dealt with: software engineering and artificial intelligence (AI);neural systems and computations;intelligent robotics--recognition and reasoning;computer-integrated manufacturing (CIM) and languages;AI in robotics;visual languages for human-machine interaction;languages and algorithms;and architectures, environments and parallelism.
An offline discrete-time collision-free path-planning scheme to allow two mobile robots to work in a common space is described. The problem is formalized as a minimax time collision-free path search problem. The degre...
详细信息
An offline discrete-time collision-free path-planning scheme to allow two mobile robots to work in a common space is described. The problem is formalized as a minimax time collision-free path search problem. The degree of freedom of the problem is first reduced by applying the collision-free constraint. Subsequently, the solution is found by three levels of search. The golden-section search method is applied to reduce the amount of search required.
Summary form only given, as follows. A survey of recent advances in visual languages and the formal theory of icons is presented, which provides a unified methodology for visual language design as well as icon-oriente...
详细信息
Summary form only given, as follows. A survey of recent advances in visual languages and the formal theory of icons is presented, which provides a unified methodology for visual language design as well as icon-oriented system design.
Summary form only given, as follows. The development of an autonomous, integrated artificial intelligence (AI)-based robot task planner for assembly and repair applications in space is described. Research is currently...
详细信息
Summary form only given, as follows. The development of an autonomous, integrated artificial intelligence (AI)-based robot task planner for assembly and repair applications in space is described. Research is currently focused on AI systems, geometric-reasoning systems, trajectory-planning systems, grasp-planning systems, and real manipulators.
The functions of recognition and reasoning are examined for their fundamental importance to intelligent robotics. Pattern-based computation and inference operations are also analyzed, as they may lead to computation p...
详细信息
The functions of recognition and reasoning are examined for their fundamental importance to intelligent robotics. Pattern-based computation and inference operations are also analyzed, as they may lead to computation paradigms that have more efficient implementations than the discrete-symbol computation paradigm of serial digital computers.
A Petri-net design language is presented that is based on the earlier Computer Design Language (CDL). The language should be able to handle large-scale nets with hundreds or thousands of places and transitions and to ...
详细信息
A Petri-net design language is presented that is based on the earlier Computer Design Language (CDL). The language should be able to handle large-scale nets with hundreds or thousands of places and transitions and to provide a simulation environment. An example is given to illustrate the language.
The user interface for the TQ specification language is described, and how its syntax-directed editing capabilities simplify the writing of TQ specifications for the ordinary user is shown. The user interface is just ...
详细信息
The user interface for the TQ specification language is described, and how its syntax-directed editing capabilities simplify the writing of TQ specifications for the ordinary user is shown. The user interface is just one of the components of the TOAD system, which is able to generate dBASE programs from these specifications. Preliminary results with computer professionals unfamiliar with the TQ language seem to indicate that the interface does indeed help to make the TQ language easy to use.
A method that allows reordering of Prolog clauses without reordering their solutions, called order tracking, is presented. Reordering clauses enables the execution of a program at lower cost, as well as more goals to ...
详细信息
A method that allows reordering of Prolog clauses without reordering their solutions, called order tracking, is presented. Reordering clauses enables the execution of a program at lower cost, as well as more goals to be run in AND-parallel;order tracking ensures that the reordered clauses behave exactly like their originals. The Markov-chain model is extended for estimating probability and cost, adding order tracking and a model for AND-parallel execution. This allows for estimation of when reordering and AND-parallelism will speed execution and when they will slow it.
pluribus, an interactive visual environment that extends the expressive power of recursive functional programming languages such as Lisp, is described. It uses a function-machine metaphor that views mathematical funct...
详细信息
pluribus, an interactive visual environment that extends the expressive power of recursive functional programming languages such as Lisp, is described. It uses a function-machine metaphor that views mathematical functions as machines that communicate through data-flow and control-flow connections. Machines are shown as icons. A structure consisting of several machines that function as a unit can be subsumed under a single icon. Unless otherwise constrained by inhibitory connections, machines fire when their inputs are available. This default control logic naturally gives rise to ostensibly parallel operation. Thus, as well as greatly facilitation the teaching of programming and modeling, pluribus provides a powerful environment for designing parallel algorithms and for simulating complex real-time control systems with asynchronous components.
暂无评论