Critical evaluation of the XTT2 rule representation through comparison with CLIPS

One of the most striking properties of this semantics is that it is complete in a very strong sense [13, 14]: for each extension T of the basic equational theory of the λ-calculus,

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

A similar situation is found in the plurivaluationistic semantics for other vague predicates besides our example of tall: typically, the class of admissible fuzzy models P can

FOFRADAR consists of a logical calculus LC of association rules and of several mutually related languages and procedures used to formalize both items of domain knowledge and

Support for parsing ontologies with description graphs and description graph rules is available in an extension of the OWL API 7 and HermiT can be used for reasoning with

A formal framework of extended Attributive Logic with Set Values over Finite Domains (ALSV(FD)) is presented and specific inference rules are provided with their corresponding

Figure 1 shows the result of the algorithm for computing the conjunction of FTV, obtained in accordance with [8] for fuzzy sets with membership functions, given in

This is close to usual Montague semantics where simply typed λ- calculus (intuitionistic propositional logic) with two base types e and t is used to express and to glue formulae of