Logical Formula Generation Using Reasoning and Conceptual Schemas

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Constructing and maintaining logical reasoning systems requires significant human effort and expertise, as knowledge and information are not easily separable from logical representations, leading to high costs and time consumption.

Innovation Solution

A logical formula generation apparatus and method that automatically transforms background knowledge and input information into logical formulas using a logical transformation protocol, based on reasoning and conceptual schemas, reducing the need for manual design and increasing efficiency.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Ease of manufacture

If manual consideration work is performed to construct logical reasoning systems, then system construction is possible, but human costs and time consumption increase significantly

Engineering Contradiction:

Improvesystem construction easeVSAvoidconstruction time

Core Design Contradiction:

Ease of manufactureVSLoss of time

Solution Approach 1:

The system automatically generates logical formulas by transforming background knowledge and input information using a logical transformation protocol, eliminating the need for manual consideration work. The apparatus self-services the formula generation process through automated planning and transformation mechanisms.

Inventive Principle:

Principle #25Self-service

Solution Approach 2:

The patent replaces manual mechanical work with automated computational processes. The planning means and transforming means use algorithmic approaches to generate logical formulas, substituting human expertise with automated systems that process information according to defined schemas.

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

2Adaptability or versatility

If manual modification of logical representations is performed when requirements change, then system adaptation is possible, but maintenance time and expertise requirements increase

Engineering Contradiction:

Improvesystem adaptabilityVSAvoidmaintenance time

Core Design Contradiction:

Adaptability or versatilityVSLoss of time

Solution Approach 1:

The system dynamically adapts to requirement changes through automated re-generation of logical formulas. When background knowledge or input information changes, the apparatus automatically updates the logical representations according to the reasoning schema, enabling flexible adaptation without manual intervention.

Inventive Principle:

Principle #15Dynamics

Solution Approach 2:

The apparatus performs self-maintenance by automatically rewriting logical formulas when requirements change. The planning means generates updated transformation protocols and the transforming means applies them to maintain system adaptability without requiring expert intervention.

Inventive Principle:

Principle #25Self-service

3Manufacturing precision

If deep knowledge of logical reasoning engines is required for system construction, then accurate logical representation is achieved, but expertise costs increase

Engineering Contradiction:

Improvelogical representation accuracyVSAvoidexpertise requirement

Core Design Contradiction:

Manufacturing precisionVSDevice complexity

Solution Approach 1:

The patent introduces a logical transformation protocol as an intermediary layer between raw input information and final logical formulas. This mediator automatically handles the complex transformation process, shielding users from the complexity of logical reasoning engine details while maintaining accurate representations.

Inventive Principle:

Principle #24Intermediary (Mediator)

Solution Approach 2:

The system replaces complex manual expertise with automated computational mechanisms. The planning means and transforming means use algorithmic processes to generate accurate logical formulas, substituting human expertise with machines that can handle complex logical transformations without requiring deep knowledge.

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

Data Source

PatentUS20250363395A1Logical formula generation apparatus, logical formula generation method, and program

Publication Date: 2025.11.27 NEC CORP

AI summary

A logical formula generation apparatus of the present invention includes: a planning means for generating a logical transformation protocol for transforming background knowledge information and input information into logical formulas based on the background knowledge information, the input information, a reasoning schema and a conceptual schema, the background knowledge information representing a reasoning rule, the input information being subjected to a reasoning process by the reasoning rule, the reasoning schema representing a reasoning mode in the reasoning process, the conceptual schema representing a concept handled in the reasoning process; and a transforming means for transforming the background knowledge information and the input information into logical formulas based on the generated logical transformation protocol.