heckle 发表于 2025-3-27 00:39:15
Susana Val,M. Teresa de la Cruz. Second, we study the completeness of the KB with respect to positive constraints, which represent the knowledge that the KB must contain. When the KB is not complete, we propose an assistant, which helps the user to correct the errors of the KB one by one.foodstuff 发表于 2025-3-27 04:32:09
http://reply.papertrans.cn/24/2351/235042/235042_32.png放逐 发表于 2025-3-27 07:26:31
Formal Concept Analysis Methods for Dynamic Conceptual Graphsion contexts. From these the complete implicational knowledge can be derived. Combining the techniques of attribute exploration and determination of a formal context’s concepts, we demonstrate a procedure which interactively asks for the validity of implications and from this information designs a dynamic CG system with the desired properties.B-cell 发表于 2025-3-27 12:29:50
Mathematical Support for Empirical Theory Buildingretical and the empirical side becomes apparent by comparing the semiproduct and the apposition representation. In an iterative process of theory building this gap should be diminished. Specific support is given by algebraic representations of formal contexts which are used to represent scientific theories.不能根除 发表于 2025-3-27 16:19:21
Searching for Objects and Properties with Logical Concept Analysisormal context. It can be generalized to recover more classical KD operations like machine-learning through the computation of necessary or sufficient properties (modulo some confidence), or data-mining through association rules.DEAWL 发表于 2025-3-27 18:37:02
http://reply.papertrans.cn/24/2351/235042/235042_36.pngstressors 发表于 2025-3-27 22:31:52
William Hsiao,Mingqiang Li,Shufang Zhange first structure models the semantico-cognitive representation while the second one is the temporal diagram representing the temporal constraints between the situations described in the text. Linking these structures leads us to slightly extend the original SCG model.DOLT 发表于 2025-3-28 02:31:57
https://doi.org/10.1057/978-1-137-53377-7zation operations, we can train the system to generate conceptual graphs from domain specific sentences. An implementation system of the method is currently under development with IBM China Research Lab.CLASP 发表于 2025-3-28 06:34:10
Imre Keseru,Thierry Coosemans,Cathy Macharistes..Within this approach, we reformulate the known theory under a different point of view. It certainly does not provide a better analysis than scaling, but it allows to avoid the generation of a huge one-valued context.连词 发表于 2025-3-28 10:24:32
http://reply.papertrans.cn/24/2351/235042/235042_40.png