作者: optic-nerve 時(shí)間: 2025-3-21 21:26
Concept Formation in Linguistic Ontologiess possible to the meanings of linguistic units, because excessive generalization and clustering of meanings necessarily lead to distortions in the system of relations, excessive problems in a specific subject field, or an application. At the same time it is important to ensure that concepts can be d作者: 猛然一拉 時(shí)間: 2025-3-22 00:30
Conceptual Graph Rules and Equivalent Rules: A Synthesis We focus here on conceptual graph rules and on the semantically equivalent knowledge constructs in logic and databases, namely rules with existential variables and tuple-generating dependencies. The aim of this presentation is to synthesize main decidability, complexity and algorithmic results obta作者: expeditious 時(shí)間: 2025-3-22 08:31
Two Paradigms Are Better Than One, and Multiple Paradigms Are Even BetterAI systems are based on one dominant paradigm with a few subsidiary modules for handling exceptions or special cases. Some systems are built from components that perform different tasks, but each component is based on a single paradigm. Since people freely switch from one method of thinking or reaso作者: otic-capsule 時(shí)間: 2025-3-22 11:05 作者: AMITY 時(shí)間: 2025-3-22 14:40
Human Being and Mathematics Logical and Mathematical Thinkingal thinking to disclose a cosmos of forms of potential realities hypothetically. . as a form of mathematical thinking can therefore support . within their logical thinking about realities which, in particular, promotes sensible actions. This train of thought has been convincingly differentiated by .作者: AMITY 時(shí)間: 2025-3-22 20:15 作者: Outshine 時(shí)間: 2025-3-22 22:29 作者: 流出 時(shí)間: 2025-3-23 04:25 作者: myriad 時(shí)間: 2025-3-23 09:26 作者: 稱贊 時(shí)間: 2025-3-23 11:36 作者: HARD 時(shí)間: 2025-3-23 17:20 作者: 極大的痛苦 時(shí)間: 2025-3-23 19:16 作者: 疼死我了 時(shí)間: 2025-3-23 22:59
In Search of Semantic Compositionality in Vector Spacesrecently mostly utilized for modeling lexical meaning. The ability to deal with concept combination, however, is the essential capacity of human language, and any semantic theory should be able to handle it..Making use of Word Space Models (Schütze 1998) and Random Indexing (Sahlgren 2005), we explo作者: Subdue 時(shí)間: 2025-3-24 03:59 作者: 爭(zhēng)論 時(shí)間: 2025-3-24 07:50 作者: 考博 時(shí)間: 2025-3-24 13:55
Fusion of Claude Bernard’s Experiments for Scientific Discovery Reasoningfusion to complete the set of experiments used as the source of information of the process that led Claude Bernard to his discovery about the effects of curare. Our reconstruction of the discovery process is based on his experiments as they are illustrated in his notebooks. Our main problem is the l作者: APRON 時(shí)間: 2025-3-24 16:32 作者: 消音器 時(shí)間: 2025-3-24 20:58 作者: 或者發(fā)神韻 時(shí)間: 2025-3-24 23:48 作者: aesthetic 時(shí)間: 2025-3-25 05:46 作者: BRUNT 時(shí)間: 2025-3-25 09:55
Fusion of Claude Bernard’s Experiments for Scientific Discovery Reasoningiments, we propose to use fusion between experiments. Prior to fusion, we must ensure that the experiments are compatible according to some similarity measures and depending on the objectives of the fusion. The paper presents our domain-independent approach for similarity checking and fusion, including similarity and fusion strategies.作者: GRATE 時(shí)間: 2025-3-25 11:50 作者: Stress 時(shí)間: 2025-3-25 16:36 作者: Phenothiazines 時(shí)間: 2025-3-25 23:37 作者: Antimicrobial 時(shí)間: 2025-3-26 03:04 作者: SOW 時(shí)間: 2025-3-26 06:56
In Search of Semantic Compositionality in Vector Spacesre the hypothesis that compositional meaning can be captured in such models by adopting a number of mathematical operations for vector composition (summation, component product, tensor product and convolution) to model semantic composition in a multiword unit identification task.作者: 騷動(dòng) 時(shí)間: 2025-3-26 09:57 作者: Mhc-Molecule 時(shí)間: 2025-3-26 14:18 作者: Psychogenic 時(shí)間: 2025-3-26 18:02
Enhanced IN for personal communications,logy, based on attribute exploration method known from Formal Concept Analysis. The attribute exploration allows to systematically finding unintended implications and to deriving constraints and making them explicit. Finally, we apply our approach to a real-life example.作者: Fibrinogen 時(shí)間: 2025-3-26 21:54
Towards a Peace Economy in the United Statesormation system as a whole. System consequence (without part-to-part constraints) is defined for a specific logical system (institution) in the theory of information flow. This paper generalizes the idea of system consequence to arbitrary logical systems.作者: CERE 時(shí)間: 2025-3-27 01:14 作者: 松軟無力 時(shí)間: 2025-3-27 06:21
Access Policy Design Supported by FCA Methodslogy, based on attribute exploration method known from Formal Concept Analysis. The attribute exploration allows to systematically finding unintended implications and to deriving constraints and making them explicit. Finally, we apply our approach to a real-life example.作者: Intersect 時(shí)間: 2025-3-27 12:53 作者: BAN 時(shí)間: 2025-3-27 15:04
Distinguishing Answers in Conceptual Graph Knowledge Basesn question remains concerning what is a good description to return to an end-user. We introduce the notion of smart answer and give an algorithm that computes a set of smart answers based on a vertex neighborhood distance.作者: 考博 時(shí)間: 2025-3-27 20:07 作者: Decibel 時(shí)間: 2025-3-27 23:47
Sraffa and the Standard Commodity variables and tuple-generating dependencies. The aim of this presentation is to synthesize main decidability, complexity and algorithmic results obtained on this kind of rules. We emphasize the fact that the graph vision of rules has led to new results.作者: CAPE 時(shí)間: 2025-3-28 04:54
Towards a Northeast Asian Security Community variables and tuple-generating dependencies. The aim of this presentation is to synthesize main decidability, complexity and algorithmic results obtained on this kind of rules. We emphasize the fact that the graph vision of rules has led to new results.作者: integrated 時(shí)間: 2025-3-28 08:17
The Political Economy of the Asia Pacificheir logical thinking about realities which, in particular, promotes sensible actions. This train of thought has been convincingly differentiated by . and concretized by a “.” invented by members of the mathematics department at the TU Darmstadt.作者: debris 時(shí)間: 2025-3-28 11:50
Towards a Northeast Asian Security Community corresponds to our modeling purposes. Second, we provide an effective characterization of sound and complete reasonings in this language. Third, we identify a decidable subclass of Reiter’s default logics. Last we identify our language as a superset of ., and provide the lacking semantics for the latter language.作者: Choreography 時(shí)間: 2025-3-28 15:07
https://doi.org/10.1007/978-1-4419-9657-2ng. The system generates conceptual graphs encoding the patient case history, which contains templates for the patient’s diseases, symptoms and treatments. We describe simple inference in the generated graphs resource bank. Some experiments and their evaluation are presented in the article.作者: 壓碎 時(shí)間: 2025-3-28 19:02 作者: 驕傲 時(shí)間: 2025-3-28 23:15 作者: 嘮叨 時(shí)間: 2025-3-29 04:46 作者: 圣人 時(shí)間: 2025-3-29 10:18 作者: 易于出錯(cuò) 時(shí)間: 2025-3-29 12:19 作者: 乏味 時(shí)間: 2025-3-29 18:02
Human Being and Mathematics Logical and Mathematical Thinkingheir logical thinking about realities which, in particular, promotes sensible actions. This train of thought has been convincingly differentiated by . and concretized by a “.” invented by members of the mathematics department at the TU Darmstadt.作者: Wernickes-area 時(shí)間: 2025-3-29 20:18
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application corresponds to our modeling purposes. Second, we provide an effective characterization of sound and complete reasonings in this language. Third, we identify a decidable subclass of Reiter’s default logics. Last we identify our language as a superset of ., and provide the lacking semantics for the latter language.作者: 使無效 時(shí)間: 2025-3-30 02:16
Towards Extraction of Conceptual Structures from Electronic Health Recordsng. The system generates conceptual graphs encoding the patient case history, which contains templates for the patient’s diseases, symptoms and treatments. We describe simple inference in the generated graphs resource bank. Some experiments and their evaluation are presented in the article.作者: 健壯 時(shí)間: 2025-3-30 07:50
Using VRML Technology for Visualization of Relations between the Main Concepts of an Educational Coups for educational scope need not be too large. Special software has been developed to convert the original TM files into corresponding VRML 3D scenes. Processing of several computer science courses has already produced satisfactory images, and work to improve the visualization will continue.作者: agglomerate 時(shí)間: 2025-3-30 09:07
Efficient Browsing and Update of Complex Data Based on the Decomposition of Contextsa and the computation of conceptual structures, but essential for the scalability to real-world applications. We propose to decompose contexts into simpler and specialized components: .. We demonstrate this allows for scalable implementations, updatable ontologies, and richer navigation structures, while retaining genericity.作者: BRAVE 時(shí)間: 2025-3-30 14:54 作者: RODE 時(shí)間: 2025-3-30 18:01 作者: Orgasm 時(shí)間: 2025-3-30 21:03
Towards a Northeast Asian Security Communityntic search entails, we describe semantic search from a process perspective. We argue that semantics can be exploited in all steps of this process. We describe the elements involved in the process using graph-structured, semantic models and present our existing work on semantic search in terms of this process.作者: definition 時(shí)間: 2025-3-31 03:34 作者: vascular 時(shí)間: 2025-3-31 09:04
https://doi.org/10.1007/978-1-349-12105-2re the hypothesis that compositional meaning can be captured in such models by adopting a number of mathematical operations for vector composition (summation, component product, tensor product and convolution) to model semantic composition in a multiword unit identification task.作者: Calculus 時(shí)間: 2025-3-31 12:33
Conference proceedings 2009Russia, on July 26-31, 2009...The 18 papers presented together with 5 invited contributions were carefully reviewed and selected from approximately 50 submissions. Originally centered around research on knowledge representation and reasoning with conceptual graphs, over the years ICCS has broadened 作者: 內(nèi)疚 時(shí)間: 2025-3-31 16:58 作者: 畢業(yè)典禮 時(shí)間: 2025-3-31 20:41
Towards a Northeast Asian Security Communitys possible to the meanings of linguistic units, because excessive generalization and clustering of meanings necessarily lead to distortions in the system of relations, excessive problems in a specific subject field, or an application. At the same time it is important to ensure that concepts can be d作者: insecticide 時(shí)間: 2025-4-1 00:29
Towards a Northeast Asian Security Community We focus here on conceptual graph rules and on the semantically equivalent knowledge constructs in logic and databases, namely rules with existential variables and tuple-generating dependencies. The aim of this presentation is to synthesize main decidability, complexity and algorithmic results obta作者: xanthelasma 時(shí)間: 2025-4-1 02:36 作者: 調(diào)色板 時(shí)間: 2025-4-1 06:25
Towards a Northeast Asian Security Communityonsidering the meaning of users’ queries and the available resources. In recent years, there have been significant advances in developing and applying semantic technologies to the problem of semantic search. To collate these various approaches and to try to better understand what the concept of sema作者: 持久 時(shí)間: 2025-4-1 13:51
The Political Economy of the Asia Pacifical thinking to disclose a cosmos of forms of potential realities hypothetically. . as a form of mathematical thinking can therefore support . within their logical thinking about realities which, in particular, promotes sensible actions. This train of thought has been convincingly differentiated by .作者: 儀式 時(shí)間: 2025-4-1 14:36
Towards a Northeast Asian Security Communitylved in an agronomy application, namely the simulation of food processing. Our contribution is many fold: first, the expressivity of this new language corresponds to our modeling purposes. Second, we provide an effective characterization of sound and complete reasonings in this language. Third, we i作者: antecedence 時(shí)間: 2025-4-1 19:12 作者: 慢慢流出 時(shí)間: 2025-4-1 23:45
Hans Bisseling,Jos den Hartog,Bert Schrijverupdate, and transform posets. This paper demonstrates an approach to designing such algorithms. It presents a picture of covering relation traversals that characterises these in terms of up-set and down-set expressions involving union, intersection, and difference. It then provides a detailed analys作者: Graphite 時(shí)間: 2025-4-2 04:22
Lecture Notes in Computer Science This paper proposes a semantically sound syntactic extension to Conceptual Graphs, namely Conceptual Graph Assemblies (CGAs), that allows the representation of multiple viewpoints on the same situation. Several reasoning mechanisms, based on the projection operation, corresponding to different stre作者: 皺痕 時(shí)間: 2025-4-2 09:19
Enhanced IN for personal communications,cific users and binds permissions to user roles. Similarly, one can abstract from specific documents and bind permission to document types..In this paper, we apply Description Logics (DLs) to formalize RBAC. We provide a thorough discussion on different possible interpretations of RBAC matrices and 作者: 不適 時(shí)間: 2025-4-2 12:46
https://doi.org/10.1007/BFb0013391s learning purposes always require the careful selection of the most pertinent concepts from the total scientific knowledge, the rendering of Topic Maps for educational scope need not be too large. Special software has been developed to convert the original TM files into corresponding VRML 3D scenes
