The Making of SPINdle

Lecture notes in computer sciencePublished 1 January 2009

Ho-Pun Lam, Guido Governatori

DOI10.1007/978-3-642-04985-9_29

Source URL

Citations112

SJR quartileQ2

SJR score0.35

SNIP0.55

TL;DR

The design and implementation of SPINdle is presented, an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasibles logic theories (including theories with over 1 million rules).

Abstract

We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic theories (including theories with over 1 million rules). The implementation covers both the standard and modal extensions to defeasible logics. It can be used as a standalone theory prover and can be embedded into any applications as a defeasible logic rule engine. It allows users or agents to issues queries, on a given knowledge base or a theory generated on the fly by other applications, and automatically produces the conclusions of its consequences. The theory can also be represented using XML.

Keywords

Computer Science

ACM Transactions on Computational LogicRepresentation results for defeasible logic

370 Citations2001Grigoris Antoniou, David P. Billington +2 more

The transformations described in this paper have two main benefits: on one hand they can be used as a theoretical tool that leads to a deeper understanding of the formalism, and on the other hand they have been used in the development of an efficient implementation of defeasible logic.

View PDF

Defeasible logic

272 Citations1994Donald Nute

Proceedings - International Enterprise Distributed Object Computing ConferenceCompliance checking between business processes and business contracts

266 Citations2006Guido Governatori, Zoran Milošević +1 more

This paper provides a solution to the lack of mechanisms to check whether business processes are compliant with business contracts, namely logic based formalism for describing both the semantics of contract and the semanticsof compliance checking procedures.

Defeasible Logic

161 Citations1994Donald Nute

Theory and Practice of Logic ProgrammingPropositional defeasible logic has linear complexity

157 Citations2001Michael J. Maher

Temporalised normative positions in defeasible logic

143 Citations2005Guido Governatori, Antonino Rotolo +1 more

A computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions is proposed and how to represent and reason with them in the setting of Defeasible Logic is shown.

Autonomous Agents and Multi-Agent SystemsBIO logical agents: Norms, beliefs, intentions in defeasible logic

126 Citations2008Guido Governatori, Antonino Rotolo

It is argued that the introduction of obligations can provide a new reading of the concepts of intention and intentionality and it is shown that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Journal of Logic and ComputationDefeasible Logic is Stable

121 Citations1993David P. Billington

This work defines, and gives some of the intuition behind the definition of, a nonmonotonic logic called defeasible logic, and shows how well the definition captures the authors' intuitions.

International Journal of Artificial Intelligence ToolsEFFICIENT DEFEASIBLE REASONING SYSTEMS

120 Citations2001Michael J. Maher, Andrew Rock +3 more

International Journal on Semantic Web and Information SystemsA Defeasible Logic Reasoner for the Semantic Web

116 Citations2006Nick Bassiliades, Grigoris Antoniou +1 more

This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web, called DR-DEVICE, which is capable of reasoning about RDF metadata over multiple Web sources using defeasibility logic rules.