Abstract
This paper proposes a proof theoretic approach to check conflicts between the arguments derived from the ontologies of learning resources. Two types of arguments that can arise in a situation where a learner encounters conflicting viewpoints about a topic are identified, namely syllogistic arguments and arguments about the set of necessary and sufficient conditions that represent a concept. A method based on set equations is applied to create Syllogistic arguments from ontologies. The taxonomic associations of concepts in Ontologies, can be converted to categorical statements giving rise to syllogisms. We also consider arguments about the necessary and sufficient features for the representation of concepts and show that they can be handled in a very similar way as syllogistic arguments. The approach can be applied by a pedagogical agent in an interactive learning environment in order to identify, discuss differences in conceptualizations and check the validity of claims of different resources.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Hameed, A., Sleeman, D., Preece, A.: Detecting mismatches among experts ontologies acquired through knowledge elicitation. Knowledge-Based Systems 15, 265–273 (2002)
Ravenscroft, A.: Designing argumentation for conceptual development. Computers and Education 34, 241–255 (2000)
McAlister, S., Ravenscroft, A., Scalon, E.: Combining interaction and context design to support collaborative argumentation using a tool forsynchronouscmc. Journal of Computer Assisted Learning 20(3), 194–204 (2004)
Hartley, J.R.: Qualidative reasoning and conceptual change: Computer based support in understanding science. Interactive Learning Environments 5, 53–64 (1998)
Walton, D.: Foundamentals of Critical Argumentation. Cambridge University Press, Cambridge (2006)
Bennett, B.: Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computer Studies, The University of Leeds (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Panayiotou, C., Bennett, B. (2008). Semantic Web Reasoning Tutoring Agent. In: Woolf, B.P., Aïmeur, E., Nkambou, R., Lajoie, S. (eds) Intelligent Tutoring Systems. ITS 2008. Lecture Notes in Computer Science, vol 5091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69132-7_117
Download citation
DOI: https://doi.org/10.1007/978-3-540-69132-7_117
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69130-3
Online ISBN: 978-3-540-69132-7
eBook Packages: Computer ScienceComputer Science (R0)