图 书 馆
通过基于对象的查询学习一阶定理论Learning First-Order Definite Theories via Object-Based Queries |
|
| 课程网址: | http://videolectures.net/ecmlpkdd2011_selman_theories/ |
| 主讲教师: | Joseph Selman |
| 开课单位: | 俄勒冈州立大学 |
| 开课时间: | 2011-11-30 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 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 shown that first order Horn theories can be learned using a polynomial number of membership and equivalence queries [6]. However, these query types are sometimes unnatural for humans to answer and only capture a small fraction of the information that a human teacher might be able to easily communicate. In this work, we enrich the types of information that can be provided by a human teacher and study the associated learning problem from a theoretical perspective. First, we consider allowing queries that ask the teacher for the relevant objects in a training example. Second, we examine a new query type, called a pairing query, where the teacher provides mappings between objects in two different examples. We present algorithms that leverage these new query types as well as restrictions applied to equivalence queries to significantly reduce or eliminate the required number of membership queries, while preserving polynomial learnability. In addition, we give learnability results for certain cases of imperfect teachers. These results show, in theory, the potential for incorporating object-based queries into first-order learning algorithms in order to reduce human teaching effort. |
| 关 键 词: | 一阶确定理论; 精确学习; 等价查询 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-04-03：lxf |
| 阅读次数: | 48 |