Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules

被引：0

作者：

Rybakov, Vladimir ^{[1
]}

机构：

[1] Manchester Metropolitan Univ, Dept Comp & Math, Manchester M1 5GD, Lancs, England

来源：

KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT III | 2010年 / 6278卷

基金：

英国工程与自然科学研究理事会;

关键词：

Chance Discovery; temporal logics; Kripke/Hintikka models; inference rules; admissible rules; INTUITIONISTIC LOGIC; DECIDING ALGORITHMS; UNIFICATION; UNTIL;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Our paper suggests a possible treatment of Chalice Discovery (CD) via interpretation in temporal logic. We propose a sematic definition for computation CD-operations and consider the resulting logic. The main result of the paper is a necessary condition for rules to be admissible in considered logics.

引用

页码：323 / 330

页数：8

共 29 条

[1] Abe A., 2005, INT SERIES ADV INTEL
[2] ABE A, 2007, KES J, V11, P255
[3] ABE A, 2006, CHANCE DISCOVERIES R, P357
[4] Abe A, 2008, LECT NOTES ARTIF INT, V5178, P750, DOI 10.1007/978-3-540-85565-1_93
[5] [Anonymous], ADV INFORM PROCESSIN
[6] Barringer H., 1999, ADV TEMPORAL LOGIC A, V16
[7] FRIEDMAN H, 1975, J SYMBOLIC LOGIC, V40, P113, DOI 10.2307/2271891
[8] Gabbay D., 1994, Mathematical Foundations and Computational Aspects, V1
[9] Gabbay D. M., 1990, Journal of Logic and Computation, V1, P229, DOI 10.1093/logcom/1.2.229
[10] Filtering unification and most general unifiers in modal logic
Ghilardi, S
Sacchetti, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (03) : 879 - 906

← 1 2 3 →