On Extending RuleML for Modal Defeasible Logic

Authors:
Duy Hoang Pham;Guido Governatori;Simon Raboczi;Andrew Newman;Subhasis Thakur
Affiliations:
Queensland Research Laboratory, National ICT Australia, Brisbane, Australia and School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia;Queensland Research Laboratory, National ICT Australia, Brisbane, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia
Venue:
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Year:
2008

Citing 10
Cited 2

A logic model for electronic contracting

Decision Support Systems
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Norms and formalization

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
A model of dynamic resource allocation in workflow systems

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
The RuleML family of web rule languages

PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning

Web@IDSS - Argumentation-enabled Web-based IDSS for reasoning over incomplete and conflicting information

Knowledge-Based Systems
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

International Journal on Semantic Web & Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a general methodology to extend Defeasible Logic with modal operators. We motivate the reasons for this type of extension and we argue that the extension will allow for a robust knowledge framework in different application areas. The paper presents an extension of RuleML to capture Modal Defeasible Logic.