515,439 Hits in 4.3 sec

Realization Problem for Formal Concept Analysis

Nikolay V. Shilov
2008 International Workshop on Description Logics  
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

Ontology-driven Advice and Decision-making within Knowledge Dissemination for Extension

Yuriy Chaplinskyy, Olena Subbotina
2013 Procedia Technology - Elsevier  
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

On-line analytical processing based on formal concept analysis

A.V. Korobko, T.G. Penkova
2010 Procedia Computer Science  
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

Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis

Huilai Zhi
2014 International Journal of Intelligence Science  
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

Page 3382 of Mathematical Reviews Vol. , Issue 92f [page]

1992 Mathematical Reviews  
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.  ... 

Page 687 of Automation and Remote Control Vol. 54, Issue 4 [page]

1993 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 Modeling with Formal Concept Analysis on Natural Language Texts

Mikhail Bogatyrev
2016 International Conference on Data Analytics and Management in Data Intensive Domains  
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

Constraints in object-oriented analysis [chapter]

Stefan Baelen, Johan Lewi, Eric Steegmans, Bart Swennen
1993 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

Conceptual basis for developing of trainig models in complex system software assembling generator

V.O. Georgiev, N.A. Prokopyev, D.S. Polikashin
2018 Journal of Fundamental and Applied Sciences  
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

AMI: A Case Tool based on Artificial Intelligence Techniques for an Interactive Modelling for Analysis [chapter]

L. Lasoudris, M. Maurice-Demourioux, R. Voyer
1995 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

Formal Computation Independent Model of the Problem Domain within the MDA

Janis Osis, Erika Asnina, Andrejs Grave
2007 International Conference on Information System Implementation and Modeling  
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

Framework for Conceptual Modeling on Natural Language Texts

Mikhail Bogatyrev, Kirill Samodurov
2016 International Conference on Concept Lattices and their Applications  
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 [21] for work with big textual data. Acknowledgments.  ... 
dblp:conf/cla/BogatyrevS16 fatcat:b6sqzswoqvbzrdtxcc3qn7bvye

Development of Smart Sensors System Based on Formal Concept Analysis and Ontology Model

Hongsheng Xu, Ruiling Zhang
2013 Sensors & Transducers  
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 [2] .  ... 
doaj:5fb4697165e3451f9979f5b6d3f0ad34 fatcat:ul3y4iluvjczlb53r4khrwji6i

Knowledge formalization in experience feedback processes: An ontology-based approach

B. Kamsu Foguem, T. Coudert, C. Béler, L. Geneste
2008 Computers in industry (Print)  
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

Fuzzy Logic Basis in High Performance Decision Support Systems [chapter]

A. Bogdanov, A. Degtyarev, Yu. Nec
2001 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