Results 241 to 250 of about 977,095 (294)

Forward chaining parallel inference

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990, 2002
The paper describes the completed and ongoing efforts of the Parallel Inferencing Performance Evaluation and Refinement project (PIPER). The PIPER inference engine is based on the Merit Enhanced Traversal Engine (METE) algorithm which is an extension of Forgy's (1979) RETE algorithm.
M. C. Rowe, J. Labhart, R. Bechtel, S. Matney, S. Carrow   +4 more
openaire   +3 more sources

Forwarding in Contemporary Delivery Chain [PDF]

, 2017
The main function of forwarder is performing actions indispensable to carry out transport process mainly related to organizing the load transport. The functions of forwarder as well as his tasks are still developing and adjusting to the needs and changes of the market. The changes are mainly related to the shape and complexity of delivery chain.
Małgorzata Jarocka, Joanna Krupska
openaire   +1 more source

Forward chaining is simple(x)

Operations Research Letters, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Comparing forward and backward chaining in teaching Olympic weightlifting [PDF]

Journal of Applied Behavior Analysis, 2019
The popularity of Olympic‐style weightlifting in fitness routines is growing, but participating in these exercises with improper technique places lifters at increased risk for injury.
James W Moore
exaly   +1 more source

Smart Derivatives: On-Chain Forwards for Digital Assets

SSRN Electronic Journal, 2020
In this paper, we present a framework for the development of on-chain forwards (and futures). This utilises smart contracts to automate the custody of collateral and settlement of payouts on expiry. Importantly, our framework also enables forwards to be traded without counterparty risk or reliance on off-chain assets (such as fiat currencies).
Alfonso D. D. M. Rius, Eamonn Gashier
openaire   +1 more source

Forward Chaining for Hybrid ASP

2013
In this paper, we define an analogue of the Forward Chaining (FC) algorithm due to Marek, Nerode, and Remmel [12] for Hybrid Answer Set Programming (H-ASP). The FC algorithm for normal logic programs takes as an input a well ordering ≺ of the non-Horn clauses of a normal logic program P and produces a stable model D ≺ for a subprogram A ≺ of P.
Alex Brik, Jeffrey B. Remmel
openaire   +1 more source

Forward Chaining Hierarchical Partial-Order Planning

2021
In recent years, the surge in interest in integrated Task and Motion Planning (TAMP) has caused a resurgence in Task Planning research in the robotics community. Meanwhile, in the broader AI community, combining partial-order planning with grounded forward chaining has become popular for temporal task planning, preserving the ability of partial-order ...
Andrew Messing, Seth Hutchinson 0001
openaire   +1 more source

Logic Programs, Compatibility and Forward Chaining Construction

Journal of Computer Science and Technology, 2009
Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories.
Yisong Wang 0004, Mingyi Zhang 0002, Jia-Huai You   +2 more
openaire   +2 more sources

Data Forwarding Using Dynamic Chains in VANETs

2018 International Conference on Computer and Applications (ICCA), 2018
Vehicular Ad-hoc Networks (VANETs) have made a great evolution in vehicular system, where they tend to decrease the percentage of accidents annually by maintaining the security of drivers in the road. In recent years, much research has been devoted to the study of the importance of VANETs and improving it; nevertheless, these researches still lack of ...
Hanan Idriss, Aly El Mouallem, Abdel-Mehsen Ahmad, Zouhair El-Bazzal, Ahmad Muhieddine   +4 more
openaire   +1 more source

Forward Chaining with State Monad

2016
Production systems use forward chaining to perform the reasoning, in this case - matching rules with facts. The Rete algorithm is an effective forward chaining realization. With the growing popularity of functional programming style, questions arise, how well suitable the style is for implementing complex algorithms in the Artificial Intelligence, like
openaire   +2 more sources