scholarly journals Unranked Anti-Unification with Hedge and Context Variables

10.29007/hg9q ◽  
2018 ◽  
Author(s):  
Alexander Baumgartner ◽  
Temur Kutsia
Keyword(s):  
Rule Based ◽  
Rule Based System ◽  
Context Variables ◽  
Unification Problem

In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables.Hedges are sequences of unranked terms.The anti-unification problem of two hedges s and q is concerned with finding their generalization, a hedge g such that both s and q are instances of g under some substitutions.Context variables are used to abstract vertical differences in the input hedges,and hedge variables are used to abstract horizontal differences.A rule based system in Huet's style will be presented, which computes a set ofgeneralizations of input hedges and records all the differences.The computed generalizations are least general among a certain class of generalizations.

Multi-Asset Class Portfolio Optimisation Using a Belief Rule-Based System

2010 ◽  
Author(s):  
Ser-Huang Poon ◽  
Yu-Wang Chen ◽  
Jian-Bo Yang ◽  
Dong-Ling Xu ◽  
Dongxu Zhang ◽  
...  
Keyword(s):  
Portfolio Optimisation ◽  
Rule Based ◽  
Rule Based System ◽  
Asset Class

Random clustering forest for extended belief rule-based system

2021 ◽  
Author(s):  
Nan-Nan Chen ◽  
Xiao-Ting Gong ◽  
Ying-Ming Wang ◽  
Chun-Yang Zhang ◽  
Yang-Geng Fu
Keyword(s):  
Rule Based ◽  
Rule Based System

Automatic Identification of Unique Conference Names using Rule-based System

2020 ◽  
Author(s):  
Nuttapol Boonsom ◽  
Suwimol Wahakit ◽  
Thearith Ponn ◽  
Worapan Kusakunniran ◽  
Kittikhun Thongkanchorn
Keyword(s):  
Automatic Identification ◽  
Rule Based ◽  
Rule Based System

STAX: a turbo prolog rule-based system for soil taxonomy

1989 ◽  
Vol 15 (3) ◽  
pp. 295-324 ◽  
Author(s):  
Peter F. Fisher ◽  
Chandra S. Balachandran
Keyword(s):  
Soil Taxonomy ◽  
Rule Based ◽  
Rule Based System

A fuzzy rule-based system to assess e-government technical interoperability maturity level

2014 ◽  
Vol 8 (3) ◽  
pp. 335-356 ◽  
Author(s):  
Andreiwid Sheffer Corrêa ◽  
Alexandre de Assis Mota ◽  
Lia Toledo Moreira Mota ◽  
Pedro Luiz Pizzigatti Corrêa
Keyword(s):  
Fuzzy Rule ◽  
Assessment Process ◽  
Maturity Model ◽  
Maturity Level ◽  
Rule Based ◽  
Content Type ◽  
Management Level ◽  
Rule Based System ◽  
Brazilian Government ◽  
Information And Communication

Purpose – The purpose of this study is to present a system called NEBULOSUS, which is a fuzzy rule-based expert system for assessing the maturity level of an agency regarding technical interoperability. Design/methodology/approach – The study introduces the use of artificial intelligence and fuzzy logic to deal with the imprecision and uncertainty present in the assessment process. To validate the system proposed and demonstrate its operation, the study takes into account the Brazilian technical interoperability maturity model, based on the Brazilian Government Interoperability Framework (GIF). Findings – With the system proposed and its methodology, it could be possible to increase the assessment process to management level and to provide decision-making support without worrying about technical details that make it complex and time-consuming. Moreover, NEBULOSUS is a standalone system that offers an easy-to-use, open and flexible structuring database that can be adapted by governments throughout the world. It will serve as a tool and contribute to governments’ expectations for continuous improvement of their technologies. Originality/value – This study contributes toward filling a gap in general interoperability architectures, which is a means to provide an objective method to evaluate GIF adherence by governments. The proposed system allows governments to configure their technical models and GIF to assess information and communication technology resources.

Sign in / Sign up

Export Citation Format

Share Document