QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
人工智能
2007-05-23 v1
摘要
In this paper, we outline the prototype of an automated inference tool, called QUIP, which provides a uniform implementation for several nonmonotonic reasoning formalisms. The theoretical basis of QUIP is derived from well-known results about the computational complexity of nonmonotonic logics and exploits a representation of the different reasoning tasks in terms of quantified boolean formulae.
引用
@article{arxiv.cs/0003037,
title = {QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks},
author = {Uwe Egly and Thomas Eiter and Hans Tompits and Stefan Woltran},
journal= {arXiv preprint arXiv:cs/0003037},
year = {2007}
}