WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2017203660) DATA PROCESSING DEVICE, DATA PROCESSING METHOD, AND AUTONOMOUS SYSTEM
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2017/203660 International Application No.: PCT/JP2016/065602
Publication Date: 30.11.2017 International Filing Date: 26.05.2016
IPC:
G06N 5/04 (2006.01)
Applicants: HITACHI, LTD.[JP/JP]; 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280, JP
Inventors: NISHI Masataka; JP
Agent: POLAIRE I.P.C.; 13-11, Nihonbashikayabacho 2-chome, Chuo-ku, Tokyo 1030025, JP
Priority Data:
Title (EN) DATA PROCESSING DEVICE, DATA PROCESSING METHOD, AND AUTONOMOUS SYSTEM
(FR) DISPOSITIF DE TRAITEMENT DE DONNÉES, PROCÉDÉ DE TRAITEMENT DE DONNÉES ET SYSTÈME AUTONOME
(JA) データ処理装置、データ処理方法、及び自律システム
Abstract: front page image
(EN) The purpose of the present invention is to provide a data processing device, data processing method, and autonomous system, which are capable of properly assessing undecidability for a status value for which reliability is not guaranteed owing to undecidability of an unobserved status value inference, and of detecting a cause of an observation information anomaly if said anomaly is present. Provided is a data processing device, comprising: a first means which assesses whether a requirement constraint formula and a statistical constraint formula which take as an argument an inputted value which includes an undetermined variable are both satisfied; a second means which, if a first satisfying solution exists which satisfies both the requirement constraint formula and the statistical constraint formula, assesses, for the first satisfying solution, whether a second satisfying solution exists which further satisfies an acceptable standard constraint formula; a third means which outputs an inference value and an inference result for each instance of existence or lack of the second satisfying solution; and a fourth means which, if no first satisfying solution exists which satisfies both the requirement constraint formula and the statistical constraint formula, evaluates the requirement constraint formula and the statistical constraint formula, using an unsatisfiable solution which means that no first satisfying solution exists, and outputs the result of the evaluation as the inference value and the inference result.
(FR) La présente invention a pour objet de fournir un dispositif de traitement de données, un procédé de traitement de données et un système autonome, qui sont aptes à évaluer correctement l'indécidabilité pour une valeur d'état pour laquelle la fiabilité n'est pas garantie en raison de l'indécidabilité d'une déduction de valeur d'état non observé, et à détecter une cause d'une anomalie d'informations d'observation si ladite anomalie est présente. L'invention concerne un dispositif de traitement de données, comprenant : un premier moyen qui évalue si une formule de contrainte d'exigence et une formule de contrainte statistique qui prennent comme argument une valeur entrée qui comprend une variable indéterminée sont toutes les deux satisfaites ; un deuxième moyen qui, s'il existe une première solution de satisfaction satisfaisant à la fois la formule de contrainte d'exigence et la formule de contrainte statistique, évalue, pour la première solution de satisfaction, s'il existe une seconde solution de satisfaction satisfaisant en outre une formule de contrainte standard acceptable ; un troisième moyen qui délivre une valeur de déduction et un résultat de déduction pour chaque instance d'existence ou d'absence de la seconde solution de satisfaction ; et un quatrième moyen qui, s'il n'existe aucune première solution de satisfaction satisfaisant à la fois la formule de contrainte d'exigence et la formule de contrainte statistique, évalue la formule de contrainte d'exigence et la formule de contrainte statistique, en utilisant une solution non satisfaisante qui signifie qu'il n'existe aucune première solution de satisfaction, et délivre le résultat de l'évaluation en tant que valeur de déduction et résultat de déduction.
(JA) 未観測状態値推論の決定不能性により信頼性が保証されない状態値について決定不能を正しく判定し、観測情報異常であれば異常要因を検出することができるデータ処理装置、データ処理方法、及び自律システムを提供する。未定変数を含む入力値を引数とする要件制約式および統計制約式を共に充足することを判定する第1の手段と、要件制約式および統計制約式を共に充足する第1の充足解があるとき、第1の充足解についてさらに許容基準制約式に充足する第2の充足解があることを判定する第2の手段と、第2の充足解の有無ごとに、推論値及び推論結果を出力する第3の手段と、要件制約式および統計制約式を共に充足する第1の充足解がないとき、第1の充足解がないことを意味する充足不能解を用いて、要件制約式および統計制約式を評価し、評価結果を推論値及び推論結果として出力する第4の手段を備える。
Designated States: 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, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, 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
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (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)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)