Nadim Obeid

Learn More
We propose a partial information state-based framework for collaborative dialogue and argument between agents. We employ a three-valued based nonmonotonic logic, NML3, for representing and reasoning about Partial Information States (PIS). NML3 formalizes some aspects of revisable reasoning and it is sound and complete. Within the framework of NML3, we(More)
In this paper we present a general formalism for representing and reasoning with temporal information, event and change. The temporal framework is a theory of time that takes both points and interval as temporal primitives and where the base logic is that of Kleene's three-valued logic. Thus, we can avoid the Divided Instant Problem (DIP). We present a(More)
Communication is an interactive, complex, structured process involving agents that are capable of drawing conclusions from the information they have available about some real-life situations. Such situations are generally characterized as being imperfect. In this paper, we aim to address learning from the perspective of the communication between agents. To(More)
1.0 ABSTRACT, This paper describes a computational pragmatic model which is geared towards providing helpful answers to modal and hypothetical questions. The work brings together elements from fonnal. semantic theories on modality m~d question answering, defines a wkler, pragmatically flavoured, notion of answerhood based on non-monotonic inference aod(More)
We aim, in this paper, to make a a first step towards developing a model of knowledge acquisition/learning via cooperative dialogue. A key idea in the model is the concept of integrating exchanged information, via dialogue, within an agent's theory. The process is nonmonotonic. Dialogue is a structured process and the structure is relative to what an agent(More)
We develop, in this paper, a representation of time and events that supports a range of reasoning tasks such as monitoring and detection of event patterns which may facilitate the explanation of root cause(s) of faults. We shall compare two approaches to event definition: the active database approach in which events are defined in terms of the conditions(More)
The model-based diagnostic approach was first introduced to overcome the limitations of heuristic systems. However, research on model-based systems showed that the model-based diagnosis approaches resort to assumptions that can be viewed as the return, though controlled, of heuristics into diagnostic reasoning. In this paper we focus on diagnosis with(More)
In this paper, we make a first step towards a formal model of dialogue and argumentation for a multi-agent problem solving. We shall present a multi-agent system for problem solving. We shall the notion of collaborative problem solving and discuss some of the related communication issues. We propose a Partial Information State based framework for dialogue(More)