Article

The Making of SPINdle

Authors:

Ho-Pun Lam,

Guido GovernatoriAuthors Info & Claims

RuleML '09: Proceedings of the 2009 International Symposium on Rule Interchange and Applications

Pages 315 - 322

https://doi.org/10.1007/978-3-642-04985-9_29

Published: 04 November 2009 Publication History

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.

References

[1]

Nute, D.: Defeasible logic. In: Gabbay, D., Hogger, C. (eds.) Handbook of Logic for Artificial Intelligence and Logic Programming, vol. III, pp. 353-395. Oxford University Press, Oxford (1994).

Crossref

Google Scholar

[2]

Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6), 691-711 (2001).

Crossref

Google Scholar

[3]

Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255-286 (2001).

Crossref

Google Scholar

[4]

Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6(6), 703-735 (2006).

Crossref

Google Scholar

[5]

Billington, D.: Defeasible logic is stable. J. Logic Computation 3(4), 379-400 (1993).

Google Scholar

[6]

Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: On the modeling and analysis of regulations. In: Proceedings of the Australian Conference Information Systems, pp. 20-29 (1999).

Google Scholar

[7]

Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114-128. Springer, Heidelberg (2004).

Google Scholar

[8]

Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. International Journal of Semantic Web and Information Systems 2(1), 1-41 (2006).

Google Scholar

[9]

Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 221-232. IEEE Computing Society, Los Alamitos (2006).

Crossref

Google Scholar

[10]

Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems 17, 36-69 (2008).

Crossref

Google Scholar

[11]

Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10, 483-501 (2001).

Google Scholar

[12]

Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 25- 34. ACM Press, New York (2005).

Crossref

Google Scholar

Cited By

View all

Spanoudakis NGligoris GKoumi AKakas A(2023)Explainable argumentation as a serviceWeb Semantics: Science, Services and Agents on the World Wide Web10.1016/j.websem.2023.10077276:COnline publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1016/j.websem.2023.100772
Cabalar PCiabattoni Avan der Torre L(2023)Deontic Equilibrium Logic with eXplicit NegationLogics in Artificial Intelligence10.1007/978-3-031-43619-2_34(498-514)Online publication date: 20-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43619-2_34
Daga EAsprino LDamiano RDaquino MAgudo BGangemi AKuflik TLieto AMaguire MMarras APandiani DMulholland PPeroni SPescarin SWecker A(2022)Integrating Citizen Experiences in Cultural Heritage Archives: Requirements, State of the Art, and ChallengesJournal on Computing and Cultural Heritage 10.1145/347759915:1(1-35)Online publication date: 22-Jan-2022
https://dl.acm.org/doi/10.1145/3477599
Show More Cited By

Index Terms

The Making of SPINdle
1. Theory of computation
  1. Logic

Index terms have been assigned to the content through auto-classification.

Recommendations

A grounder for SPINdle defeasible logic reasoner

Proposed a grounder for defeasible logic bottom-up programs focused on stratified theories.Introduced an algorithm for theory stratification.The grounder exploits classical backtracking algorithm for instantiation.Proposed a query optimization technique ...
Embedding defeasible logic into logic programming

Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible ...
Interdefinability of defeasible logic and logic programming under the well-founded semantics

We provide a method of translating theories of Nute's defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restrictions, the conclusions of defeasible theories under the ambiguity ...

Comments

Information & Contributors

Information

Published In

RuleML '09: Proceedings of the 2009 International Symposium on Rule Interchange and Applications

November 2009

352 pages

ISBN:9783642049842

Editors:
Guido Governatori
Queensland Research Laboratory, National ICT Australia, St Lucia, Australia 4067
,
John Hall
Model Systems, London, UK W1G 0DD
,
Adrian Paschke
FB mathematik und Informatik, Institut für Informatik, AG Corporate Semantic Web, Freie Universität Berlin, Berlin, Germany 14495

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 04 November 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Spanoudakis NGligoris GKoumi AKakas A(2023)Explainable argumentation as a serviceWeb Semantics: Science, Services and Agents on the World Wide Web10.1016/j.websem.2023.10077276:COnline publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1016/j.websem.2023.100772
Cabalar PCiabattoni Avan der Torre L(2023)Deontic Equilibrium Logic with eXplicit NegationLogics in Artificial Intelligence10.1007/978-3-031-43619-2_34(498-514)Online publication date: 20-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43619-2_34
Daga EAsprino LDamiano RDaquino MAgudo BGangemi AKuflik TLieto AMaguire MMarras APandiani DMulholland PPeroni SPescarin SWecker A(2022)Integrating Citizen Experiences in Cultural Heritage Archives: Requirements, State of the Art, and ChallengesJournal on Computing and Cultural Heritage 10.1145/347759915:1(1-35)Online publication date: 22-Jan-2022
https://dl.acm.org/doi/10.1145/3477599
Neufeld EBartocci ECiabattoni AGovernatori G(2022)Enforcing ethical goals over reinforcement-learning policiesEthics and Information Technology10.1007/s10676-022-09665-824:4Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10676-022-09665-8
Steen AFuenmayor D(2022)Bridging Between LegalRuleML and TPTP for Automated Normative ReasoningRules and Reasoning10.1007/978-3-031-21541-4_16(244-260)Online publication date: 26-Sep-2022
https://dl.acm.org/doi/10.1007/978-3-031-21541-4_16
Spanoudakis NKostis KMania KHung CCerny TShin DBechini A(2020)Argumentation for allProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3374122(980-982)Online publication date: 30-Mar-2020
https://dl.acm.org/doi/10.1145/3341105.3374122
Daga EGangemi AMotta Ed’Aquin MKirrane SVillata S(2018)Reasoning with data flows and policy propagation rulesSemantic Web10.3233/SW-1702669:2(163-183)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.3233/SW-170266
Hu JZhong Y(2018)A Method of Logic-Based Smart Contracts for Blockchain SystemProceedings of the International Conference on Data Processing and Applications10.1145/3224207.3224218(58-61)Online publication date: 12-May-2018
https://dl.acm.org/doi/10.1145/3224207.3224218
Casalicchio ECardellini VInterino GPalmirani M(2018)Research challenges in legal-rule and QoS-aware cloud service brokerageFuture Generation Computer Systems10.1016/j.future.2016.11.02578:P1(211-223)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.future.2016.11.025
Hashmi MGovernatori GLam HWynn M(2018)Are we done with business process complianceKnowledge and Information Systems10.1007/s10115-017-1142-157:1(79-133)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10115-017-1142-1
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

A grounder for SPINdle defeasible logic reasoner

Embedding defeasible logic into logic programming

Interdefinability of defeasible logic and logic programming under the well-founded semantics

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations