首页   按字顺浏览 期刊浏览 卷期浏览 Automated inference in active logics
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)



返 回