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

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