JPWO2024009472A1 - - Google Patents
Info
- Publication number
- JPWO2024009472A1 JPWO2024009472A1 JP2024531858A JP2024531858A JPWO2024009472A1 JP WO2024009472 A1 JPWO2024009472 A1 JP WO2024009472A1 JP 2024531858 A JP2024531858 A JP 2024531858A JP 2024531858 A JP2024531858 A JP 2024531858A JP WO2024009472 A1 JPWO2024009472 A1 JP WO2024009472A1
- Authority
- JP
- Japan
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Physics & Mathematics (AREA)
- Computational Linguistics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Artificial Intelligence (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| PCT/JP2022/027017 WO2024009472A1 (ja) | 2022-07-07 | 2022-07-07 | 論理式生成装置、論理式生成方法、プログラム |
Publications (3)
| Publication Number | Publication Date |
|---|---|
| JPWO2024009472A1 true JPWO2024009472A1 (https=) | 2024-01-11 |
| JPWO2024009472A5 JPWO2024009472A5 (https=) | 2025-03-07 |
| JP7790572B2 JP7790572B2 (ja) | 2025-12-23 |
Family
ID=89453103
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2024531858A Active JP7790572B2 (ja) | 2022-07-07 | 2022-07-07 | 論理式生成装置、論理式生成方法、プログラム |
Country Status (3)
| Country | Link |
|---|---|
| US (1) | US20250363395A1 (https=) |
| JP (1) | JP7790572B2 (https=) |
| WO (1) | WO2024009472A1 (https=) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05241837A (ja) * | 1992-02-28 | 1993-09-21 | Toshiba Corp | 規則集合生成装置 |
| JPH09138749A (ja) * | 1995-11-14 | 1997-05-27 | Nippon Telegr & Teleph Corp <Ntt> | 様相論理定理証明方法 |
| WO2021084733A1 (ja) * | 2019-11-01 | 2021-05-06 | 日本電気株式会社 | 情報処理装置、情報処理方法及びコンピュータ読み取り可能な記録媒体 |
-
2022
- 2022-07-07 JP JP2024531858A patent/JP7790572B2/ja active Active
- 2022-07-07 US US18/873,355 patent/US20250363395A1/en active Pending
- 2022-07-07 WO PCT/JP2022/027017 patent/WO2024009472A1/ja not_active Ceased
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05241837A (ja) * | 1992-02-28 | 1993-09-21 | Toshiba Corp | 規則集合生成装置 |
| JPH09138749A (ja) * | 1995-11-14 | 1997-05-27 | Nippon Telegr & Teleph Corp <Ntt> | 様相論理定理証明方法 |
| WO2021084733A1 (ja) * | 2019-11-01 | 2021-05-06 | 日本電気株式会社 | 情報処理装置、情報処理方法及びコンピュータ読み取り可能な記録媒体 |
Also Published As
| Publication number | Publication date |
|---|---|
| US20250363395A1 (en) | 2025-11-27 |
| WO2024009472A1 (ja) | 2024-01-11 |
| JP7790572B2 (ja) | 2025-12-23 |
Similar Documents
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20241226 |
|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20241226 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20250902 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20251016 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20251111 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20251124 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 7790572 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |