Argumentation-based Approaches to Paraconsistency - Ofer Arieli SPLogIC 2023 February 15th

Argumentation-based Approaches to Paraconsistency - Ofer Arieli SPLogIC 2023 February 15th

by Ofer Arieli

Formal & Physical Sciences Philosophy & Ethics QDTTopics in philosophyQDTLPhilosophy: logic
🎙 Ofer Arieli 👥 518 📅 August 26, 2025 ⏱ 72 min 👁 20 📄 lecture 🧭 2026-08-15
Available in: English (current) Français

Keywords

argumentation frameworkslogical argumentationsequent-basedASPICassumption-basedparaconsistent entailmentrationality postulates

Summary

This lecture, part of the SPLogIC 2023 course, provides an in-depth overview of argumentation-based approaches to paraconsistency. The speaker, Ofer Arieli, begins by recalling the basics of abstract argumentation frameworks, including extensions and labelings. He then introduces logical argumentation, where arguments are sequents derived from an underlying logic, and attacks are defined based on logical relations. Several attack types are discussed, such as undercut, direct undercut, and consistent undercut. The primary approach, sequent-based argumentation, is illustrated with examples, including a deontic logic case. The lecture also covers three entailment relations: strong skeptical, weak skeptical, and credulous, and their relationships. Other approaches like ASPIC and assumption-based argumentation are briefly presented. The final part addresses knowledge representation issues and rationality postulates, linking argumentation to reasoning with maximally consistent sets. The lecture is technical and assumes familiarity with logic and argumentation theory.

139 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a comprehensive and systematic exposition of logical argumentation, clearly explaining the motivations and formal definitions. The speaker demonstrates the value of argumentation-based approaches for handling contradictions, which is central to paraconsistency. The argumentation is solid, with examples illustrating the concepts and relationships between entailment relations. The presentation is well-structured, building from abstract argumentation to specific logical frameworks. The speaker also highlights connections to other non-monotonic reasoning formalisms, showing the broader relevance. The technical depth is high, making it valuable for researchers and advanced students.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is scientifically rigorous, with definitions and theorems presented precisely. The speaker references key literature, such as the ASPIC framework and assumption-based argumentation, and mentions translations between formalisms. The title accurately reflects the content, as the lecture focuses on argumentation-based approaches to paraconsistency. The sources cited in the description include the abstract and the speaker’s affiliation, but no external links are provided. The lecture is part of a formal academic course, adding to its credibility. The content is well-organized and the speaker is an expert in the field.

191 words

Title / Content Match

The title accurately reflects the content: the lecture focuses on argumentation-based approaches to paraconsistency, as part of a course.

Quality & Reliability

8/10

Lecture by a recognized expert in the field, part of an academic course (SPLogIC 2023). The content is technically rigorous, well-structured, and based on established research. The video is a recording of a live lecture, so audio quality and occasional interruptions are minor issues.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

  • Argumentation in artificial intelligence — Mentioned as a key reference for argumentation theory in AI.

Concurring Sources

  • Argumentation in artificial intelligence — The lecture aligns with the general principles of argumentation in AI as described in this foundational paper.

Contribution & Novelties

The lecture provides a comprehensive overview of logical argumentation approaches to paraconsistency, synthesizing sequent-based, ASPIC, and assumption-based methods. It clarifies the distinctions between strong and weak skeptical entailment and their relationships, and connects argumentation to other non-monotonic reasoning formalisms. The examples, including deontic logic, illustrate practical applications.

Pour aller plus loin :

  • Argumentation framework — Foundational concept for the lecture.
  • Paraconsistent logic — The target of the approaches discussed.
  • ASPIC+ — One of the main frameworks mentioned.
  • Assumption-based argumentation — Another key approach.

83 words

Radar Profile

The radar profile shows high scores in quality and technical level, with slightly lower but still strong scores in quantity and reliability. This indicates a dense, expert-level lecture with solid content, though the live format and lack of visual aids may slightly reduce accessibility.

Reliability 8/10

💬 No comments were provided for analysis.