Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2019064600) DISPOSITIF DE VÉRIFICATION D'HYPOTHÈSE, PROCÉDÉ DE VÉRIFICATION D'HYPOTHÈSE, ET SUPPORT D'ENREGISTREMENT LISIBLE PAR ORDINATEUR
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2019/064600 N° de la demande internationale : PCT/JP2017/035747
Date de publication : 04.04.2019 Date de dépôt international : 29.09.2017
CIB :
G06N 5/04 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
N
SYSTÈMES DE CALCULATEURS BASÉS SUR DES MODÈLES DE CALCUL SPÉCIFIQUES
5
Systèmes de calculateurs utilisant des modèles basés sur la connaissance
04
Méthodes ou dispositifs inférents
Déposants :
日本電気株式会社 NEC CORPORATION [JP/JP]; 東京都港区芝五丁目7番1号 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP
Inventeurs :
細見 格 HOSOMI, Itaru; JP
Mandataire :
特許業務法人ブライタス BRIGHTAS IP ATTORNEYS; JP
Données relatives à la priorité :
Titre (EN) HYPOTHESIS VERIFICATION DEVICE, HYPOTHESIS VERIFICATION METHOD, AND COMPUTER-READABLE RECORDING MEDIUM
(FR) DISPOSITIF DE VÉRIFICATION D'HYPOTHÈSE, PROCÉDÉ DE VÉRIFICATION D'HYPOTHÈSE, ET SUPPORT D'ENREGISTREMENT LISIBLE PAR ORDINATEUR
(JA) 仮説検証装置、仮説検証方法、及びコンピュータ読み取り可能な記録媒体
Abrégé :
(EN) A hypothesis verification device 10 is provided with: a hypothesis generation unit 11 which derives, from observation data expressed by a set of logical formulae each having one name and one or more parameters, and using knowledge data expressed in the same format, a hypothesis configured by logical formulae which leads to a possible consequence; and a hypothesis verification unit 12. If a logical formula including a first parameter having a value acquired from the observation data and a second parameter not having a value acquired from the observation data exists in the logical formulae that configure the hypothesis, the hypothesis verification unit 12 sets the logical formula as a subject logical formula, acquires a value of the second parameter on the basis of the observation data and the name of the subject logical formula, and inputs the value into the subject logical formula. If the subject logical formula does not exist and a logical formula having a value in advance in one or more parameters or having a value acquired by means of inferred knowledge exists, the hypothesis verification unit 12 makes a true/false determination. If the true/false determination has been made, or if the value of the second parameter has been input, the hypothesis generation unit 11 adds an acquired logical formula to the observation data and derives a hypothesis again.
(FR) L'invention concerne un dispositif de vérification d'hypothèse (10) comprenant : une unité de génération d'hypothèse (11) qui dérive, à partir de données d'observation exprimées par un ensemble de formules logiques ayant chacune un nom et un ou plusieurs paramètres, et à l'aide de données de connaissances exprimées dans le même format, une hypothèse configurée par des formules logiques qui conduit à une conséquence possible ; et une unité de vérification d'hypothèse (12). Si une formule logique comprenant un premier paramètre ayant une valeur acquise à partir des données d'observation et un second paramètre n'ayant pas une valeur acquise à partir des données d'observation existe dans les formules logiques qui configurent l'hypothèse, l'unité de vérification d'hypothèse (12) définit la formule logique en tant que formule logique objet, acquiert une valeur du second paramètre sur la base des données d'observation et du nom de la formule logique objet, et entre la valeur dans la formule logique objet. Si la formule logique objet n'existe pas et une formule logique ayant une valeur avancée dans un ou plusieurs paramètres ou ayant une valeur acquise au moyen de connaissances inférées existe, l'unité de vérification d'hypothèse (12) effectue une détermination vraie/fausse. Si la détermination vraie/fausse a été effectuée, ou si la valeur du second paramètre a été entrée, l'unité de génération d'hypothèse (11) ajoute une formule logique acquise aux données d'observation et dérive à nouveau une hypothèse.
(JA) 仮説検証装置10は、1つの名前及び1つ以上のパラメータを含む論理式の集合で表現された観測データから、同じ形式で表現された知識データを用いて、ありうる帰結に至る論理式で構成された仮説を導出する、仮説生成部11と、仮説を構成する論理式の中に、観測データから得られた値を有する第1のパラメータと、観測データから得られた値を有さない第2のパラメータとを含む論理式が存在する場合は、これを対象論理式とし、観測データ及び対象論理式の名前に基づき、第2のパラメータの値を取得して対象論理式に入力し、対象論理式が存在せず、1つ以上のパラメータに予め値を持つ又は推論知識によって得られた値を持つ、論理式が存在する場合は、真偽を判定する、仮説検証部12とを備える。仮説生成部11は、真偽が判定されるか、第2のパラメータの値が入力されると、得られた論理式を、観測データに追加して、再度、仮説を導出する。
front page image
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)