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 条

[31] A FRAMEWORK FOR ICAI SYSTEMS BASED ON INDUCTIVE INFERENCE AND LOGIC PROGRAMMING
KAWAI, K
MIZOGUCHI, R
KAKUSHO, O
TOYODA, J
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 188 - 202
[32] BAYESIAN-INFERENCE AND INDUCTIVE LOGIC
SCOZZAFAVA, R
SCIENTIA, 1980, 115 (1-4): : 47 - 53
[33] The Problem of Analogical Inference in Inductive Logic
Huttegger, Simon M.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (215): : 1 - 12
[34] Frame Inference for Inductive Entailment Proofs in Separation Logic
Quang Loc Le
Sun, Jun
Qin, Shengchao
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I, 2018, 10805 : 41 - 60
[35] Naturalizing Logic: How Knowledge of Mechanisms Enhances Inductive Inference
Thagard, Paul
PHILOSOPHIES, 2021, 6 (02)
[36] Anatomical segregation of component processes in an inductive inference task
Goel, V
Dolan, RJ
JOURNAL OF COGNITIVE NEUROSCIENCE, 2000, 12 (01) : 110 - 119
[37] INDUCTIVE INFERENCE OF REGULAR LANGUAGES BASED ON MODEL INFERENCE
ISHIZAKA, H
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1989, 27 (02) : 67 - 83
[38] INDUCTIVE INFERENCE OF REGULAR LANGUAGES BASED ON MODEL INFERENCE
ISHIZAKA, H
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 315 : 178 - 194
[39] COMMITTEE-BASED INDUCTIVE INFERENCE
GUPAL, AM
TSVETKOV, AM
CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (05) : 785 - 787
[40] Cybernetic systems based on inductive logic
Fry, RL
BAYESIAN INFERENCE AND MAXIMUM ENTROPY METHODS IN SCIENCE AND ENGINEERING, PT 2, 2001, 568 : 106 - 119

← 1 2 3 4 5 →