SW-JSI系统及其特征问题

邹晶

您当前的位置：

首页 >

文章列表页 >

SW-JSI系统及其特征问题

更新时间：2025-12-08

- SW-JSI系统及其特征问题
- SW-JS1 System and Its Character Problem
- 电子学报 1988年第5期页码：37-42
- 作者机构：
  
  上海工业大学计算机系
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版：1988
- 稿件说明：
移动端阅览
[1]邹晶.SW-JSI系统及其特征问题[J].电子学报,1988(05):37-42.

Zou Jing. SW-JS1 System and Its Character Problem[J]. Acta Electronica Sinica, 1988, (5): 37-42.
[1]邹晶.SW-JSI系统及其特征问题[J].电子学报,1988(05):37-42. DOI：

Zou Jing. SW-JS1 System and Its Character Problem[J]. Acta Electronica Sinica, 1988, (5): 37-42. DOI：

摘要

本文证明了W-JS系统是不完备的。建立了不含“联合知道”的SW-JS1系统

证明了此系统的可靠性、完备性、紧致性定理

并说明“S先生和P先生”谜题在此系统中可形式化。描述了形式系统W与形式系统SW形式推理之间的关系。

Abstract

It is proved in this paper that the W-JS system is incomplete. A system named SW-JS1 without common knowledge is established with its reliability

completeness and compact theorem proved. It is explained that the puzzle of "Mr. S and Mr. P" can be formulated in this system. The relation of inference between the formal system w and the formal system SW is also described.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据