2006 | OriginalPaper | Chapter
CAKE: Computer Aided Knowledge Engineering
Authors : Patrick Doherty, Professor, Witold Łukaszewicz, Professor, Andrzej Skowron, Professor, Andrzej Szałas, Professor
Published in: Knowledge Representation Techniques
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Knowledge engineering often involves the development of modeling tools and inference mechanisms (both standard and non-standard) which are targeted for use in practical applications, where expressiveness in representation must be traded off for efficiency in use. Some representative examples of such applications would be the structuring and querying of knowledge on the semantic web, or the representation and querying of epistemic states used with softbots, robots or smart devices. In these application areas, declarative representations of knowledge enhance the functionality of such systems and also provide a basis for insuring the pragmatic properties of modularity and incremental composition. On the other hand, the mechanisms developed should be tractable, but at the same time, expressive enough to represent such aspects as default reasoning, or approximate or incomplete representations of the environments in which the entities in question are embedded or used, be they virtual or actual.