基于证据支持度的信念逻辑研究

一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带程度的模态算子表达含程度的证据,通过在模型上加约束条件的方式将证据关系和信念关系联系起来,表达出了证据支持度和信念强度之间的联系,并建立了一个可靠且完全的公理系统。这实现了证据支持度和信念强度联系的形式化研究,为处理不确定信息提供了定性和定量相结合的分析方法。     

城市化与教会牧养的点滴思考

城市化主要是指:人口非农产业向城市集聚,以及城市文明、城市地域向乡村推进的过程。联合国有关机构预测,在不远的将来,世界大多数人口将会在城市居住。随着经济的持续增长,城市化水平将不断上升,城市化的推进有助于社会进步,但也带来了社会种种变化,这种变化也影响着教会工作的方方面面,本期我们约请几位同工,请他们谈谈这个主题,希望引起读者的进一步思考。     

组织职业生涯管理对职业承诺和工作满意度的影响 ——职业延迟满足的中介作用分析

以321名企业员工为被试,通过自编的职业延迟满足问卷,考察了企业员工的职业延迟满足在组织职业生涯管理对职业承诺、工作满意度影响过程中的中介作用。结果表明：职业延迟满足与组织职业生涯管理、职业承诺、工作满意度存在显著正相关;工作年限等人口统计学变量对职业延迟满足没有显著的预测作用;公平晋升、注重培训对职业延迟满足有显著的预测作用;职业延迟满足在组织职业生涯管理对职业承诺、工作满意度影响过程中存在中介作用;在结构方程模型中,职业延迟满足在公平晋升、注重培训与职业承诺、工作满意度之间存在中介作用;而职业延迟满足在职业发展与职业承诺、工作满意度之间不存在中介作用     

读者信箱

你们好! 我自信主以来,蒙主的赐福,使我能在灵性上有所长进,因教会的需要,成为被主使用的一名普通工人。但是由于各方面的知识非常欠缺,所以常常感到难以胜任,故此与众多的弟兄姊妹一样,渴望得到一次属灵方面的培训。 我们县有不少信徒分散在农村。我与几处家庭聚会点的一些立志为主做工的弟兄互相联络。     

学《天风》促圣工——抚顺市迎宾路教会几点体会

《天风》1980年开始复刊以来,成为抚顺市迎宾路教会的重要学习渠道。 一、教会重视发行 每年从10月初开始,两会主任何荣海同工,都是利用各种聚会的会后,向信徒动员订购《天风》。由于领导重视《天风》发行工作,在这个教会,从领导班子、圣工人员、各堂点负责人、教牧人员、义工传道员等都是人手一份。订购份数。     

为什么相亲打不起精神?

<正>"赶紧帮我找个对象,真受不了我爸妈天天叨叨我啦!"很多大龄女虽然嘴上说非常想恋爱、想找男朋友,但实际上她们从心里对恋爱的欲望并不强烈,"着急"只因为父母及亲朋好友的压力。在这种状态下相亲,很容易错过适婚对象。案例相亲次数太多已成无奈大龄未婚女:王琳(28岁,公司白领)大学毕业后,王琳与家在外地的男友很自然     

学习《办法》精神 依法依规做好互联网宗教信息服务北大核心

今天,我们相聚在一起,围绕《互联网宗教信息服务管理办法》进行充分交流,认真学习《办法》精神,深入分析互联网宗教信息服务存在的问题,提出贯彻落实的具体举措,意义重大。下面,我汇报几点认识和体会。一、深刻认识《办法》出台的重要意义习近平总书记在2021年全国宗教工作会议上强调,要坚持总体国家安全观,要加强互联网宗教事务管理。     

贵州省佛教现状及管理对策

佛教自唐朝初期传人贵州，至今已有1300多年历史。现代贵州佛教主要有禅宗、净土宗、密宗、唯识宗、天台宗、华严宗等派别。据统计，截止2002年，全省共有佛教徒20万人，僧尼850人，信教群众约280万人，重点分布在贵阳市、遵义市、安顺市等地、市。全省经县级以上人民政府登记开放的佛教寺庙353处，