CGKEE: Conceptual graph knowledge engineering environment

1997 ◽  
pp. 598-602
Author(s):  
Dickson Lukose
Keyword(s):  
Knowledge Engineering ◽  
Conceptual Graph ◽  
Engineering Environment

Planning meets verification and validation in a knowledge engineering environment

2014 ◽  
Vol 8 (1) ◽  
pp. 87-100 ◽  
Author(s):  
Andrea Orlandini ◽  
Giulio Bernardi ◽  
Amedeo Cesta ◽  
Alberto Finzi
Keyword(s):  
Knowledge Engineering ◽  
Verification And Validation ◽  
Engineering Environment

Validation and verification issues in a timeline-based planning system

2010 ◽  
Vol 25 (3) ◽  
pp. 299-318 ◽  
Author(s):  
Amedeo Cesta ◽  
Alberto Finzi ◽  
Simone Fratini ◽  
Andrea Orlandini ◽  
Enrico Tronci
Keyword(s):  
Resource Constraints ◽  
Knowledge Engineering ◽  
Original System ◽  
Planning System ◽  
Direct Access ◽  
Validation And Verification ◽  
Planning And Scheduling ◽  
Evaluation Functions ◽  
Engineering Environment ◽  
Effective Use

AbstractTo foster effective use of artificial intelligence planning and scheduling (P&S)systems in the real world, it is of great importance to both (a) broaden direct access to the technology for the end users and (b) significantly increase their trust in such technology. AutomatedP&Ssystems often bring solutions to the users that are neither ‘obvious’ nor immediately acceptable to them. This is because these tools directly reason on causal, temporal, and resource constraints; moreover, they employ resolution processes designed to optimize the solution with respect to non-trivial evaluation functions. Knowledge engineering environments aim at simplifying direct access to the technology for people other than the original system designers, while the integration of validation and verification (V&V) capabilities in such environments may potentially enhance the users’ trust in the technology. Somehow,V&Vtechniques may represent a complementary technology, with respect toP&S, that contributes to developing richer software environments to synthesize a new generation of robust problem-solving applications. The integration ofV&VandP&Stechniques in a knowledge engineering environment is the topic of this paper. In particular, it analyzes the use of state-of-the-artV&Vtechnology to support knowledge engineering for a timeline-based planning system called MrSPOCK. The paper presents the application domain for which the automated solver has been developed, introduces the timeline-based planning ideas, and then describes the different possibilities to applyV&Vto planning. Hence, it continues by describing the step of addingV&Vfunctionalities around the specialized planner, MrSPOCK. New functionalities have been added to perform both model validation and plan verification. Lastly, a specific section describes the benefits as well as the performance of such functionalities.

scholarly journals Progress in Automating Higher-Order Ontology Reasoning

10.29007/dtnz ◽  
2018 ◽  
Author(s):  
Christoph Benzmüller ◽  
Adam Pease
Keyword(s):  
Automated Theorem Proving ◽  
Knowledge Engineering ◽  
Higher Order ◽  
Theorem Prover ◽  
Ontology Reasoning ◽  
Order Form ◽  
Form Representation ◽  
Engineering Environment ◽  
Representation Language ◽  
Upper Level

We report on the application of higher-order automated theorem proving in ontology reasoning. Concretely, we have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology SUMO with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO representations into the new typed higher-order form representation language TPTP THF. We illustrate the benefits of our integration with examples, report on experiments and analyze open challenges.

KEATS: A System to Support Knowledge Engineering and Training for Decision-Making Skills

1989 ◽  
Author(s):  
Fritz H. Brecke ◽  
Patrick Hays ◽  
Donald Johnston ◽  
Gail Slemon ◽  
Jane McGarvey ◽  
...  
Keyword(s):  
Decision Making ◽  
Knowledge Engineering ◽  
And Training

Automated Coding of Patient Discharge Summaries Using Conceptual Graphs

1995 ◽  
Vol 34 (04) ◽  
pp. 345-351 ◽  
Author(s):  
A. Burgun ◽  
L. P. Seka ◽  
D. Delamarre ◽  
P. Le Beux
Keyword(s):  
Natural Language ◽  
Patient Discharge ◽  
Natural Language Understanding ◽  
Assessment Procedure ◽  
Coding System ◽  
Language Understanding ◽  
Processing Scheme ◽  
Automated Coding ◽  
Conceptual Graph ◽  
Discharge Summaries

Abstract:In medicine, as in other domains, indexing and classification is a natural human task which is used for information retrieval and representation. In the medical field, encoding of patient discharge summaries is still a manual time-consuming task. This paper describes an automated coding system of patient discharge summaries from the field of coronary diseases into the ICD-9-CM classification. The system is developed in the context of the European AIM MENELAS project, a natural-language understanding system which uses the conceptual-graph formalism. Indexing is performed by using a two-step processing scheme; a first recognition stage is implemented by a matching procedure and a secondary selection stage is made according to the coding priorities. We show the general features of the necessary translation of the classification terms in the conceptual-graph model, and for the coding rules compliance. An advantage of the system is to provide an objective evaluation and assessment procedure for natural-language understanding.

Rationale and Design Considerations for a Semantic Mediator in Health Information Systems

1998 ◽  
Vol 37 (04/05) ◽  
pp. 518-526 ◽  
Author(s):  
D. Sauquet ◽  
M.-C. Jaulent ◽  
E. Zapletal ◽  
M. Lavril ◽  
P. Degoulet
Keyword(s):  
Information Systems ◽  
Software Engineering ◽  
Health Information ◽  
Rapid Development ◽  
Heterogeneous Systems ◽  
Health Information Systems ◽  
Semantic Interoperability ◽  
Point Of View ◽  
Current State ◽  
Engineering Environment

AbstractRapid development of community health information networks raises the issue of semantic interoperability between distributed and heterogeneous systems. Indeed, operational health information systems originate from heterogeneous teams of independent developers and have to cooperate in order to exchange data and services. A good cooperation is based on a good understanding of the messages exchanged between the systems. The main issue of semantic interoperability is to ensure that the exchange is not only possible but also meaningful. The main objective of this paper is to analyze semantic interoperability from a software engineering point of view. It describes the principles for the design of a semantic mediator (SM) in the framework of a distributed object manager (DOM). The mediator is itself a component that should allow the exchange of messages independently of languages and platforms. The functional architecture of such a SM is detailed. These principles have been partly applied in the context of the HEllOS object-oriented software engineering environment. The resulting service components are presented with their current state of achievement.

Sign in / Sign up

Export Citation Format

Share Document