The overall goal of this research program is a construction of a paraconsistent model of agents’ communication, comprising two building blocks: speaking about facts and speaking about reasoning rules. To construct complex dialogues, such as persuasion, deliberation, information seeking, negotiation or inquiry, the speech acts theory provides the necessary building material. This paper extends the implementation of the speech act assert in the paraconsistent framework, presented in our previous paper, by providing means for agents to perceive and learn not only facts, but also rules. To this end the admissibility criterion for a rule to be accepted has been defined and the Algorithm for Perceiving Assertions About Rules has been proposed. A natural four-valued model of interaction yields multiple new cognitive situations. Epistemic profiles encode the way agents reason, and therefore also deal with inconsistent or lacking information. Communicative relations in turn comprise various aspects of communication and allow for the fine-tuning of applications. The particular choice of a rule-based, Datalog ¬¬-like query language 4QL as a four-valued implementation framework ensures that, in contrast to the standard two-valued approaches, tractability of the model is maintained.
原文链接
分享
引用
