SALVAGING THE SPIRIT OF THE METER-MODELS TRADITION: A MODEL OF BELIEF REVISION BY WAY OF AN ABSTRACT IDEALIZATION OF RESPONSE TO INCOMING EVIDENCE DELIVERY DURING THE CONSTRUCTION OF PROOF IN COURT |
| |
| Authors: | ALDO FRANCO DRAGONI EPHRAIM NISSAN |
| |
| Affiliation: | 1. Istituto di Informatica , University of Ancona, Ancona, Ital;2. School of Computing and Mathematical Sciences , University of Greenwich, Greenwich, London, England, United Kingdo |
| |
| Abstract: | Conversations occurring in a society of communicating systems can be studied according to a model where the main concept is a theory and exchanges are governed by syntactic, semantic, and pragmatic devices. In the present paper we discuss these issues, focusing on the role played by situations where context marks are meaningful for governing dialogues. We take the case of intelligent tutors, in particular one for logic programming under development, as the application example behind this research. Finally, we stress that the flexibility of interactions depends to a great extent on the ability of knowledge-based systems to face open situations. |
| |
| Keywords: | |
|
|
