On Combining Backward and Forward Chaining in Constraint Logic Programming

Haemmerlé, Rémy

doi:10.1145/2643135.2643144

Cited by 2 publications

(2 citation statements)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the search stage of the problem-solving agent, there is a need to use a proper searching algorithm that meets the problem scenario and the input information. The search algorithms that are used in rule-based systems are backward chaining, forward-chaining and a mixture of both of them [34,51]. Table 2 compares between the reasoning algorithms which are referred to as chaining in some literature.…”

Section: Forward-chaining Algorithmmentioning

confidence: 99%

An Intelligent Access Control Model

ALAmri¹

2021

Quality Control - Intelligent Manufacturing, Robust Design and Charts

View full text Add to dashboard Cite

Cybersecurity is a critical issue as the world is moving towered IR4 era (Industrial Revaluation 4.0) where technology is involved, and access to the internet is an imperative need. The traditional computing systems are not able to meet the huge computing demand and growing data (Big-Data). Therefore; new technologies have been evolved such as cloud computing. This chapter is exploring the need for a dynamic access control approach to enhance the Cybersecurity. The scope in this chapter is focusing on IaaS (Infrastructure as a Service) layer of cloud computing. The research approach aims to enhance the basic ABAC (Attribute-Based Access Control) model by adding a context-aware feature and SoD principle. The enhanced model called ABACsh. This proposed enhancement is implemented through a framework based on AI (Artificial Intelligent) to meet the requirements of dynamic systems. The framework is tested in the OpenStack testbed. The results show better performance in the term of computation speed.

show abstract

Section: Forward-chaining Algorithmmentioning

confidence: 99%

An Intelligent Access Control Model

ALAmri¹

2021

Quality Control - Intelligent Manufacturing, Robust Design and Charts

View full text Add to dashboard Cite

show abstract

“…Languages supporting deterministic forward and backward computation are known as reversible languages such as the imperative language Janus [16]. Recently, [10] proposed a class of programming languages that generalizes both Constraint Logic and Concurrent Constraint Programming to combine forward and backward chaining, however the work lacks a proper implementation. Prolog uses backward chaining, and can be used to implement two-way programs whose arguments maybe used for input or output.…”

Section: Introductionmentioning

confidence: 99%

Combining Forward and Backward Propagation

Zaki

Abdennadher

Frühwirth

2015

Frontiers of Combining Systems

View full text Add to dashboard Cite

Abstract. Constraint Handling Rules (CHR) is a general-purpose rulebased programming language. This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies. Forward propagation transforms input to output, while backward propagation uncovers input from output. This work includes a source-to-source transformation capable of implementing a backward propagation of the rules. Furthermore with the addition of annotating trigger constraints, CHR programs can be executed in a strictlyforward, strictly-backward or combined interleaved quasi-simultaneous manner. A programmer should only write one program and then the annotated transformation empowers the multiple execution strategies. The proposed work is useful for automatic implementation of bidirectional search for any search space through the combined execution strategies. Moreover, it is advantageous for reversible bijective algorithms (such as lossless compression/decompression), requiring only one algorithm direction to be implemented.

show abstract

On Combining Backward and Forward Chaining in Constraint Logic Programming

Cited by 2 publications

References 37 publications

An Intelligent Access Control Model

An Intelligent Access Control Model

Combining Forward and Backward Propagation

Contact Info

Product

Resources

About