Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Traduzione del primo canto dell'inferno dantesco in arabo

In this thesis, I have chosen to translate from Italian into Arabic Canto I of the Inferno, from Dante Alighieri’s epic poem the Divine Comedy (La Divina Commedia) because it’s a masterpiece in both Italian and world literature. Also I have selected it for its artistic value and the universal themes that it depicts. In fact, my purpose in translating this great work into Arabic is to extol the cultural and universal aspects that can be common to human beings everywhere. My paper is written in Arabic and has six sections: A brief introduction on Dante’s life, an introduction to the Divine Comedy, a summary of Canto 1 of the Inferno and its analysis, Canto I of the Inferno in Italian, its translation into Arabic and finally a comment on the translation. The first part -a summary of Dante’s life was presented. The second part of my paper is an introduction to the Divine Comedy, the allegorical epic poem, consisting of three parts: The Inferno (Hell), Purgatorio (Purgatory), and Paradiso (Paradise). The third part is a summary and analysis of Canto 1 of the Inferno, Dante’s most renowned verses. The analysis of Canto highlights the everlasting conflict of man– sinning and giving in to temptation but then trying to repent and search for his soul’s salvation. He reflects on sin, existence, truth, God, love and salvation in his struggle through the dark and gloomy forest which symbolizes conflict and temptations man may succumb to. The influence of Christianity and the Middle ages here shows his commitment to religion and faith. Moreover, his meeting of Virgil, who guides him to the mountain during his journey to salvation, reflects the positive impact of Virgil’s philosophy on Dante. The fourth part presents the Italian version of Canto 1 of the Inferno. The fifth section of my paper is the translation of Canto 1 of the Inferno from Italian to Arabic. Translating an excerpt of Dante’s masterpiece was not an easy task: I had to consult several critique texts besides the Italian source text with explanations, and also some English versions to overcome any translation difficulties. As a student of translation, my goal was to be faithful in relaying to the Arabic audience the authenticity of Dante’s work, his themes, passions and aesthetic style. Finally, I present a conclusion including a comment on the translation and the bibliography of the sources I have consulted.