排序方式: 共有7条查询结果,搜索用时 671 毫秒
1
1.
2.
在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性,或者说侧重点不一样,假设的表述并不相同。本文给出了封闭世界假设和开放世界假设的形式化定义。在经济逻辑研究中,通过形式化描述,我们可以规范问题讨论的范围。 相似文献
4.
我们知道,售后服务是产品销售的延续,同时也是建立良好顾客关系的延续,提供售后服务不仅是现代企业确保市场竞争的手段,它还可以博得客户的信任,促成客户的再次光顾,是企业留住客户的一条重要途径。售后服务的好坏是关系企业兴衰的大事,它不仅适用生产企业,同样也可用于金融行业。 相似文献
5.
6.
无意间发现妻原本乌亮的长发竟失去了往日的光泽,更让我心颤的是里面夹杂着几根白发,我轻轻地拔下一根递给妻子,妻淡淡一笑:“老了,嗨。”其实,妻还不到三十,想着妻对我的好处,想着她为这个家所付出的艰辛,内疚之情油然而生,泪水竞不知不觉从眼角流了下来。“怎的、怎的,像个孩子似的。”妻用手轻轻拭去我眼角的泪水。 相似文献
7.
用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出了语义博弈中参与者的必胜策略与真值表语义和Kripke语义下公式真假之间的关系。 相似文献
1