Automated inference in active logics
作者:
Michael Miller,
Donald Perlis,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1996)
卷期:
Volume 6,
issue 1
页码: 9-27
ISSN:1166-3081
年代: 1996
DOI:10.1080/11663081.1996.10510864
出版商: Taylor & Francis Group
关键词: commonsense reasoning;Logic;object misidentification
数据来源: Taylor
摘要:
Certain problems in commonsense reasoning lend themselves to the use of non-standard formalisms which we call active logics. Among these are problems of objects misidentification. In this paper we describe some technical issues connected with automated inference in active logics, using particular object misidentification problems as illustrations. Control of exponential growth of inferences is a key issue. To control this growth attention is paid to a limited version of an inference rule for negative introspection. We also present some descriptive statistics for comparison with earlier active-logic approaches.
点击下载:
PDF (934KB)
返 回