INDUCTIVE INFERENCE OF ALGEBRAIC PROCESSES BASED ON HENNESSY-MILNER LOGIC

被引：0

作者：

TOGASHI, A

KIMURA, S

机构：

来源：

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 1994年 / E77A卷 / 10期

关键词：

INDUCTIVE INFERENCE; ALGEBRAIC PROCESS; CCS; HENNESSY-MILNER LOGIC; BISIMULATION; PROCESS CALCULUS; PROCESS ALGEBRA;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper considers algebraic basic processes, a subset of communicating processes in CCS by Milner, and presents a synthesis algorithm to infer a process that satisfies the properties of the process, represented as fomulae in Hennessy-Milner Logic. The validity of the proposed algorithm can be stated that it synthesizes a process in the limit, which cannot be distinguished from the target one with respect to the strong equivalence.

引用

下载

页码：1594 / 1601

页数：8

共 50 条

[41] An examination of the SEP candidate analogical inference rule within pure inductive logic
Howarth, E.
Paris, J. B.
Vencovska, A.
JOURNAL OF APPLIED LOGIC, 2016, 14 : 22 - 45
[42] Unsupervised logic-based mechanism inference for network-driven biological processes
Prugger, Martina
Einkemmer, Lukas
Beik, Samantha P.
Wasdin, Perry T.
Harris, Leonard A.
Lopez, Carlos F.
PLOS COMPUTATIONAL BIOLOGY, 2021, 17 (06)
[43] Logic Fragments: A Coordination Model Based on Logic Inference
de Angelis, Francesco Luca
Serugendo, Giovanna Di Marzo
COORDINATION MODELS AND LANGUAGES, COORDINATION 2015, 2015, 9037 : 35 - 48
[44] FOUNDATION OF LOGIC PROGRAMMING BASED ON INDUCTIVE DEFINITION
HAGIYA, M
SAKURAI, T
NEW GENERATION COMPUTING, 1984, 2 (01) : 59 - 77
[45] A Logic for Desire Based on Causal Inference
Xie, Kaibo
Yan, Jialiang
JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (02) : 352 - 371
[46] An inference system based on fuzzy logic
Bortolan, G
JOURNAL OF MEDICAL ENGINEERING & TECHNOLOGY, 1998, 22 (03) : 112 - 120
[47] Intelligent analyzing system based on Inductive Logic Programming
Doncescu, A
Waisman, J
Roux, G
Richard, G
Dahhou, B
PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC'01), 2001, : 276 - 281
[48] A logic-based approach to mining inductive databases
Liu, Hong-Cheu
Yu, Jeffrey Xu
Zeleznikow, John
Guan, Ying
COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 270 - 277
[49] Part based Pedestrian Detection Based on Logic Inference
Olmeda, Daniel
Maria Armingol, Jose
de la Escalera, Arturo
2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), 2013, : 1364 - 1369
[50] Order-based inference in Natural Logic
Fyodorov, Yaroslav
Winter, Yoad
Francez, Nissim
LOGIC JOURNAL OF THE IGPL, 2003, 11 (04) : 385 - 417

← 1 2 3 4 5 →