Logical Foundations for Rule-Based Systems

Ligęza, Antoni

doi:10.1007/3-540-32446-1

Cited by 137 publications

(56 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…According to Khardon and Arias [21] and Ligeza [23], the rule r j generally subsumes r s , denoted by r j r s , if there exists a substitution ς such that Ant(r j )ς ⊆ Ant(r s ) and Con(r s ) ⊆ Con(r j )ς. In this case the set of inputs x j is a subset of x s , and y s ⊆ y j .…”

Section: Maintenancementioning

confidence: 99%

Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study

Steinegger

Zoitl

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

The effort for design and implementation of process automation systems increases with the complexity of modern production plants. To shorten the implementation phase we propose a conceptual approach for automated code generation for programmable logic controllers (PLCs) based on knowledge acquisition from standardized engineering artifacts and their corresponding tool database. Ontologies are defined for each engineering domain artifact, representing the concepts and relations specified in the associated domain standards. An automated data extraction and population of the domain-specific ontologies together with semi-automated mapping definitions between common engineering objects then enables a rulebased code generator to query the ontologies. The query results are translated afterward into PLC code by applying a rule transformation algorithm.

show abstract

Section: Maintenancementioning

confidence: 99%

Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study

Steinegger

Zoitl

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

show abstract

“…• Underlying formalism -XTT2 is based on the ALSV(FD) logic [6] providing rigorous and precise definition of the XTT2-based rule language. • Visual representation -DTs are designed in a visual manner by a dedicated tool called HQEd [4].…”

Section: Motivation and Outline Of The Solutionmentioning

confidence: 99%

Proposal of a rule-based testing framework for the automation of the unit testing process

Nalepa

Kaczor

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

In the paper a new approach to automating unit testing in software engineering is described. It is based on the use of a rule-based specification of a module. This specification is then used to automatically generate test cases, thus simplifying the testing process. The paper discusses the application of decision tables to capture the specification of the system. The tables are described in a formalized way using a design method for rule-based expert systems. They are then used to generate test cases for the JUnit software. This intelligent technique can speedup, automate and improve the software testing process.

show abstract

“…In order to create an inference engine a reasoning technique must be selected, and the engine has to be programmed. In the formal analysis of RBS [6] some important aspects of the design and implementation are identified: 1) rulebase design, including: the formal logical language of the representation, formal syntax of the representation method, representation expressiveness, which is often a function of the expressiveness of the underlying logic, and particular rule syntax. 2) inference engine implementation, including: inference strategy, interpreter model, including rule matching method, conflict resolution algorithm.…”

Section: A Business Rules Conceptsmentioning

confidence: 99%

“…The HeKatE project (see hekate.ia.agh.edu.pl) aims at providing an integrated methodology for the design, implementation, and analysis of rule-based systems [23], [6]. The main principles of the project are based on a critical analysis of the state-of-the art of the rule-based systems design, see [24].…”

Section: The Xtt Approachmentioning

confidence: 99%

See 1 more Smart Citation

Business rules design method for Business Process Management

Nalepa

Mach²

2009

2009 International Multiconference on Computer Science and Information Technology

View full text Add to dashboard Cite

The paper deals with the problem of designing business rules (BR) for the business process modeling (BPM). It shows the role of knowledge in BPM and points out the issues that arise from the link between knowledge and the BPM. It presents the challenges of BR modeling, shows some disadvantages of existing and commonly used methods. As a solution, a method based on the XTT approach is outlined and discussed.

show abstract

Logical Foundations for Rule-Based Systems

Cited by 137 publications

References 0 publications

Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study

Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study

Proposal of a rule-based testing framework for the automation of the unit testing process

Business rules design method for Business Process Management

Contact Info

Product

Resources

About