1.Previous
3.Next

of logic--usually a variation of first-order logic--and then to directly execute the logic as though it were a program. The OWL language, based on description logic, is an example. There is also work on mapping some version of English (or another natural language) automatically to and from logic, as well as executing the logic directly. Examples are Attempto Controlled English,

1.Previous
3.Next