Automatic estimation of exercises'difficulty levels in a tutoring system for teaching the conversion of natural language into first-order logic

2016 ◽  
Vol 33 (6) ◽  
pp. 569-580 ◽  
Author(s):  
Isidoros Perikos ◽  
Foteini Grivokostopoulou ◽  
Konstantinos Kovas ◽  
Ioannis Hatzilygeroudis
Keyword(s):  
Natural Language ◽  
Order Logic ◽  
First Order Logic ◽  
Tutoring System ◽  
First Order ◽  
Automatic Estimation

Translating Advanced Integrity Checking Technology to SQL

2002 ◽  
pp. 203-249 ◽  
Author(s):  
Hendrik Decker
Keyword(s):  
Natural Language ◽  
Order Logic ◽  
Predicate Calculus ◽  
Integrity Constraints ◽  
First Order Logic ◽  
First Order ◽  
Integrity Checking ◽  
Natural Language Interface ◽  
User Friendly ◽  
Declarative Specifications

The main goal of this chapter is to arrive at a coherent technology for deriving efficient SQL triggers from declarative specifications of arbitrary integrity constraints. The user may specify integrity constraints declaratively as closed queries in predicate calculus syntax (i.e., sentences in the language of first-order logic, abbr. FOL), as datalog denials, as query conditions in SQL WHERE clauses, or in some other, possibly more user-friendly manner (e.g., via a dialog-driven graphical or natural language interface which internally translates to equivalent WHERE clause conditions). As we are going to see, the triggers derived from such specifications behave such that whenever some update event would violate any of the integrity constraints, one or several of the triggers derived from that constraint are activated in order to enforce the constraint. That is, the violation is either prevented by rolling back the update or repaired instantly by subsequent further updates.

Difficulty Estimator for Converting Natural Language into First Order Logic

2011 ◽  
pp. 135-144 ◽  
Author(s):  
Isidoros Perikos ◽  
Foteini Grivokostopoulou ◽  
Ioannis Hatzilygeroudis ◽  
Konstantinos Kovas
Keyword(s):  
Natural Language ◽  
Order Logic ◽  
First Order Logic ◽  
First Order
Sign in / Sign up

Export Citation Format

Share Document