Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,903 papers from all fields of science
Search
Sign In
Create Free Account
Forward chaining
Known as:
Chaining (disambiguation)
Forward chaining is one of the two main methods of reasoning when using an inference engine and can be described logically as repeated application of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Automated planning and scheduling
Backward chaining
Belief–desire–intention software model
Business rules engine
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Predicting Network Attacks Using Ontology-Driven Inference
A. Salahi
,
Morteza Ansarinia
arXiv.org
2012
Corpus ID: 2349067
Graph knowledge models and ontologies are very powerful modeling and re asoning tools. We propose an effective approach to model…
Expand
2010
2010
Introduction to the Boost C++ Libraries; Volume I - Foundations
Robert Demming
,
D. Duffy
2010
Corpus ID: 59657260
C++ is one of the most important and influential programming languages for application development. It supports the modular…
Expand
2005
2005
Logical Implementation of Uncertain Agents
N. Ferreira
,
Michael Fisher
,
W. Hoek
Portuguese Conference on Artificial Intelligence
2005
Corpus ID: 3413772
We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a…
Expand
2003
2003
Atomic Memory
R. Brewer
,
E. Hahn
2003
Corpus ID: 5023933
In 1872 Ludwig Boltzmann, a founder of modern thermodynamics, gave a lecture in which he said that the entropy, or disorder, of…
Expand
2000
2000
Adaptive learning expert systems
Sakchai Wiriyacoonkasem
,
A. Esterline
Proceedings of the IEEE SoutheastCon . 'Preparing…
2000
Corpus ID: 55207039
The purpose of this research is to improve the performance of an expert system through the use of a neural network, thus allowing…
Expand
1999
1999
Representing Problem-Solving for Knowledge Refinement
Susan Craw
,
Robin Boswell
AAAI/IAAI
1999
Corpus ID: 6699015
Knowledge refinement tools seek to correct faulty knowledge based systems (KBSs) by identifying and repairing potentially faulty…
Expand
1997
1997
Defthms About Zip and Tie: Reasoning about Powerlists in ACL2
Ruben Gamboa
1997
Corpus ID: 16760783
In [Mis94], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms…
Expand
1993
1993
LFA: a linear forward‐chaining algorithm for AI production systems
Xindong Wu
1993
Corpus ID: 62221329
: The LFA algorithm is a linear forward-chaining algorithm for AI production systems. It finds all the possible solutions for…
Expand
Review
1992
Review
1992
Integrating forward-chaining rules with operations and permanent knowledge bases
Christoph F. Eick
,
Jialin Liu
,
P. Werstein
Journal of Systems Integration
1992
Corpus ID: 9576363
Traditionally, rule-based forward-chaining systems are considered to be standalone, working on a volatile memory. This paper…
Expand
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder
,
S. Stolfo
,
J. E. Zielinski
,
F. Miller
,
D. H. Copp
International Joint Conference on Artificial…
1983
Corpus ID: 18632956
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and…
Expand