Genesereth, M. R., and Singh, N. "Epilog 1.0 for Lisp," available from http://Logic.Stanford.edu/sharing/programs/epilog/documentation/. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Distributed And Anonymous Knowledge Sharing Approach To.. - Singh, Genesereth (1994) (3 citations) Self-citation (Genesereth Singh) (Correct)
....specific facts. There are a collection of inference procedures that the facilitator can be configured to use, ranging from simple database lookup to modelelimination. The model elimination inference procedure is an extension of the familiar backward chaining inference rule used in Prolog [10, 21]. The extensions permit model elimination to be complete for first order logic. For a request, the facilitator uses backward inference to find an answer. For example, if the request is (ask one x (dealer x Apple) then the facilitator finds a single proof for the query (dealer x Apple) and ....
Genesereth, M. R., and Singh, N. "Epilog 1.0 for Lisp," available from http://Logic.Stanford.edu/sharing/programs/epilog/documentation/.
A Distributed and Anonymous Knowledge Sharing Approach to.. - Michael Genesereth (1994) (20 citations) Self-citation (Genesereth Singh) (Correct)
....to a form understood by the interested recipient. Facilitators use automated inference to reason about agent specifications and application specific facts. The inference procedure, based on model elimination, is an extension of the familiar backward chaining inference rule used in Prolog [7, 15]. The extensions permit the inference procedure to be complete for first order logic. For a request, the facilitator uses backward inference to find an answer. For example, if the request is (ask one x (dealer x Apple) then the facilitator finds a single proof for the query (dealer x ....
Genesereth, M. R., and Singh, N. "Epilog 1.0 for Lisp," available from Mosaic with the URL http://Logic.Stanford.edu/sharing/programs/epilog/documentation/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC