scholarly journals Towards a Notion of Basis for Knowledge-Based Systems—Applications

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 252
Author(s):  
Gonzalo A. Aranda-Corral ◽  
Joaquín Borrego-Díaz ◽  
Juan Galán-Páez ◽  
Daniel Rodríguez-Chavarría
Keyword(s):  
Computer Algebra ◽  
Propositional Logic ◽  
Knowledge Bases ◽  
Point Of View ◽  
Knowledge Based Systems ◽  
Weak Base ◽  
Knowledge Based ◽  
Weak Bases

In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient processes. A point of view that provides valuable insights is the algebraic one. In this work, a notion of basis (and dimension) for Knowledge Bases in Propositional Logic associated with knowledge forgetting is introduced. It is based on ideas that come from the translation of such logic in (Computer) Algebra, particularly from the interpretation of variable forgetting. In this paper, the concept of weak base is defined as a set of variables sufficient to decide the consistency using variable forgetting. Several applications of weak bases are presented in order to show their usefulness in KBS reasoning and to justify their study and use in solving problems within this topic.

scholarly journals Supporting Creative Mechanical Design

1994 ◽  
Author(s):  
Kun Sun ◽  
Boi Faltings
Keyword(s):  
Mechanical Design ◽  
Knowledge Bases ◽  
Creative Design ◽  
Knowledge Based Systems ◽  
Cad Systems ◽  
Knowledge Based ◽  
Logical Language ◽  
Promising Application ◽  
Qualitative Physics ◽  
And Function

Abstract Knowledge-based CAD systems limit designers’ creativity by constraining them to work with the prototypes provided by the systems’ knowledge bases. We investigate knowledge-based CAD systems capable of supporting creative designs in the example domain of elementary mechanisms. We present a technique based on qualitative explanations which allows a designer to extend the knowledge base by demonstrating a structure which implements a function in a creative way. Structure is defined as the geometry of the parts, and function using a general logical language based on qualitative physics. We argue that the technique can accommodate any creative design in the example domain, and we demonstrate the technique using an example of a creative design. The use of qualitative physics as a tool for extensible knowledge-based systems points out a new and promising application area for qualitative physics.

Altering the SightPlan knowledge-based systems

1992 ◽  
Vol 6 (1) ◽  
pp. 19-37 ◽  
Author(s):  
I. D. Tommelein ◽  
B. Hayes-Roth ◽  
R. E. Levitt
Keyword(s):  
Problem Solving ◽  
Knowledge Bases ◽  
Knowledge Based Systems ◽  
Knowledge Domain ◽  
Task Knowledge ◽  
Knowledge Based ◽  
Site Layout ◽  
Different Types ◽  
Control Knowledge ◽  
Construction Site Layout

SightPlan refers to several knowledge-based systems that address construction site layout. Five different versions were implemented and their components of expertise are described here. These systems are alterations of one another, differing either in the problems they solve, the problem-solving methods they apply, or the tasks they address. Because they share either control knowledge, domain concepts, or heuristics, and such knowledge is implemented in well-defined modular knowledge bases, these systems could easily re-use parts of one another. Experiments like those presented here may clarify the role played by different types of knowledge during problem solving, enabling researchers to gain a broader understanding of the generality of the domain and task knowledge that is embedded in KBSs and of the power of their systems.

scholarly journals Knowledge-Based Systems Manufacturing With Viability Ensuring

2021 ◽  
Author(s):  
Valeriya V. Gribova ◽  
Elena A. Shalfeeva
Keyword(s):  
Artificial Intelligence ◽  
Knowledge Base ◽  
Product Family ◽  
Knowledge Bases ◽  
Knowledge Based Systems ◽  
Manufacturing Environment ◽  
Development Environment ◽  
Systematic Analysis ◽  
Knowledge Based ◽  
Medical Software

Abstract With highly increased competition, intelligent product manufacturing based on interpretable knowledge bases has been recognized as an effective method for building applications of explainable Artificial Intelligence that is the hottest topic in the field of Artificial Intelligence. The success of product family directly depends on how effective the viability mechanisms are laid down in its design. In this paper, a systematic cloud-based set of tool family is proposed to develop viable knowledge-based systems. For productive participation of domain and cognitive specialists in manufacturing, the knowledge base should be declarative, testable and integratable with other architectural components. Mechanisms to ensure KBS viability are provided in an ontology-oriented development environment, where each component is formed in terms of domain ontology by using the adaptable instrumental support. Due to the explicit separation of ontology from knowledge, it became possible to divide competencies between specialists creating an ontology and specialists creating a knowledge base. We rely on the fact that the activity of creating an ontology is significantly different from the activity of creating a knowledge base. Creating an ontology is a creative process that requires a systematic analysis of the domain area in order to identify common patterns among its knowledge.The characteristic properties of knowledge-based systems related to viability are described. It is explained, how these properties are provided in development environments implemented on cloud platform. The concept of a specialized manufacturing environment for knowledge-based system is introduced. The necessary set of tools for such ontology-oriented environment construction is determined. The example of tools for creating specialized manufacturing environments is the instruments implemented on the «IACPaaS» platform. The IACPaaS is already used for collective development of thematic cloud knowledge portals with viable knowledge-based systems. This specialized manufacturing environment has enabled the creation of multi-purpose medical software services to support specialist solutions based on knowledge being remotely improved by experts.

Knowledge Extraction from Domain-Specific Documents

