Presenting and combining inference systems presentations with inference rules

被引：0

作者：

Pawlowski, W ^{[1
]}

机构：

[1] Polish Acad Sci, Inst Comp Sci, PL-81825 Sopot, Poland

来源：

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES | 2003年 / 2755卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The paper discusses the problem of representing and combining inference systems for (abstract) context institutions, within the framework of context presentations [10]. As it turns out, thanks to the context information present in this setting, the inference rules for quantifier logics can be expressed and manipulated in a simple way, without referring to binding operators or requirements (cf. [12]).

引用

页码：409 / 424

页数：16

共 50 条

[1] On Liu's Inference Rules for Fuzzy Inference Systems
Gao, Xin
Ralescu, Dan A.
Gao, Yuan
[J]. INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS: THEORY AND METHODS, PT 1, 2010, 80 : 571 - +
[2] INDUCTION OF INFERENCE RULES FOR EXPERT SYSTEMS
GAINES, BR
SHAW, MLG
[J]. FUZZY SETS AND SYSTEMS, 1986, 18 (03) : 315 - 328
[3] The rules of inference
Epstein, L
King, G
[J]. UNIVERSITY OF CHICAGO LAW REVIEW, 2002, 69 (01): : 1 - 133
[4] A Comparison of Posterior Simulation and Inference by Combining Rules for Multiple Imputation
Si, Yajuan
Reiter, Jerome P.
[J]. JOURNAL OF STATISTICAL THEORY AND PRACTICE, 2011, 5 (02) : 335 - 347
[5] A comparison of posterior simulation and inference by combining rules for multiple imputation
Si Y.
Reiter J.P.
[J]. Journal of Statistical Theory and Practice, 2011, 5 (2) : 335 - 347
[6] Practical Inference With Systems of Gradual Implicative Rules
Jones, Hazael
Charnomordic, Brigitte
Dubois, Didier
Guillaume, Serge
[J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2009, 17 (01) : 61 - 78
[7] Inference rules and decision rules
Pawlak, Z
[J]. ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING - ICAISC 2004, 2004, 3070 : 102 - 108
[8] Using interval temporal logic and inference rules for the automatic generation of multimedia presentations
Shih, TK
Lo, SKC
Fu, SJ
Chang, JB
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, 1996, : 425 - 428
[9] Characteristic Inference Rules
Citkin, Alex
[J]. LOGICA UNIVERSALIS, 2015, 9 (01) : 27 - 46
[10] RULES OF INFERENCE IN EPIDEMIOLOGY
SUSSER, M
[J]. REGULATORY TOXICOLOGY AND PHARMACOLOGY, 1986, 6 (02) : 116 - 128

← 1 2 3 4 5 →