图 书 馆
智能环境中的上下文推理Reasoning about Context in Ambient Intelligence Environments |
|
| 课程网址: | http://videolectures.net/solomon_antoniou_reasoning/ |
| 主讲教师: | Grigoris Antoniou |
| 开课单位: | 克里特大学 |
| 开课时间: | 2011-07-18 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | The imperfect nature of context in Ambient Intelligence (AmI) environments, and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. The accomplishment of this task requires formal models that handle the involved entities as autonomous logic-based agents, and provide methods for handling the imperfect and distributed nature of context. In this talk, we descrinea solution based on the Multi-Context Systems formalism, in which local context knowledge of AmI agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules associating concepts used by different contexts. To handle the imperfect nature of context, we extend Multi-Context Systems with non-monotonic features: local defeasible theories, defeasible mappings, and a preference relation on the system contexts. We present this novel representation model, called Contextual Defeasible Logic, describe its argumentation semantics, propose a sound and complete algorithm for distributed query evaluation, and a number of variants for this algorithm. We conclude with a review of some ongoing work. |
| 关 键 词: | 环境智能; 形式模型; 规则理论 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-10-17：cwx |
| 阅读次数: | 43 |