Most workflow systems that support data provenance primarily focus on tracing lineage of data. Data provenance by data lineage provides the derivation history of data including information about services and input data that contributed to the creation of a data product. We show that tracing lineage by means of full backward chaining not only enables users to share, discover and reuse the data, ...

In this paper, we propose diagnosis of steady-state process behaviour using rules derived from the signed directed graph(SDG) representing the interaction among the process variables. All abnormalities are correlated using backward reasoning through rules to yield a diagnosis. These rules can be added with experimental rules which are obtained from experts on plant operation.

A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expert systems and decision tables. The method gave an order of magnitude speed increase for a well-known expert system in routine use. The method is very general: adaptations are shown for forward and backward chaining in...

In this paper, we describe a content planning mechanism which takes into consideration a user's possible inferences in order to generate the most concise discourse that achieves a given communicative goal. The consideration of a user's inferences results in the addition of information that addresses erroneous inferences , and the omission of easily inferred information. Given a communicative go...

Many abductive understanding systems generate explanations by a backwards chaining process that is neutral both to the explainer's previous experience in similar situations and to why the explainer is attempting to explain. This article examines the relationship of such models to an approach that uses case-based reasoning to generate explanations. In this case-based model, the generation of abd...

This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most one answer and that answer is generated only once. The principal component of the technique is a goalindependent analysis of individual clauses. This derives a condition for a call that ensures only one clause in the m...

This article considers the problem of learning the correct temporal sequence of discrete behaviors from a finite behavior set that will lead to completion of a complex task, using only stochastic reinforcement from the environment. A trial-and-error learning algorithm is proposed that is inspired by backward chaining from the animal training discipline. The procedure is analytically formulated ...

Sistem pakar merupakan salah satu cabang kecerdasan buatan yang mempelajari bagaimana mengadopsi cara seorang berpikir dan bernalar dalam menyelesaikan suatu permasalahan, membuat keputusan maupun mengambil kesimpulan dari sejumlah fakta ada. Sampai saat ini sudah ada beberapa hasil perkembangan sistem berbagai bidang sesuai dengan kepakaran seseorang. pada penelitian penulis ingin tentang diag...

A backward biorthogonalization approach is proposed, which modifies biorthogonal functions so as to generate orthogonal projections onto a reduced subspace. The technique is relevant to problems amenable to be represented by a general linear model. In particular, problems of data compression, noise reduction and sparse representations may be tackled by the proposed approach.

Comparative studies of forward and backward chaining have led some to suggest that sensitivity to each teaching procedure may be idiosyncratic across learners and tasks. The purposes of the current study were threefold. First, we assessed differential sensitivity to each chaining procedure within children when presented with multiple learning tasks of similar content but different complexity. S...