(Downloads - 0)
For more info about our services contact : help@bestpfe.com
Table of contents
1 Introduction
1.1 Knowledge Representation and Reasoning
1.2 Inconsistency Tolerance
1.3 Research Problem
1.3.1 Contribution 1: One-shot Argument-based Explanations
1.3.2 Contribution 2: Meta-level Dialectical Explanations
1.3.3 Contribution 3: Object-level Dialectical Explanations
1.4 Thesis Structure
2 Abstract Argumentation
2.1 Introduction
2.2 Abstract Argumentation Frameworks
2.3 Justication State
2.4 Coincidence between Semantics
2.5 Conclusion
3 Logic-based Argumentation
3.1 Introduction
3.2 Logical Language: Existential Rules Framework
3.2.1 The language, facts and queries
3.2.2 Adding rules and negative constraints
3.2.3 Consistent query answering
3.3 Instantiating Dung’s Abstract Framework
3.3.1 Arguments and attack
3.3.2 Outputs of logic-based argumentation
3.3.3 Characterizing the outputs
3.3.4 Properties
3.3.5 Postulates satisfaction
3.3.6 Relation with consistent query answering
3.4 Conclusion
4 Meta-level Dialectical Explanations
4.1 Introduction
4.2 Universal Acceptance Dialectical Proofs
4.3 Example
4.4 Properties
4.4.1 Finiteness, soundness and completeness
4.4.2 Dispute complexity
4.5 Eects of Meta-level Dialectical Explanations
4.5.1 Method
4.5.2 Results and analysis
4.5.3 Post-hoc analysis
4.6 Conclusion
5 Object-level Dialectical Explanations
5.1 Introduction
5.2 Motivating Example
5.3 Walton’s Dialogue Model of Explanation
5.4 The EDS Dialogue Model of Explanation
5.4.1 Protocol’s syntax
5.4.2 Protocol’s semantics
5.4.3 Commitment and understanding stores
5.4.4 Termination and success
5.4.5 The global picture
5.5 Argumentative Explanation Dialogues
5.6 Dialogue Example
5.7 Use-case: Object-level Dialectical Explanations
5.8 Conclusion
6 Application
6.1 Dur-Dur and the Durum Wheat Knowledge Base
6.1.1 The authoring
6.1.2 The structure
6.2 The DALEK Prototype: Explain!
6.2.1 Graphical user interface
6.2.2 Conguration structure
6.2.3 Stores
6.2.4 Dialogue manager
6.2.5 Semantics structure
6.2.6 Dialogue planner
6.2.7 Logical model
6.3 Conclusion
7 Conclusion and Perspectives
7.1 Conclusion
7.2 Future work
8 Appendix
8.1 Chapter 3
