Answers to modal and hypothetical questions in knowledge base systems

Obeid, Nadim

doi:10.1007/bf00058651

Cited by 2 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…N-COMPAT(G, D k , G1) is quite useful for hypothetical reasoning or for answering modal and hypothetical questions (cf. [32]). Definition 7.7 Let G be an agent, involved in an On-Going dialogue d at stage k with another agent G1.…”

Section: Views Of Agentsmentioning

confidence: 93%

See 1 more Smart Citation

Partial information basis for agent-based collaborative dialogue

Moubaiddin

Obeid

2008

Appl Intell

Self Cite

View full text Add to dashboard Cite

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 present a formalization of some basic dialogue moves and the rules of protocols of some types of dialogue. The rules of a protocol are nonmonotonic in the sense that the set of propositions to which an agent is committed and the validity of moves vary from one move to another. The use of PIS allows an agent to expand consistently its viewpoint with some of the propositions to which another agent, involved in a dialogue, is overtly committed. A proof method for the logic NML3 has been successfully implemented as an automatic theorem prover. We show, via some examples, that the tableau method employed to implement the theorem prover allows an agent, absolute access to every stage of a proof process. This access is useful for constructive argumentation and for finding cooperative and/or informative answers.

show abstract

Section: Views Of Agentsmentioning

confidence: 93%

“…It builds on the definition of proposition taken from PT whilst maintaining partial information states governed by NML3 (cf. [32,33]) (cf. Sect.…”

Section: The Modelmentioning

confidence: 99%

Partial information basis for agent-based collaborative dialogue

Moubaiddin

Obeid

2008

Appl Intell

Self Cite

View full text Add to dashboard Cite

show abstract

“…This is one of the basic and most important features that distinguish three-valued logic from the classical one. The difference is reflected semantically by partial models (partial states of information) for three-valued logic, as opposed to possible worlds (complete states of knowledge) for classical logic, and the intermediary levels of validity and certainty are naturally encoded in the object language (for more detailed discussion see Obeid, 1992Obeid, , 1996. As such, nonmonotonicity is not added on to some base logic, but rather it is natural and inherent in the make-up of the system.…”

Section: Reasoning With Incomplete Informationmentioning

confidence: 99%

Towards a Model of Learning through Communication

Obeid

2000

Knowledge and Information Systems

Self Cite

View full text Add to dashboard Cite

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 learn a collection of propositions concerning some situation is to incorporate it within one's knowledge about that situation. That is, the key factor in this activity is for the goal agent, where agents may switch role if appropriate, to integrate the information offered with what it already knows. This may require a process of belief revision, which suggests that the process of incorporation of new information should be modeled nonmonotonically. We shall employ for reasoning a three-valued based nonmonotonic logic that formalizes some aspects of revisable reasoning and it is accessible to implementation. The logic is sound and complete. A theorem-prover of the logic has successfully been implemented.

show abstract

Answers to modal and hypothetical questions in knowledge base systems

Cited by 2 publications

References 18 publications

Partial information basis for agent-based collaborative dialogue

Partial information basis for agent-based collaborative dialogue

Towards a Model of Learning through Communication

Contact Info

Product

Resources

About