This dissertation describes ESCAPE (Expert Systems in Computer Animation Production Environments), a multi-agent animation system for building domain-oriented, rulebased visual programming environments. Much recent work in computer graphics has been concerned with producing behavioural animations of artificial life-forms mainly based on algorithmic approaches. This research indicates how, by ad...

One can measure the extent to which a knowledge-base enables intelligent or creative behavior by determining how useful such a knowledge-base is to the solution of standard psychometric or scholastic tests. In this paper we consider the utility of WordNet, a comprehensive lexical knowledge-base of English word meanings, to the solution of S.A.T. analogies. We propose that these analogies test a...

A scheme for explicit ly representing and using expert knowledge of a procedural k ind is described. The scheme al­ lows the explicit representation of both declarative and proce­ dural knowledge wi th in a unified framework, yet retains all the desirable properties of expert systems such as modular i ty , ex­ planatory capabil i ty, and extendabil i ty. It thus bridges the gap between the proc...

We suggest a novel way for formalizing knowledge and belief of intelligent agent and argue that this is the notion we need to formalize agents in Distributed Artificial Intelligence. We introduce the notion of algorithmic knowledge — a concept that is suited for establishing a direct link between and agent’s available resources and his knowledge. We show that our concept of knowledge is useful ...

Agent theories typically use modal epistemic logic for modeling knowledge of agents. Since the modal approach to epistemic logic cannot formalize resource-bounded reasoning adequately, it it not suited to describe realistic, implementable agents. We develop a framework for solving that problem. We introduce the notion of algorithmic knowledge — a concept that establishes a direct link between a...

Protein structure prediction is one of the major challenges in bioinformatics today. Throughout the past five decades many different algorithmic approaches have been attempted, and while progress has been made the problem remains unsolvable even for many small proteins. While the general objective is to predict the three-dimensional structure from primary sequence, our current knowledge and com...

The analysis of protein-protein interactions (PPIs) is crucial to the understanding of cellular organizations, processes and functions. The reliability of the current experimental approaches interaction data is prone to error. Thus, a variety of computational methods have been developed to supplement the interactions that have been detected experimentally. The present paper’s main objective is ...

Abstract We propose a new identification system based on algorithmic problems related to computing isomorphisms between central simple algebras. design statistical zero knowledge protocol which relies the hardness of orders in division algebras generalizes by Hartung and Schnorr, integral equivalence quadratic forms.

in this paper, we study projected non-stationary simultaneous it-erative reconstruction techniques (p-sirt). based on algorithmic op-erators, convergence result are adjusted with opial’s theorem. the advantages of p-sirt are demonstrated on examples taken from to-mographic imaging.

System identification and parameter estimation are important to obtain information from systems which are difficult to model and that are usually presented as BlackBox models. This work presents a point to point parameter estimation of a generalized non-deterministic system, whose results are variable through time, by using an exponential Forgetting Factor (FF). An average approximation is used...