检索结果-南通市图书馆

Proof systems for planning under 0-approximation semantics

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2014年第7期57卷 117-128页

作者： SHEN YuPing zhao xishun Department of Philosophy Institute of Logic and CognitionSun Yat-sen University Institute of Logic and Cognition Department of PhilosophySun Yat-sen University

In this paper we propose Hoare style proof systems called PR0Dand PRKW0Dfor plan generation and plan verification under 0-approximation semantics of the action language *** PR0D(***0D),a Hoare triple of the form{X}c{Y}(resp.{X}c{KWp})means that all literals in Y become true(resp.p becomes known)after executing plan c in a state satisfying all literals in *** proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly *** idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems.

关键词： Hoare proof systems off-line planning plan generation plan verification automated reasoning

More on Bounding Introspection in Modal Nonmonotonic Logics

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2000年第4期16卷 555-564页

作者： xishun zhao Decheng Ding Department of Mathematics. Nanjing University. Nanjing 210093, P. R. China Department of Mathematics Nanjing University Nanjing 210093 P. R. China

By L. we denote the set of all propositional fornmlas. Let C be the set of all clauses. Define C_n=C(Lη:η∈C}.In Sec. 2 of this paper. we prove that for normal modal logics S, the notions of (S. C_)-expansions and S-expansions coincide. In Sec. 3. we prove that if I consists of default clauses then the notions of S-expansions for I and (S.C)-expansions for I coincide. To this end. we first show. in Sec *** the notion of S-expansions for I is the same as that of (S.L)-expansions for I.

关键词： Modal nonmonotonic logic Expansion Bounding Introspection Default clause

Being a Mother for the First Time

在线全文

学校读者我要写书评

暂无评论

China Today 1996年第5期45卷 62-63页

作者： zhao xishun

ＢｅｉｎｇａＭｏｔｈｅｒｆｏｒｔｈｅＦｉｒｓｔＴｉｍｅＢｙＺＨＡＯＸＩＳＨＵＮＢＹＴＨＥｅｎｄｏｆｔｈｅ１９８０ｓｗｈｅｎｔｈｅｆｒｏｎｔｉｅｒｔｒａｄｅｂｅｔｗｅｅｎＣｈｉｎａａｎｄｔｈｅｆｏｒｍｅｒＳｏｖｉｅｄＵ... 详细信息

ＢｅｉｎｇａＭｏｔｈｅｒｆｏｒｔｈｅＦｉｒｓｔＴｉｍｅＢｙＺＨＡＯＸＩＳＨＵＮＢＹＴＨＥｅｎｄｏｆｔｈｅ１９８０ｓｗｈｅｎｔｈｅｆｒｏｎｔｉｅｒｔｒａｄｅｂｅｔｗｅｅｎＣｈｉｎａａｎｄｔｈｅｆｏｒｍｅｒＳｏｖｉｅｄＵｎｉｏｎｗａｓｆｌｏｕｒｉｓｈｉｎ...

关键词： Being a Mother for the First Time

Y_CΩ_(2n)are easy terms

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第20期43卷 1707-1709页

作者： zhao xishun 1 and WANG Ju 2 1. Department of Mathematics, Nanjing University, Nanjing 210093, China 2. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China Department of Mathematics Nanjing University Nanjing China Institute of Software Chinese Academy of Sciences Beijing China

For any natural number n≥1, Y CΩ 2n is an easy term; that is, for any λ term M, λβ+Y\-CΩ 2n =M is consistent, where Y C is Curry fixed point combinator, Ω 2n ≡ω 2n ω 2n and ω 2n ≡λ***...x (there are 2n occurrences of x after λx ). This result is a partial solution to Jacopini’s conjecture: Y CΩ n is an easy term for any natural number n≥2.

关键词： λβ-calculus Kuper’s theorem easy term.

Complexity and Compilability of Non-Monotonic Reasoning

在线全文

学校读者我要写书评

暂无评论

Complexity and Compilability of Non-Monotonic Reasoning

逻辑与认知学术研讨会

作者： xishun zhao Institute of Logic and Cognition Sun Yat-sen University 510275 Guangzhou P.R.China

＜正＞ Outline Introduction Default Logic and Circumscription Complexity Compilability 1 IntroductionA knowledge-based intelligent agent has a knowledge base KB, and whenever a query φis posed to the knowledge base, the agent must answer this query by means of reasoning operators. That is, to decide whether KB |= φ.In order to handle such problems, researchers often use general schemes of knowledge representation such as First Order Logic, non-monotonic logics:

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

论经济全球化与国家安全和社会稳定

中共四川省委党校学报 2002年第4期 64-68页

作者：赵喜顺四川省社会科学院四川成都610071

在参与经济全球化的情况下 ,我国在国家安全和社会稳定方面面临种种新问题和新挑战 ,针对这些问题和挑战 ,我们必须树立全球意识 ,忧患意识、竞争意识、防范意识 ,增强凝聚力 ,把中国自己的事情办好。

关键词：全球化国家安全社会稳定

在线全文

学校读者我要写书评

暂无评论

二阶修正KROM逻辑的表达能力与复杂性

逻辑学研究 2022年第1期15卷 33-45页

作者：冯世光王克诩赵希顺南通大学信息科学技术学院中山大学逻辑与认知研究所

本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究。本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKRO... 详细信息

本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究。本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKROM等价,他们都可以刻画co-NP。在所有结构上,Π12-KROMr与Π12-EKROMr等价,他们也都可以刻画co-NP。

关键词：计算复杂性描述复杂性 KROM逻辑有穷模型论

在线全文

学校读者我要写书评

暂无评论

在有序结构上刻画βP的逻辑

逻辑学研究 2020年第3期13卷 1-18页

作者：王克诩赵希顺中山大学逻辑与认知研究所中山大学哲学系

我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑■logωIFP刻画受限非确定性复杂类βP。为了研究该逻辑的表达力,我们也设计了一种新的Ehrenfeucht-Fraïssé博弈,并说... 详细信息

我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑■logωIFP刻画受限非确定性复杂类βP。为了研究该逻辑的表达力,我们也设计了一种新的Ehrenfeucht-Fraïssé博弈,并说明在最一般的情况下,也就是在全体有穷模型之上,该逻辑对βP的刻画并不成立。

关键词：非确定性有序结构量词表达力不动点 IFP 逻辑刻画

在线全文

学校读者我要写书评

暂无评论

整合非单调推理及时态推理(英文)

南京大学学报（数学半年刊） 2007年第2期24卷 187-203页

作者：沈榆平赵希顺中山大学逻辑与认知研究所广州510275

在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.

关键词：非单调推理时态约束推理回答采编程计算复杂性