Logical Expression Processing Device for Automated Inference Optimization

Solution Overview

Problem

The process of adjusting logical expression formats for input information in logical inference models is time-consuming and costly, requiring human expertise and lacking efficient automated approaches.

Innovation Solution

A logical expression processing apparatus and method that acquires, processes, and executes logical inference using background knowledge and query information, with an evaluation unit determining if the inference result meets predetermined requirements, allowing for automated optimization of processing procedures.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If human resources familiar with technical domain and logical inference model carry out detailed examination to adjust logical expression format, then the logical inference model can behave as expected, but it becomes a serious bottleneck in time and cost

Engineering Contradiction:

Improvelogical inference model behaviorVSAvoidtime for adjusting logical expression format

Core Design Contradiction:

ReliabilityVSLoss of time

Solution Approach 1:

The system automatically adjusts the logical expression format of input information through an evaluation unit that processes background knowledge and query information, executes logical inference, and evaluates results against predetermined requirements, eliminating the need for manual human expertise in this process

Inventive Principle:

Principle #25Self-service

Solution Approach 2:

The evaluation unit provides feedback by evaluating the execution result of logical inference against predetermined requirements and outputting processed background knowledge and query information, creating a closed-loop system that automatically optimizes expression formats

Inventive Principle:

Principle #23Feedback

2Reliability

If human resources familiar with technical domain and logical inference model carry out detailed examination to adjust logical expression format, then the logical inference model can behave as expected, but it becomes a serious bottleneck in cost

Engineering Contradiction:

Improvelogical inference model behaviorVSAvoidcost for adjusting logical expression format

Core Design Contradiction:

ReliabilityVSEase of manufacture

Solution Approach 1:

The system automatically adjusts the logical expression format of input information through an evaluation unit that processes background knowledge and query information, executes logical inference, and evaluates results against predetermined requirements, eliminating the need for manual human expertise in this process

Inventive Principle:

Principle #25Self-service

Solution Approach 2:

The patent replaces the mechanical system of human expertise and manual examination with an automated computational system that uses processing execution units and evaluation units to adjust logical expression formats, substituting human labor with machine-based automated processes

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

3Loss of time

If automated processing is implemented to adjust logical expression format, then time and cost are reduced, but the complexity of the processing system increases

Engineering Contradiction:

Improvetime for adjusting logical expression formatVSAvoidcomplexity of processing system

Core Design Contradiction:

Loss of timeVSDevice complexity

Solution Approach 1:

The system is divided into distinct functional modules: an acquisition unit for obtaining input information, a processing execution unit for processing logical formulas, an inference execution unit for executing logical inference, and an evaluation unit for evaluating results, making the complex automated process manageable through modular segmentation

Inventive Principle:

Principle #1Segmentation

Data Source

PatentUS20240078449A1Logical expression processing device, logical expression processing method, and logical expression processing program

Publication Date: 2024.03.07 NEC CORP

AI summary

A logical expression processing apparatus includes at least one processor, the at least one processor carrying out: an acquisition process of acquiring background knowledge information and query information; a processing execution process of processing the logical formulas of at least one of the background knowledge information and the query information that have been acquired in the acquisition process, and acquiring processed background knowledge information and processed query information; an inference execution process of executing logical inference using, as inputs, the processed background knowledge information and the processed query information; and an evaluation process of outputting at least one of the processed background knowledge information and the processed query information, depending on whether or not an execution result of the logical inference satisfies a predetermined requirement.