Argumentation in the Semantic Web
|
This article identifies an important role that argumentation should play in the development of the Semantic Web vision. It proposes the ArgSCIFF architecture, which supports high-level reasoning and argumentation-driven interaction among Semantic Web services. ArgSCIFF is based on a concrete, implemented operational model. The authors demonstrate the architecture's ideas and functioning by way of a running example. This article is part of a special issue on argumentation technology.
[1] 66 M. Alberti et al., "Verifiable Agent Interaction in Abductive Logic Programming: The SCIFFFramework," to be published in ACM Trans. Computational Logic; http://tocl.acm.orgaccepted.html.
[2] T.H. Fung and R. Kowalski, "The IFF Proof Procedure for Abductive Logic Programming," J. Logic Programming, vol. 33, no. 2, 1997, pp. 151–165.
[3] L. Laera et al., "Reaching Agreement over Ontology Alignments," Proc. 5th Int'l Semantic Web Conf. (ISWC 06), LNCS 4273, Springer, 2006, pp. 371–384.
[4] P. Dung, "On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games," Artificial Intelligence, vol. 77, no. 2, 1995, pp. 321–357.
[5] M. Alberti et al., "Mapping Deontic Operators to Abductive Expectations," Computational and Mathematical Organization Theory, vol. 12, nos. 2–3, 2006, pp. 205–225.
[6] M. Alberti et al., "Web Service Contracting: Specification and Reasoning with SCIFF," Proc. 4th European Semantic Web Conf. (ESWC 07), LNCS 4519, Springer, 2007, pp. 68–83.
[7] A. Wyner, T. Bench-Capon, and K. Atkinson, "Three Senses of 'Argument,'" Proc. Workshop Argumentation and Nonmonotonic Reasoning (ArgNMR 07), 2007, pp. 1–15; http://lia.deis.unibo.it/confs/ArgNMR/proceedings ArgNMR-proceedings.pdf.
[8] A. Kakas, R. Kowalski, and F. Toni, "Abductive Logic Programming," J. Logic and Computation, vol. 2, no. 6, 1993, pp. 719–770.
[9] K. Kunen, "Negation in Logic Programming," J. Logic Programming, vol. 4, 1987, pp. 289–308.
[10] A. Kakas and F. Toni, "Computing Argumentation in Logic Programming," J. Logic and Computation, vol. 9, no. 4, 1999, pp. 515–562.
[11] S. Coste-Marquis, C. Devred, and P. Marquis, "Symmetric Argumentation Frameworks," Proc. 8th European Conf. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQUARU05), LNCS 3571, Springer, 2005, pp. 317–328.
Index Terms:
argumentation frameworks, logic programming, Semantic Web
Citation:
Paolo Torroni, Marco Gavanelli, Federico Chesani, "Argumentation in the Semantic Web," IEEE Intelligent Systems, vol. 22, no. 6, pp. 66-74, Nov./Dec. 2007, doi:10.1109/MIS.2007.100
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb