• Aucun résultat trouvé

Cyc Design Challenges and Solutions

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Cyc Design Challenges and Solutions"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Cyc Design Challenges and Solutions

Keith Goolsbey Cycorp Inc.

3721 Executive Center Drive Suite 100, Austin, TX 78731

Abstract

Cyc comprises a large, contextualized, common sense knowledge base (KB) which is encoded in an expressive representation language (essentially FOL with a few key extensions) and paired with an inference engine optimized for the classes of queries we most frequently encounter. These queries tend to mix relatively shallow reasoning within one of a large number of idiosyncratic subtheories with relatively deep reasoning within one of a very small number of stylized subtheories. The con- straints of these queries in a large and expressive KB combined with the need to efficiently react to KB elaboration together provide a unique set of design challenges that are extremely stressful for the solutions provided by the current state of the art FOL theorem provers. The solutions to these challenges currently adopted by the Cyc inference engine will be presented within the context of a new suite of TPTP problems that are derived from Cyc’s KB and typical queries and are intended to demonstrate Cyc’s design challenges for investigation by the wider community.

Références

Télécharger maintenant ( PDF - 1 Page - 25.38 KB )

Documents relatifs

Ontology Design Patterns: Adoption Challenges and Solutions

This paper has introduced and discussed some concrete challenges regarding the use of Ontology Design Patterns, with an emphasis on tooling-related challenges that prevent

Mapping of EuroWordnet Top Ontology to Upper Cyc Ontology

[r]

Annotating arthropods genome to study and compare their metabolism: the ArthropodaCyc collection of Cyc databases powered by CycADS

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Big Data Management Challenges and Solutions in the Context of European Projects – Workshop Introduction

These showcase how the major big data challenges are being confronted, be they the classical high data volume, great variety, high data velocity, lack of veracity

Opportunities and Challenges Presented by Wikidata in the Context of Biocuration

is currently the only major Semantic Web resource that supports open, collaborative editing. Further, through its association with the Wikipedias, it has thousands

The importance of cross-lingual information for matching Wikipedia with the Cyc ontology

To answer the question how the additional Wikipedia editions inuence the per- formance of the mapping between Wikipedia and Cyc (cf. [2]) we have dened the following tasks: 1)

Migration of Rule Inference Engine to Mobile Platform. Challenges and Case Study

The proposed architecture of the inference engine implemented using the hybrid approach is presented in the figure 1, where the Platform Independent Runtime can mean low level

Measuring Microphones : Challenges and New Solutions

Table 1 below has been compiled from data published by 3 different vendors, all the microphones except type 4961 are 1/2” free – field microphones intended for use in sound