| 1. |
- Dunin-Keplicz, Barbara, et al.
(författare)
-
Perceiving Speech Acts under Incomplete and Inconsistent Information
- 2013
-
Ingår i: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 255-264
-
Konferensbidrag (refereegranskat)abstract
- 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$^{\neg \neg}$-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.
|
|
| 2. |
- Maluszynski, Jan, et al.
(författare)
-
Partiality and Inconsistency in Agents' Belief Bases
- 2013
-
Ingår i: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 3-17
-
Konferensbidrag (refereegranskat)abstract
- Agents' beliefs can be incomplete and partially inconsistent. The process of agents' belief formation in such contexts has to be supported by suitable tools allowing one to express a variety of inconsistency resolving and nonmonotonic reasoning techniques.In this paper we discuss 4QL*, a general purpose rule-based query language allowing one to use rules with negation in the premises and in the conclusions of rules. It is based on a simple and intuitive semantics and provides uniform tools for lightweight versions of well-known forms of nonmonotonic reasoning. In addition, it is tractable w.r.t. data complexity and captures PTIME queries, so can be used in real-world applications.Reasoning in 4QL* is based on well-supported models. We simplify and at the same time generalize previous definitions of well-supported models and develop a new algorithm for computing such models.
|
|
| 3. |
- Nguyen, Linh Anh, et al.
(författare)
-
On the Horn Fragments of Serial Regular Grammar Logics with Converse
- 2013
-
Ingår i: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 225-234
-
Konferensbidrag (refereegranskat)abstract
- We study Horn fragments of serial multimodal logics which are characterized by regular grammars with converse. Such logics are useful for reasoning about epistemic states of multiagent systems as well as similarity-based approximate reasoning. We provide the first algorithm with PTIME data complexity for checking satisfiability of a Horn knowledge base in a serial regular grammar logic with converse.
|
|
