Escolar Documentos
Profissional Documentos
Cultura Documentos
1
Overview
Research Problem
Abstraction of Reasoning
2
Research Problem
Research Problem
Abstraction of Reasoning
4
Problem-Reduction/Solution Synthesis Paradigm
6
Complexity of the Reasoning Trees
Assess whether Al Qaeda has nuclear weapon
Total Nodes =
1758
7
Abstraction of Reasoning Tree
Concrete Abstract
Level Level
P1 Abstract
AP1
Strategy 1
Problem Solving Rd1
ARd1
Strategy 1
P2 P3 AP2 AP3
Rd2 ARd2
P4 P5 P6 AS1
Assess to what extent the piece of Assess to what extent the piece
evidence EVD-Dawn-Mir01-02c of evidence EVD-Reuters-01-
favors the hypothesis that Al Qaeda 01c favors the hypothesis that
considers deterrence as a reason Al Qaeda desires to obtain
to obtain nuclear weapons. nuclear weapons.
Q: What factors determine how a piece Q: What factors determine how a piece
of evidence favors a hypothesis? of evidence favors a hypothesis?
A: Its relevance and believability. A: Its relevance and believability.
22
Assess to what extent the piece of evidence Assess the Assess to what extent the piece of Assess the
believability Abstra
EVD-Dawn-Mir01-02c favors the hypothesis evidence EVD-Reuters-01-01c favors believability
that Al Qaeda considers deterrence as a of EVD- of EVD- ct
the hypothesis that Al Qaeda desires to
reason to obtain nuclear weapons, assuming Dawn- obtain nuclear weapons, assuming that Reuters-01- Reduct
Mir01-02c ion
that EVD-Dawn-Mir01-02c is believable. EVD-Reuters-01-01c is believable. 01c 9
Overview
Research Problem
Abstraction of Reasoning
10
Architecture of Learning and Tutoring Agent Shell
OntologyImport,
Elicitation, Learning
andRefinement Student
Disciple Tutoring
Mixed-initiative LearningandTutoringAgentShell
andAutonomous
ProblemSolver Lesson Designand
Mixed-initiative,
Test Learning
Multi-agentFramework
RuleLearning
andRefinement
Learningof Abstract
ReasoningStrategies
Knowledge
Management
Domain System Pedagogical
KnowledgeBase KnowledgeBase KnowledgeBase
11
Overview
Research Problem
Abstraction of Reasoning
12
Tutoring: Lesson Design and Generation
Design
Operato Designe
rs d
Lesson
Abstra
ct tree
Lesson Automatically
section on generated
Evidence illustration of
the abstract
strategy
14
Lesson Fragment
Hypothesis support from a piece
of evidence Abstract
synthesis
strategy
Automatically
generated
illustration of
the abstract
strategy
15
Evaluation of Generated Lessons
Expert Novice
students analysts students analysts
12 12
4 4
2 2
0 0
strongly disagree disagree neutral agree strongly agree strongly disagree disagree neutral agree strongly agree
6 6
4 4
2 2
0 0
strongly disagree disagree neutral agree strongly agree strongly disagree neutral agree 16
strongly agree
Evaluation of Tutoring
Subjective Prior Knowledge
students students Subjective Post Knowledge
CS681-06 10
10
students Objective Test-Based Evaluation
9
9 Hypothesis 9
Information content Credibility of
8 assessment 8 and credibility
8
reported evidence
7 through evidence 7 7
6 analysis 6 6
5 5 5
4 4 4
3 3 3
2 2 2
1 1 1
0 0 0
None Very low Low Medium High Very high None Very low Low Medium High Very high None Very low Low Medium High Very high
8 8 students
7 7 7
6 6 6
5 5 5
4 4 4
3 3 3
2 2 2
1 1 1
0 0 0
None Very low Low Medium High Very high None Very low Low Medium High Very high 50- 60-69 70-79 80-89 17
90-100
Overview
Research Problem
Abstraction of Reasoning
18
Test Generation
The agent learns a test rule by generalizing the example (including the
explanations and the hint) based on the corresponding reduction rule
from the domain knowledge base.
Different knowledge bases result in different tests without instructor’s
involvement. 20
Discussion
21
Backup slides
22
Reasoning Tree Abstraction
abstracted to
Reasoning Tree Abstract Reasoning Tree
instantiation-of generates
23
Abstraction Rule Learning
Assess to what extent the piece of
evidence EVD-Dawn-Mir01-02c Assess to what extent the
favors the hypothesis that Al Qaeda piece of evidence favors
considers deterrence as a reason to the hypothesis.
obtain nuclear weapons.
Consider the relevance and
Q: What factors determine how a piece abstracted to the believability of the piece of
of evidence favors a hypothesis? evidence
A: Its relevance and believability.
Assess to what extent the Assess the
Assess to what extent the piece of evidence Assess the piece of evidence favors believability of the
EVD-Dawn-Mir01-02c favors the hypothesis believability of the hypothesis, assuming piece of evidence
that Al Qaeda considers deterrence as a EVD-Dawn- that the piece of evidence
reason to obtain nuclear weapons, Mir01-02c is believable
assuming that EVD-Dawn-Mir01-02c is
believable.
instantiation-of generated-from
• Assess to what extent the piece of evidence ?O1 favors the
hypothesis that ?O2 considers deterrence as a reason to
obtain nuclear weapons.
24
Reasoning Tree Abstraction Generation
Assess to what extent the piece of
evidence EVD-Reuters-01-01c
Assess to what extent the
favors the hypothesis that Al Qaeda
piece of evidence favors
considers self-defense as a reason
the hypothesis.
to obtain nuclear weapons.
Consider the relevance and
Q: What factors determine how a piece
of evidence favors a hypothesis? abstracted to the believability of the piece of
evidence
A: Its relevance and believability.
Assess to what extent the piece of evidence Assess to what extent the Assess the
Assess the piece of evidence favors believability of the
EVD-Reuters-01-01c favors the hypothesis believability of
that Al Qaeda considers self defense as a the hypothesis, assuming piece of evidence
EVD-Reuters- that the piece of evidence
reason to obtain nuclear weapons, 01-01c
assuming that EVD-Reuters-01-01c is is believable
believable.
instantiation-of generates
25