Paraconsistent semantics of speech acts
2015 (English)In: Neurocomputing, ISSN 0925-2312, Vol. 151, no 2, 943-952 p.Article in journal (Refereed) Published
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, DATALOC. 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.
Place, publisher, year, edition, pages
Elsevier , 2015. Vol. 151, no 2, 943-952 p.
Paraconsistent modeling; Communication; Speech acts; Tractable models; Four-valued logic; Conflict resolution
Computer and Information Science
IdentifiersURN: urn:nbn:se:liu:diva-114224DOI: 10.1016/j.neucom.2014.10.001ISI: 000347753500045OAI: oai:DiVA.org:liu-114224DiVA: diva2:788784