Negation in Contextual Logic

机译：语境逻辑的否定

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

This contribution discusses a formalization of the "negation of a concept". The notion of "concept" has been successfully formalized in the early eighties and led to the theory of Formal Concept Analysis. Boole (1815-1864) developed a mathematical theory for human thought based on signs and classes. The formalization of the negation of concepts is needed in order to develop a mathematical theory of human thought based on "concept as a basic unit of thought". Two approaches will be discussed: negation as a partial or as a full operation on concepts.

机译：该文稿讨论了“否定概念”的形式化问题。 “概念”的概念已在八十年代初成功地形式化，并形成了形式概念分析的理论。布尔（1815-1864）开发了一种基于符号和类别的人类思维数学理论。为了发展基于“概念作为思想的基本单位”的人类思想的数学理论，需要对概念进行否定形式化。将讨论两种方法：否定是对概念的部分或全部操作。

著录项

来源
《International Conference on Conceptual Structures(ICCS 2004); 20040719-20040723; Huntsville,AL; US》|2004年|P.227-241|共15页
会议地点 Huntsville AL(US);Huntsville AL(US)
作者
Leonard Kwuida; Andreja Tepavcevic; Branimir Seselja;
展开▼
作者单位

Institut fuer Algebra, TU Dresden D-01062 Dresden;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Relevance logics and intuitionistic negation II: Negation introduced with the unary connective [J] . Gemma Robles Journal of applied non-classical logics . 2009,第3期

机译：关联逻辑和直觉否定II：一元连接词引入否定
2. COMBINING EXPLICIT NEGATION AND NEGATION BY FAILURE VIA BELNAPS LOGIC [J] . Ruet P., Fages F. Theoretical computer science . 1997,第1a2期

机译：通过皮带逻辑将明确的否定与失败相结合
3. Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies [J] . Santiago Figueira, Daniel Gorin, Rafael Grimson Journal of computer and system sciences . 2014,第6期

机译：通过展平进行经典求反的独立友好逻辑是具有弱依赖关系的二阶逻辑
4. Negation in Contextual Logic [C] . Leonard Kwuida, Andreja Tepavcevic, Branimir Seselja International Conference on Conceptual Structures . 2004

机译：中文逻辑否定
5. How Uninformed Voters Respond to Electoral Environment and Why It Matters: The Contextual Logic and Consequences of Low-Information Voting [D] . ?Kato, Gento 2020

机译：如何不知情的选民应对选举环境，以及为什么它事项：语境逻辑和Low - 信息表决权的后果
6. Cellular Signaling Circuits Interfaced with SyntheticPost-Translational Negating Boolean Logic Devices [O] . Shiva Razavi, Steven Su, Takanari Inoue, -1

机译：与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
7. How can contradictory propositions be negated? -The logic of negation based on words of an authority, treaties, etc.- [O] . 岩田孝 2010

机译：矛盾的主张如何被否定？ -基于权威，条约等的否定逻辑-
8. Logic Programming and Negation: A Survey [R] . Apt, K. R., Bol, R. 1994

机译：逻辑规划与否定：一项调查

Negation in Contextual Logic

摘要

著录项

相似文献

相关主题

期刊订阅