{"pk":30248,"title":"Bi-Dlrectional Inference","subtitle":null,"abstract":"Inference can be viewed as a search through a space of inference rules. Backward and forward inference differ in the direction of the search: backward inference searches from goals to ground assertions; forward inference searches from ground assertions to goals. This paper describes an inference procedure, called bi-directional inference, which limits the number of inference rules searched. Bi-directional inference results from the interaction between forward and backward inference and loosely corresponds to bi-directional search. We show through an example that, when used throughout a session of related tasks, bi-directional inference sets up a conversational context and prunes the search through the space of inference rules by ignoring rules which are not relevant to that context.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Submitted Papers","is_remote":true,"remote_url":"https://escholarship.org/uc/item/4np8j54m","frozenauthors":[{"first_name":"Stuart","middle_name":"","last_name":"Shapiro","name_suffix":"","institution":"State University of New York at Buffalo","department":""},{"first_name":"Joao","middle_name":"","last_name":"Martins","name_suffix":"","institution":"State University of New York at Buffalo","department":""},{"first_name":"Donald","middle_name":"","last_name":"McKay","name_suffix":"","institution":"State University of New York at Buffalo","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"1982-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/30248/galley/20102/download/"}]}