LiU Electronic Press
Full-text not available in DiVA
Author:
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems) (Linköping University, The Institute of Technology)
Title:
How an agent might think
Department:
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: Oxford University Press (OUP): Policy A - Oxford Open Option A
Status:
Published
In:
Logic journal of the IGPL (Print)(ISSN 1367-0751)(EISSN 1368-9894)
Volume:
21
Issue:
3
Pages:
515-535
Year of publ.:
2013
URI:
urn:nbn:se:liu:diva-96481
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-96481
ISI:
000319472800011
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Keywords(en) :
Rule language; Datalog; Datalog(is not an element of is not an element of); non-monotonic reasoning; paraconsistent semantics; agent systems
Abstract(en) :

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+.

Available from:
2013-08-23
Created:
2013-08-20
Last updated:
2013-09-19
Statistics:
14 hits