A forward internal calculus for model generation in S4

Fiorentini Camillo; Ferrari Mauro

首页> 外文期刊>Journal of logic and computation >A forward internal calculus for model generation in S4

【24h】

A forward internal calculus for model generation in S4

机译：S4中模型生成的前向内勤

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We propose an internal calculus to check the satisfiability of a set of formulas in S4. Our calculus directly supports model extraction and is designed so to implement a forward proof-search strategy that can be understood as a top-down construction of a model. We prove that the extracted models have minimal height.

机译：我们提出内核，以检查S4中一组公式的可靠性。我们的微积分直接支持模型提取，设计成实现前向证明搜索策略，可以理解为模型的自上而下构造。我们证明提取的模型具有最小的高度。

著录项

来源
《Journal of logic and computation》 |2021年第3期|771-796|共26页
作者
Fiorentini Camillo; Ferrari Mauro;
展开▼
作者单位

Univ Milan Dipartimento Informat Via Celoria 18 I-20133 Milan Italy;

Univ Insubria Dipartimento Sci Teor & Applicate Via JH Dunant 3 I-21100 Varese Italy;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. GENERALIZATION OF INTERNAL MODEL CONTROL LOOPS USING FRACTIONAL CALCULUS [J] . L. A. D. ISFER, G. S. da SILVA, M. K. LENZI Latin American Applied Research . 2012,第2期

机译：基于分数阶计算的内部模型控制环的广义化
2. Generalization of internal model control loops using fractional calculus [J] . Isfer L. A. D., da Silva G. S., Lenzi M. K., Latin American Applied Research . 2012,第2期

机译：使用分数演算对内部模型控制回路进行泛化
3. Emergent Synergistic Grasp-Like Behavior in a Visuomotor Joint Action Task: Evidence for Internal Forward Models as Building Blocks of Human Interactions [J] . Lin Lawrence Guo, Namita Patel, Matthias Niemeier Frontiers in Human Neuroscience . 2019,第1期

机译：Visuomotor联合行动任务中的紧急协同抓地行为：内部向前模型作为人类相互作用的基础的证据。
4. Application and technolog of pre-stack reflectivity forward modeling of internal multiple [C] . Dai Xiaofeng, Gan Lideng, Zhang Ming, SPG/SEG Nanjing 2020 International Geophysical Conference （SPGSEG南京2020年国际地球物理会议）论文集 . -1

机译：堆栈预叠层反射率的应用与技术
5. Does cerebellar cortex function as a forward internal model for motor control? [D] . Hewitt, Angela L. 2013

机译：小脑皮层是否可以作为运动控制的内部模型？
6. Emergent Synergistic Grasp-Like Behavior in a Visuomotor Joint Action Task: Evidence for Internal Forward Models as Building Blocks of Human Interactions [O] . Lin Lawrence Guo, Namita Patel, Matthias Niemeier 2019

机译：Visuomotor联合行动任务中的紧急协同抓地行为：内部向前模型作为人类互动的基础的证据。
7. Design of Internal Model Control and Internal Model Feed-Forward Control For Liquid Level Systemudud [O] . Singh Rohit 2015

机译：液位系统内部模型控制和内部模型前馈控制设计 ud ud

A forward internal calculus for model generation in S4

摘要

著录项

相似文献

相关主题

期刊订阅