en
0.25
0.5
0.75
1.25
1.5
1.75
2
Learning First-Order Definite Theories via Object-Based Queries
Published on Nov 30, 20112506 Views
We study the problem of exact learning of first-order definite theories via queries, toward the goal of allowing humans to more efficiently teach first-order concepts to computers. Prior work has show
Related categories
Chapter list
Learning First-Order Definite Theories via Object-Based Queries00:00
Motivation - 100:14
Example: Autonomous UAV01:36
Example: Web Tasks02:23
Motivation - 203:02
Information about Objects03:58
Framework: Exact learning from queries04:34
Queries from Previous Work05:49
Problems with MQs07:36
Learning with Relevant Object Queries08:49
Algorithm schema09:34
Algorithm schema: Minimization - 110:28
Algorithm schema: Minimization - 211:30
Algorithm schema: Minimization - 312:01
Algorithm schema: Minimization - 412:30
Algorithm schema: Minimization - 512:39
Algorithm schema: Minimization - 612:40
Algorithm schema: Minimization - 712:41
Algorithm Schema: Merging - 112:56
Algorithm Schema: Merging - 213:47
Result 1 (Learn-MQ-ROQ)13:58
Negatively-Biased EQ Oracle15:13
Result 2 (Learn-ROQ)16:16
Inexact ROQs16:53
Result 3 (inexact ROQs)17:19
Learning with Pairing Queries17:53
Result 4 (pairing queries)18:12
Future work18:42
Questions?19:19