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 条
[41]   RULES OF INFERENCE FOR PROCEDURE CALLS [J].
ERNST, GW .
ACTA INFORMATICA, 1977, 8 (02) :145-152
[42]   Table admissible inference rules [J].
V. V. Rimatskii .
Algebra and Logic, 2009, 48 :228-236
[43]   The inference processes on clustered rules [J].
Nowak, Agnieszka ;
Wakulicz-Deja, Alicja .
INTELLIGENT INFORMATION PROCESSING AND WEB MINING, PROCEEDINGS, 2006, :403-+
[44]   INFERENCE RULES FOR PROGRAM ANNOTATION [J].
DERSHOWITZ, N ;
MANNA, Z .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (02) :207-222
[45]   PARTIAL EVALUATION WITH INFERENCE RULES [J].
HASCOET, L .
NEW GENERATION COMPUTING, 1988, 6 (2-3) :187-209
[46]   INFERENCE RULES FOR PROBABILITY LOGIC [J].
Boricic, Marija .
PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2016, 100 (114) :77-86
[47]   Inference rules and inferential distributions [J].
vanBerkum, FEM ;
Linssen, HN ;
Overdijk, DA .
JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1996, 49 (03) :305-317
[48]   Globally Admissible Inference Rules [J].
Rimatskiy, Vitaliy V. .
BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2022, 42 :138-160
[49]   COMMUNICATION MECHANISMS AND THEIR INFERENCE RULES [J].
周巢尘 .
ScienceinChina,SerA., 1984, Ser.A.1984 (07) :757-765
[50]   COMBINING DIFFERENT INFERENCE METHODS FOR MEDICAL DECISION SUPPORT SYSTEMS [J].
Kose, Guven ;
Sever, Hayri ;
Bal, Mert ;
Ustundag, Alp .
UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2012, 7 :88-93
12345