A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. ... The paper defines formally the FCA realization problem and proves that it is decidable. It is done by reduction of the problem to the consistency problem for description logic ALBO. ... FCA Realization Problem Let us define a new algorithmic problem for Formal Concept Analysis which we call FCA realization problem. It can be defined informally as follows. ...dblp:conf/dlog/Shilov08 fatcat:dgfty3rexjbltbw5dclo5mzhsa
This paper has been present approach for dissemination of agricultural knowledge and information using ontology-driven advice and decision-making. ... One of the main factors of increasing productivity and improving quality of agriculture is the spread and introduction of modern science-based technologies, application of modern technology for rural development ... income of private Ukrainian agricultural producers through agricultural extension" (Ukraine), Ukrainian-Indian project "Development of integrated consulting and decision-making -oriented environment for ...doi:10.1016/j.protcy.2013.11.058 fatcat:rnqobzu3hfbapjrkjclfxsl7tm
An approach to analytical decision making support based on integration of OLAP technology and Formal Concept Analysis is suggested in this paper. The base of domain OLAP modeling is considered. ... The construction of an analytical model with expert knowledge as a lattice of formal cube-concepts is described formally. ... Acknowledgements This paper was supported by a grant for leading scientific schools (No: NSh-3209.2010.9.), Federal Agency of Science and Innovation and Council grants, the President of Russia. ...doi:10.1016/j.procs.2010.04.259 fatcat:l7vbsv47gzd2hnsrthqbyp4pnu
There is an intimate correlation between rough set theory and formal concept analysis theory, so rough set approximations can be realized by means of formal concept analysis. ... formal context, secondly realize rough set approximation operations aided by concept lattice, which is equivalent to a query operation under some necessary conditions. ... value formal context to single value formal context; second, realize rough set approximation operation aided by formal concept analysis on concept lattice. ...doi:10.4236/ijis.2014.43008 fatcat:fidwvudfarhbdetdhdqnr6uoni
The book uses a formal algebraic approach to problems of analysis and synthesis with occasional discussion of practical significance of achieved results. ... A method for realizing such a net is given. Then a regular structure for the realizing net is considered in the context of the Garden-of-Eden problem. ...
Automation and Remote Control
For instance, this conception may focus on the analysis of steady-state processes (as is common for potential networks) or, conversely, the analysis of dynamics of external behavior. ... The analysis problem thus can be stated as the problem of equivalent transformations in the class of schemas AT“, which is the abstract-level closure of the class ATp. ...
Conceptual graphs serve as semantic models of text sentences and the data source for concept lattice -the basic conceptual model in Formal Concept Analysis. ... This technique combines the usage of two conceptual modeling paradigms: conceptual graphs and Formal Concept Analysis. ... In the area of Text Mining, some variants of knowledge extraction have been realized by solving such problems as sentiment analysis, fact extraction and decision making support. ...dblp:conf/rcdl/Bogatyrev16 fatcat:oqngossr2nctfomekqdaki4e3a
Lecture Notes in Computer Science
Object-oriented analysis methods can incorporate the concept of constraints to express rules of the problem domain in the specification model, restricting the possible instances of the model. ... Specifying constraints as informal annotations or by operational restrictions is too informal and low level for analysis. ... Therefore, we try to provide next to a formal description of the effect of the actions, a formal definition of the constraints for the problem domain. ...doi:10.1007/3-540-57342-9_85 fatcat:hn3rzi6r35fhhcnbq7bsxerzca
It allows to avoid the full, unlimited analysis of the natural language text and to simplify a task to the level accepted for realization. ... of formal model for human machine interface. ... allowing ordering the description of DS, to facilitate a problem of their design and the analysis, to form a conceptual basis of the analysis of their behavior and realization. ...doi:10.4314/jfas.v9i2s.77 fatcat:k5uvgh63hjfrffbbrnvhpappyq
IFIP Advances in Information and Communication Technology
In fact, subsumption links and matching possibilities between conceptual graphs allow us to compare different abstraction levels and to realize selective searches for graph verifying some properties. ... So we choose for AMI a conceptual graph. ... Methods using specific meta-model give concepts which must be modelized, and the associated formalism. Nevertheless, they indicate just a little how to realize concepts emergence. ...doi:10.1007/978-0-387-34848-3_17 fatcat:3klkfuc2wvfwxdz5pczxfz46ka
The paper also suggests a concept of a tool for the TFMfMDA, which is realized as an Eclipse plug-in, and uses Natural Language Processing techniques. ... with the problem domain "as is" model. ... There are two parallel branches at the beginning of the problem analysis: analysis at the (business or enterprise) system level, and analysis at the application level. ...dblp:conf/isim/OsisAG07 fatcat:vsjksk4z3rdabanlpox7r4daiu
The modeling technique combines the usage of conceptual graphs and Formal Concept Analysis. ... Conceptual graphs serve as semantic models of text sentences and the data source for formal context of concept lattice. ... We also plan to use SAP HANA Environment  for work with big textual data. Acknowledgments. ...dblp:conf/cla/BogatyrevS16 fatcat:b6sqzswoqvbzrdtxcc3qn7bvye
The paper proposes development of smart sensors system based on formal concept analysis and ontology model. ... Formal concept analysis is from the given data to automatically extract the classification relationship between the entire hidden concept and concept, formation of concept model. ... realizes the formal understanding of the concept of philosophy  . ...doaj:5fb4697165e3451f9979f5b6d3f0ad34 fatcat:ul3y4iluvjczlb53r4khrwji6i
Consequently, Knowledge Management (KM) is an increasingly important source of competitive advantage for organizations. ... In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an Experience Feedback (EF) process aiming at transforming information or understanding ... Secondly, an expertise is realized by a committee of experts of the domain. The goal is to analyze the problem, to formalize experts analysis, to provide a solution and, if useful, to capitalize it. ...doi:10.1016/j.compind.2007.12.014 fatcat:aqa5u6dyaza6bm3klya6fohjdq
Lecture Notes in Computer Science
Interpretation of fuzzy models is carried out with use of high performance computing at processing information stream in problems of analysis and forecast of worst-case situations (disputable and extreme ... The approach allowing to formalize complex knowledge system within the framework of fuzzy logic basis is formulated. ... Developed IC solves complex and difficult for formalization problems of analysis and forecast of seaworthiness characteristics in dynamic area on a basis continuously entering in "on-line" measuring information ...doi:10.1007/3-540-45718-6_102 fatcat:bzmxlh7vsbdarjz2zaot3oh2ze
« Previous Showing results 1 — 15 out of 515,439 results