Keyword

backward chaining

Description: Backward chaining is an inference strategy that starts with a goal and works backward through rules or facts to determine whether it can be established.

Primary topic: Edcuational Technology Systems (23%)

Wikidata ID: wiki/Q1141183

OpenAlex ID: keywords/backward-chaining

The Transition

1993 · Robert G Petersdorf · Academic Medicine · 2,497

Knowledge Based Solution Strategies in Medical Reasoning

1986 · V PATEL, G GROEN · Cognitive Science · 573

PDF

Implementation of logical query languages for databases

1985 · Jeffrey D. Ullman · ACM Transactions on Database Systems · 375

PDF

On rules with existential variables: Walking the decidability line

2011 · Jean-François Baget, Michel Leclère, et al. · Artificial Intelligence · 297

Norm Theory: Comparing Reality to Its Alternatives

2002 · Daniel Kahneman, Dale T. Miller · Cambridge University Press eBooks · 289

The engineering of knowledge-based systems: theory and practice

1993 · Avelino J. González, Douglas D. Dankel · Prentice-Hall, Inc eBooks · 256

Dialectic proof procedures for assumption-based, admissible argumentation

2005 · P.M. Dung, R.A. Kowalski, et al. · Artificial Intelligence · 244

PDF

Inferring False Beliefs from Actions and Reactions

1990 · Louis J. Moses, John H. Flavell · Child Development · 239

Goal-oriented requirements analysis and reasoning in the Tropos methodology

2005 · Paolo Giorgini, John Mylopoulos, et al. · Engineering Applications of Artificial Intelligence · 226

Medical expertise asa function of task difficulty

1990 · Vimla L. Patel, Guy J. Groen, et al. · Memory & Cognition · 199

PDF

Inside the LOOM description classifier

1991 · Robert M. MacGregor · ACM SIGART Bulletin · 177

Schema Networks: Zero-shot Transfer with a Generative Causal Model of Intuitive Physics

2017 · Kansky, Ken, Silver, Tom, et al. · arXiv (Cornell University) · 176

PDF

Strategies for Discovering Mechanisms: Schema Instantiation, Modular Subassembly, Forward/Backward Chaining

2002 · Lindley Darden · Philosophy of Science · 169

A domain-independent system that aids in constructing knowledge-based consultation programs

1980 · William James Van Melle · Defense Technical Information Center (DTIC) · 151

A Real-Time Expert System for Process Control

1986 · Lowell B. Hawkinson, Carl G. Knickerbocker, et al. · ACS symposium series · 144

A fault diagnosis expert system for distribution substations

2000 · Heung-Jae Lee, Bok-Shin Ahn, et al. · IEEE Transactions on Power Delivery · 142

The POSTGRES rule manager

1988 · M. Stonebraker, E.N. Hanson, et al. · IEEE Transactions on Software Engineering · 140

The Comparison between Forward and Backward Chaining

2015 · Ajlan Al-Ajlan · International Journal of Machine Learning and Computing · 139

PDF

Nonmonotonic reasoning in the framework of situation calculus

1991 · Andrew B. Baker · Artificial Intelligence · 127

Efficient Defeasible Reasoning Systems

2001 · MICHAEL J. MAHER, ANDREW ROCK, et al. · International Journal of Artificial Intelligence Tools · 122

End-to-End Differentiable Proving

2017 · Rocktäschel, Tim, Riedel, Sebastian · arXiv (Cornell University) · 117

PDF

An ontology-based knowledge management system for flow and water quality modeling

2006 · K.W. Chau · Advances in Engineering Software · 112

PDF

The Effects of Errorless Learning and Backward Chaining on the Acquisition of Internet Skills in Adults With Developmental Disabilities

2007 · Jared Jerome, Eric P. Frantino, et al. · Journal of Applied Behavior Analysis · 110

PDF

The Benefit of Diagnostic Hypotheses in Clinical Reasoning: Experimental Study of an Instructional Intervention for Forward and Backward Reasoning

1999 · Geoffrey R. Norman, Lee R. Brooks, et al. · Cognition and Instruction · 99

Drools: A Rule Engine for Complex Event Processing

2012 · Mark Proctor · Lecture notes in computer science · 96

Works count: 2,204

Citation count: 17,750