ETCH
发表于 2025-3-25 04:39:07
http://reply.papertrans.cn/24/2322/232106/232106_21.png
PURG
发表于 2025-3-25 09:19:20
Book 2014rks by philosophers, anthropologists, linguists, psychologists, and computer scientists. As such, it has been early studied in artificial intelligence, with a particular renewal of interest in the last decade..The present volume provides a structured view of current research trends on computational
THE
发表于 2025-3-25 12:21:23
https://doi.org/10.1007/978-1-349-81634-7as been widely studied and discussed, in particular by philosophers. More recently, it has attracted a lot of attention in cognitive sciences, and in computer sciences, especially artificial intelligence. The aim of this volume is to report on current advances regarding the computational aspects of
N斯巴达人
发表于 2025-3-25 18:19:56
http://reply.papertrans.cn/24/2322/232106/232106_24.png
暂时休息
发表于 2025-3-25 22:45:47
Synthesis of Layered, Graded Bioscaffoldscs. They can accommodate a wide variety of linguistic data without resorting to . representations and are inherently good at capturing long range dependencies between data. Unfortunately, applying analogical learning on top of formal analogy to current Natural Language Processing (NLP) tasks, which
Adrenal-Glands
发表于 2025-3-26 03:30:19
Andrea Schwartz,Stavros Thomopoulosts high-level generalities are systematically reflected in a variety of lower-level specializations. As such, we can expect a rich, well-structured knowledge-base to support a greater diversity of analogies than one that is imbalanced, disjoint or impoverished. We argue here that the converse is als
definition
发表于 2025-3-26 07:08:32
Signs and Symbols. The Linguistic Sign, analogy based on a constrained sequent calculus in which higher-order variables denote first-order formulæ. Then we briefly review the most successful approaches, ranging from early work in Horn logic to proof reuse in interactive higher-order theorem provers. With the help of many examples, we pre
抱负
发表于 2025-3-26 11:27:12
Signs and Symbols. The Linguistic Sign,ions. This chapter studies how some results about revision can be applied to formalize adaptation and, more widely, .. Revision operators based on distances are defined in formalisms frequently used in . and applied to define an adaptation operator that takes into account the domain knowledge and th
Glucocorticoids
发表于 2025-3-26 14:44:48
Primitive Structures and Defective Language,pts to illuminate HDTP from several different perspectives. On the one hand, the syntactic basis of HDTP is formally specified, in particular, restricted higher-order anti-unification together with a complexity measure is described as the core process to compute a generalization given two input doma
文字
发表于 2025-3-26 17:30:01
http://reply.papertrans.cn/24/2322/232106/232106_30.png