considering the role of witness in the different sciences of language and literature and the importance of the muallaqat in arabic literature and the importance of explanations of these poems, in the present study, it is intended to study the method of commentators n applying the the different evidence of the quran, hadith, poetry, proverb, descriptive - analytical method was employed. the resu...

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...

This paper outlines an implemented system called PROVERB that explains machine-found natural deduction proofs in natural language. Diierent from earlier works, we pursue a reconstructive approach. Based on the observation that natural deduction proofs are at a too low level of abstraction compared with proofs found in mathematical textbooks, we deene rst the concept of so-called assertion level...

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...