JP7790572B2 - 論理式生成装置、論理式生成方法、プログラム - Google Patents

論理式生成装置、論理式生成方法、プログラム

Info

Publication number
JP7790572B2
JP7790572B2 JP2024531858A JP2024531858A JP7790572B2 JP 7790572 B2 JP7790572 B2 JP 7790572B2 JP 2024531858 A JP2024531858 A JP 2024531858A JP 2024531858 A JP2024531858 A JP 2024531858A JP 7790572 B2 JP7790572 B2 JP 7790572B2
Authority
JP
Japan
Prior art keywords
inference
logical
information
logical formula
schema
Prior art date
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.)
Active
Application number
JP2024531858A
Other languages
English (en)
Japanese (ja)
Other versions
JPWO2024009472A5 (https=
JPWO2024009472A1 (https=
Inventor
風人 山本
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Publication of JPWO2024009472A1 publication Critical patent/JPWO2024009472A1/ja
Publication of JPWO2024009472A5 publication Critical patent/JPWO2024009472A5/ja
Application granted granted Critical
Publication of JP7790572B2 publication Critical patent/JP7790572B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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)
JP2024531858A 2022-07-07 2022-07-07 論理式生成装置、論理式生成方法、プログラム Active JP7790572B2 (ja)

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 JPWO2024009472A1 (https=) 2024-01-11
JPWO2024009472A5 JPWO2024009472A5 (https=) 2025-03-07
JP7790572B2 true 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 (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2021084733A1 (ja) 2019-11-01 2021-05-06 日本電気株式会社 情報処理装置、情報処理方法及びコンピュータ読み取り可能な記録媒体

Family Cites Families (2)

* Cited by examiner, † Cited by third party
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> 様相論理定理証明方法

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
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
JPWO2024009472A1 (https=) 2024-01-11

Similar Documents

Publication Publication Date Title
Xia et al. Beyond chain-of-thought: A survey of chain-of-x paradigms for llms
Ye et al. Ontology-enhanced prompt-tuning for few-shot learning
JP2022028908A (ja) 多項関係生成モデルのトレーニング方法、装置、電子機器及び媒体
US20240046127A1 (en) Dynamic causal discovery in imitation learning
CN115358231A (zh) 自然语言预训练模型训练方法、装置、设备及存储介质
Cai et al. Improving empathetic dialogue generation by dynamically infusing commonsense knowledge
Gonzales et al. aGrUM: A graphical universal model framework
US11640379B2 (en) Metadata decomposition for graph transformation
Kovalchuk et al. A conceptual approach to complex model management with generalized modelling patterns and evolutionary identification
Ke et al. Curse of attention: A kernel-based perspective for why transformers fail to generalize on time series forecasting and beyond
Härer Conceptual model interpreter for large language models
Bensi et al. On the value of data fusion and model integration for generating real-time risk insights for nuclear power reactors
Nan et al. Stochastic configuration networks with improved supervisory mechanism
JP7790572B2 (ja) 論理式生成装置、論理式生成方法、プログラム
WO2019156131A1 (ja) 情報処理装置、情報処理方法及びコンピュータ読み取り可能な記録媒体
Zhu et al. Recursive filtering for time-varying systems with mixed time-delays subject to stochastic communication protocol and dynamic quantization effects
Petrosanu et al. Implementation solutions for deep learning neural networks targeting various application fields
Day et al. QNET: a quantum-native sequence encoder architecture
Bhattacharjya et al. An Exploratory Study on Chatbots
Bobek et al. Framework for benchmarking rule-based inference engines
JP7485036B2 (ja) 推論装置、推論方法、及びプログラム
JP7810262B2 (ja) 論理推論装置、論理推論方法、プログラム
Huang et al. A model to helping the construction of creative service-based software
Ben Messaoud et al. SemCaDo: a serendipitous strategy for learning causal bayesian networks using ontologies
Li et al. A hint from arithmetic: On systematic generalization of perception, syntax, and semantics

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