SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:9781614992530 "

Search: L773:9781614992530

  • Result 1-3 of 3
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Dunin-Keplicz, Barbara, et al. (author)
  • Perceiving Speech Acts under Incomplete and Inconsistent Information
  • 2013
  • In: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 255-264
  • Conference paper (peer-reviewed)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. (author)
  • Partiality and Inconsistency in Agents' Belief Bases
  • 2013
  • In: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 3-17
  • Conference paper (peer-reviewed)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. (author)
  • On the Horn Fragments of Serial Regular Grammar Logics with Converse
  • 2013
  • In: Advanced Methods and Technologies for Agent and Multi-Agent Systems. - : IOS Press. - 9781614992530 ; , s. 225-234
  • Conference paper (peer-reviewed)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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-3 of 3
Type of publication
conference paper (3)
Type of content
peer-reviewed (3)
Author/Editor
Szalas, Andrzej, 195 ... (3)
Maluszynski, Jan (1)
Dunin-Keplicz, Barba ... (1)
Nguyen, Linh Anh (1)
Strachocka, Alina (1)
Verbrugge, Rineke (1)
University
Linköping University (3)
Language
English (3)
Research subject (UKÄ/SCB)
Engineering and Technology (3)
Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view