Paraconsistent semantics of speech acts.

This paper discusses an implementation of four speech acts: assert , concede , request and challenge in a paraconsistent framework. A natural four-valued model of interaction yields multiple new cognitive situations. They are analyzed in the context of communicative relations , which partially replace the concept of trust. These assumptions naturally lead to six types of situations, which often require performing conflict resolution and belief revision. 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 achieved. [ABSTRACT FROM AUTHOR]