首页> 美国政府科技报告 >Investigations of Logic of Introspection and Related Modes of Reasoning withApplications

【24h】

Investigations of Logic of Introspection and Related Modes of Reasoning withApplications

机译：反思逻辑及相关推理模式的应用研究

获取原文

页面导航

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

摘要

We investigated symbolic aspects of common sense reasoning. The formalisms

著录项

作者
Marek, V. W.; Truszczynski, M.;
展开▼
作者单位

展开▼
年度 1992
页码
总页数 6
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Artificial intelligence; Computer logic; Algorithms; Engines; Expert systems; Intelligence; Logic; Maintenance; Reasoning;

机译：人工智能;计算机逻辑;算法;引擎;专家系统;智能;逻辑;维护;推理;

相似文献

外文文献
中文文献
专利

1. Uncertain Logic Processing: logic-based inference and reasoning using Dempster-Shafer models [J] . Nunez Rafael C., Murthi Manohar N., Premaratne Kamal, 高分子論文集 . 2018,第APRa期

机译：不确定的逻辑处理：使用Dempster-Shafer模型进行基于逻辑的推理和推理
2. Natural logic is diagrammatic reasoning about mental models [J] . John F. Sowa Procedia Computer Science . 2020,第5期

机译：自然逻辑是关于心理模型的图解推理
3. Multi-Agent Logic’s Modelling Non-Monotonic Information and Reasoning [J] . Vladimir V. Rybakov Procedia Computer Science . 2020,第5期

机译：多代理逻辑的建模非单调信息和推理
4. Fuzzy logic-based and neural network-based reasoning withapplication to blood pressure management [C] . Linkens D.A., Junhong Nie Intelligent Decision Support Systems and Medicine, IEE Colloquium on . -1

机译：基于模糊逻辑和神经网络的推理在血压管理中的应用
5. APPROXIMATE REASONING, LOGICS FOR SELF-REFERENCE, AND THE USE OF NONCLASSICAL LOGICS IN SYSTEMS MODELING [D] . SCHWARTZ, DANIEL GUY. 1981

机译：近似推理，自参考逻辑以及在系统建模中使用非经典逻辑
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning [O] . Alessio Mansutti 2020

机译：树木上的辅助逻辑：逻辑塔硬度，具有可达性和子模型推理

Investigations of Logic of Introspection and Related Modes of Reasoning withApplications

摘要

著录项

相似文献

相关主题

期刊订阅