2017 ◽  
pp. 106-123
Author(s):  
Ram Kumar ◽  
Shailesh Jaloree ◽  
R. S. Thakur
Keyword(s):  
Knowledge Representation ◽  
Knowledge Base ◽  
Knowledge Bases ◽  
Domain Ontology ◽  
Knowledge Based Systems ◽  
Domain Specific ◽  
Knowledge Based ◽  
Representation Systems ◽  
Terminological Confusion ◽  
Knowledge Representation Systems

Knowledge-based systems have become widespread in modern years. Knowledge-base developers need to be able to share and reuse knowledge bases that they build. As a result, interoperability among different knowledge-representation systems is essential. Domain ontology seeks to reduce conceptual and terminological confusion among users who need to share various kind of information. This paper shows how these structures make it possible to bridge the gap between standard objects and Knowledge-based Systems.

Comparison of implemented ontologies

1995 ◽  
Vol 10 (1) ◽  
pp. 67-68
Author(s):  
Nicolaas J. I. Mars
Keyword(s):  
Knowledge Bases ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Empirical Determination ◽  
Developing Knowledge

A number of groups developing knowledge-based systems have found (or at least posited) that the design and representation of a limitative set of concepts and relations, a so-called ontology, can contribute to sharing and reusing knowledge bases. However, very few descriptions of implemented ontologies have appeared in the literature. No comparison of competing proposals is available, let alone an empirical determination of the benefits of using an ontology. There is no accepted method for designing and building such ontologies, nor is it clear how ontologies can best be evaluated.

scholarly journals A Max-Term Counting Based Knowledge Inconsistency Checking Strategy and Inconsistency Measure Calculation of Fuzzy Knowledge Based Systems

2015 ◽  
Vol 2015 ◽  
pp. 1-7
Author(s):  
Hui-lai Zhi
Keyword(s):  
Boolean Lattice ◽  
Knowledge Bases ◽  
Vital Role ◽  
Knowledge Based Systems ◽  
Algorithm Efficiency ◽  
Complete Problem ◽  
Knowledge Based ◽  
Np Complete ◽  
The Given ◽  
Fuzzy Knowledge

The task of finding all the minimal inconsistent subsets plays a vital role in many theoretical works especially in large knowledge bases and it has been proved to be a NP-complete problem. In this work, at first we propose a max-term counting based knowledge inconsistency checking strategy. And, then, we put forward an algorithm for finding all minimal inconsistent subsets, in which we establish a Boolean lattice to organize the subsets of the given knowledge base and use leaf pruning to optimize the algorithm efficiency. Comparative experiments and analysis also show the algorithm’s improvement over past approaches. Finally, we give an application for inconsistency measure calculation of fuzzy knowledge based systems.

A Rulebase Management System Using Conceptual Rule Modeling

1997 ◽  
Vol 06 (01) ◽  
pp. 37-61 ◽  
Author(s):  
M'Hamed Bouziane ◽  
Cheng Hsu
Keyword(s):  
Information Integration ◽  
Management System ◽  
Conceptual Modeling ◽  
Knowledge Bases ◽  
Theory And Practice ◽  
Knowledge Based Systems ◽  
Conceptual Schema ◽  
Standard Data ◽  
Knowledge Based ◽  
Specific Implementation

Conceptual modeling is a fundamental concept in information management. Although originated in the theory and practice of databases, its significance as a guiding principle reaches all areas of information integration efforts dealing with heterogeneous uses. In the field of knowledge-based systems, an emerging need is for expert system shells to be able to manage triggers that change frequently and to support heterogeneous applications which use the same rulebase simultaneously but in different ways. A conceptual schema is clearly in order for this new capability. In addition, it is central to integrating databases with knowledge bases as well as providing interoperability to multiple (heterogeneous and distributed) knowledge-based systems. This paper presents a rulebase management system (RBMS) featuring a conceptual schema. The model of the conceptual schema is developed using the Two-Stage Entity-Relationship approach, which is compatible with most common methods and requires only standard data and rules processing technology to implement. The architecture and execution model of RBMS are discussed in details. Its specific implementation design is applicable to managing rules both in the usual rule-based systems and in the systems where rules are embedded into objects or entities. The processing methods are verified with a prototype, which is also discussed in this paper. The RBMS design is being implemented for Samsung Electronics Corporation.

Explanation and dialogue

1989 ◽  
Vol 4 (3) ◽  
pp. 235-247 ◽  
Author(s):  
Nigel Gilbert
Keyword(s):  
Expert Systems ◽  
Knowledge Bases ◽  
Current Work ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Mutual Knowledge

AbstractRecent approaches to providing advisory knowledge-based systems with explanation capabilities are reviewed. The importance of explaining a system's behaviour and conclusions was recognized early in the development of expert systems. Initial approaches were based on the presentation of an edited proof trace to the user, but while helpful for debugging knowledge bases, these explanations are of limited value to most users. Current work aims to expand the kinds of explanation which can be offered and to embed explanations into a dialogue so that the topic of the explanation can be negotiated between the user and the system. This raises issues of mutual knowledge and dialogue control which are discussed in the review.

Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency

2012 ◽  
Vol 487 ◽  
pp. 347-351
Author(s):  
Ya Qiong Jiang ◽  
Jun Wang
Keyword(s):  
Normal Form ◽  
Knowledge Base ◽  
Propositional Logic ◽  
Description Logic ◽  
Knowledge Bases ◽  
Knowledge Compilation ◽  
Knowledge Based ◽  
Common Technique ◽  
Compilation Techniques

Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic. This paper gives precompilation about the description logic ALCO TBox based on knowledge compilation techniques, for which the consistency of TBox can be determined.

Sign in / Sign up

Export Citation Format

Share Document