DATA PROCESSING DEVICE, DATA PROCESSING METHOD, AND AUTONOMOUS SYSTEM

• Main Author: NISHI Masataka
• Format: Patent
• Language: English; French; Japanese
• Published: 30.11.2017
• Subjects: CALCULATING; COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS; COMPUTING; COUNTING; PHYSICS

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. 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. 未観測状態値推論の決定不能性により信頼性が保証されない状態値について決定不能を正しく判定し、観測情報異常であれば異常要因を検出することができるデータ処理装置、データ処理方法、及び自律システムを提供する。未定変数を含む入力値を引数とする要件制約式および統計制約式を共に充足することを判定する第１の手段と、要件制約式および統計制約式を共に充足する第１の充足解があるとき、第１の充足解についてさらに許容基準制約式に充足する第２の充足解があることを判定する第２の手段と、第２の充足解の有無ごとに、推論値及び推論結果を出力する第３の手段と、要件制約式および統計制約式を共に充足する第１の充足解がないとき、第１の充足解がないことを意味する充足不能解を用いて、要件制約式および統計制約式を評価し、評価結果を推論値及び推論結果として出力する第４の手段を備える。