Abstract
Human knowledge is subject to uncertainties, imprecision, incompleteness and inconsistencies. Moreover, the meaning of many everyday terms is dependent on the context. That poses a huge challenge for the Semantic Web. This paper introduces work on an intuitive notation and model for defeasible reasoning with imperfect knowledge, and relates it to previous work on argumentation theory. PKN is to N3 as defeasible reasoning is to deductive logic. Further work is needed on an intuitive syntax for describing reasoning strategies and tactics in declarative terms, drawing upon the AIF ontology for inspiration. The paper closes with observations on symbolic approaches in the era of large language models.
The work described in this paper was supported by the European Union’s Horizon RIA research and innovation programme under grant agreement No. 101092908 (SMARTEDGE)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
De Roo, J., Hochstenback, P.: Notation 3 language. Draft CG Report, 04 July 2023. https://w3c.github.io/N3/reports/20230703
Raggett, D.: Plausible Knowledge Notation (PKN). Draft CG Report, 14 July 2023. https://w3c.github.io/cogai/pkn.html
Raggett, D.: Web based demo for PKN (2020). https://www.w3.org/Data/demos/chunks/reasoning/
Argument and Argumentation, Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/argument/
Toulmin, S.: The uses of argument. https://assets.cambridge.org/97805218/27485/sample/9780521827485ws.pdf
Walton, D.: Argument schemes for presumptive reasoning (1997). https://www.routledge.com/Argumentation-Schemes-for-Presumptive-Reasoning/Walton/p/book/9780805820720
Hahn, U., Oaksford, M.: The rational of informal argumentation (2007). https://psycnet.apa.org/record/2007-10421-007
Collins, A., Michalski, R.: The logic of plausible reasoning (1989). https://psycnet.apa.org/record/1989-38822-001
Dauphin, J., Cramer, M.: ASPIC-END: Structured argumentation with explanations and natural deduction (2017). https://homepages.abdn.ac.uk/n.oren/pages/TAFA-17/papers/TAFA-17_paper_15.pdf
Argument Interchange Format (AIF) (2011). http://www.arg-tech.org/wp-content/uploads/2011/09/aif-spec.pdf
Zadeh, L.: Fuzzy sets. Inf. Control 8, 338–353 (1965)
Klyne, G., Carroll, J.: RDF concepts and abstract syntax (2004). https://www.w3.org/TR/rdf-concepts/
Hayes, P., Patel-Schneider, P.: RDF 1.1. Semantics (2014). http://www.w3.org/TR/rdf11-mt/
Carroll, J., Herman, I., Patel-Schneider, P.: OWL 2 Web Ontology Language RDF-Based Semantics (2012). https://www.w3.org/TR/owl2-rdf-based-semantics/
Hartig, O., Champin, P.-A., Kellog, G.: RDF 1.2 Concepts and Abstraction Analysis (2023). https://www.w3.org/TR/rdf12-concepts/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Raggett, D. (2023). Defeasible Reasoning with Knowledge Graphs. In: Ortiz-Rodriguez, F., Villazón-Terrazas, B., Tiwari, S., Bobed, C. (eds) Knowledge Graphs and Semantic Web. KGSWC 2023. Lecture Notes in Computer Science, vol 14382. Springer, Cham. https://doi.org/10.1007/978-3-031-47745-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-47745-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-47744-7
Online ISBN: 978-3-031-47745-4
eBook Packages: Computer ScienceComputer Science (R0)