Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,438,142 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
2010
2010
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
C. Damásio
,
José Júlio Alferes
,
João Leite
International Workshop on the Semantic Web
2010
Corpus ID: 108564
The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic…
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
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
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
1983
1983
A Report on FOLIO: An Expert Assistant for Portfolio Managers
P. Cohen
,
Mark D. Lieberman
International Joint Conference on Artificial…
1983
Corpus ID: 7966255
FOLIO is an expert system to assist portfolio managers. It interviews a client and, on the basis of expert knowledge, determines…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE