Answer Synthesis as a Formalism for Validation
نویسنده
چکیده
In this paper, we propose a method allowing us to compare a speciication of the intended semantics of a given logic program with the operational one. We compute, using a version of Knuth Bendix completion procedure, a nite set of rewrite rules synthesizing the answers w.r.t. a goal and we compare this set of equations with the given speciication, supposed to be described also as a set of equations. This method could be seen as a way to partially validate logic programs.
منابع مشابه
Fuzzy Constraint Based Answer Validation
Answer validation is an important component of any question answering system. In this paper we show how the formalism of prioritized fuzzy constraint satisfaction allows to unify and generalize some common validation strategies. Moreover, answer candidates are represented by fuzzy sets, which allows to handle imprecise answers.
متن کاملCloze validation against IELTS Reading Paper: Doubts on correlational validation
Cloze was officially introduced in a journal on Journalism as a technique for estimating text readability and as "a new psychological tool for measuring the effectiveness of communication" (Taylor, 1953: 415). Different varieties of cloze have since been developed and experimented upon as measures of such diverse traits as reading comprehension and language proficiency. The findings of numerous...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Facile One-Pot Solvent-Free Synthesis of 1,2-Dihydro-1-arylnaphtho [1,2-e] [1,3] oxazine-3-ones Catalyzed by Nano-Fe2O3
One of the most important goals in medicinal chemistry is the development of new techniques and new heterocyclic compounds with pharmaceutical activity. The present study aimed to use a method for the synthesis of some 1,2-Dihydro-1-arylnaphtho [1,2-e] [1,3] oxazine-3-ones. The question this study tried to answer was this reaction can be performed in present of nano-Fe2O3 as an acid catalyst an...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007