Temporal Defeasible Reasoning

被引：29

作者：

Augusto, Juan C. ^{[1
]}

Simari, Guillermo R. ^{[1
]}

机构：

[1] Departamento de Cs. de la Computación, Universidad Nacional del Sur, Bahía Blanca, Argentina

来源：

Knowledge and Information Systems | 2001年 / 3卷 / 03期

关键词：

Argumentation systems - Defeasible reasoning - Defeasible reasoning; - Knowledge representation; - Knowledge-representation - Monotonics - Property - Reference events - Temporal knowledge - Temporal reasoning;

D O I：

10.1007/PL00011670

中图分类号：

学科分类号：

摘要：

An argumentation system that allows temporal reasoning using the notions of instant and interval is presented. Previous proposals just considered either instants or intervals. A many-sorted logic is used to represent temporal knowledge at the monotonic level. The logic considers how to formalize knowledge about explicit temporal references, events, properties and actions. The argumentation system provides a non-monotonic layer in which to reason about the justification of truths in the system. The proposal is illustrated showing how to solve well-known problems of the literature.

引用

页码：287 / 318

页数：31