WFRF:(Kurian M)
Sökning: WFRF:(Kurian M) > (2015-2019) > How an agent might ...
How an agent might think
-
- Szalas, Andrzej (författare)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska högskolan
- (creator_code:org_t)
- 2012-12-13
- 2013
- Engelska.
- Ingår i: Logic journal of the IGPL (Print). - : Oxford University Press (OUP): Policy A - Oxford Open Option A. - 1367-0751 .- 1368-9894. ; 21:3, s. 515-535
- Tidskriftsartikel (refereegranskat)
Abstract
Ämnesord
Stäng
- The current article is devoted to extensions of the rule query language 4QL proposed by Małuszyński and Szałas. 4QL is a Datalog¬¬-like language, allowing one to use rules with negation in heads and bodies of rules. It is based on a simple and intuitive semantics and provides uniform tools for lightweight versions of well-known forms of non-monotonic reasoning. In addition, 4QL is tractable w.r.t. data complexity and captures PTime queries. In the current article we relax most of restrictions of 4QL, obtaining a powerful but still tractable query language 4QL+. In its development we mainly focused on its pragmatic aspects: simplicity, tractability and generality. In the article we discuss our approach and choices made, define a new, more general semantics and investigate properties of 4QL+.
Nyckelord
- Rule language; Datalog; Datalog(is not an element of is not an element of); non-monotonic reasoning; paraconsistent semantics; agent systems
- TECHNOLOGY
- TEKNIKVETENSKAP
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
- Logic journal of the IGPL (Print) (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Szalas, Andrzej
- Artiklar i publikationen
- Logic journal of ...
- Av lärosätet
- Linköpings universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
