JPWO2024009472A5 - - Google Patents

Download PDF

Info

Publication number
JPWO2024009472A5
JPWO2024009472A5 JP2024531858A JP2024531858A JPWO2024009472A5 JP WO2024009472 A5 JPWO2024009472 A5 JP WO2024009472A5 JP 2024531858 A JP2024531858 A JP 2024531858A JP 2024531858 A JP2024531858 A JP 2024531858A JP WO2024009472 A5 JPWO2024009472 A5 JP WO2024009472A5
Authority
JP
Japan
Prior art keywords
inference
logical
background knowledge
input information
converting
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.)
Granted
Application number
JP2024531858A
Other languages
English (en)
Japanese (ja)
Other versions
JPWO2024009472A1 (https=
JP7790572B2 (ja
Filing date
Publication date
Application filed filed Critical
Priority claimed from PCT/JP2022/027017 external-priority patent/WO2024009472A1/ja
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

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 true 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=)

Family Cites Families (3)

* 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> 様相論理定理証明方法
WO2021084733A1 (ja) * 2019-11-01 2021-05-06 日本電気株式会社 情報処理装置、情報処理方法及びコンピュータ読み取り可能な記録媒体

Similar Documents

Publication Publication Date Title
CN107992299B (zh) 神经网络超参数提取转换方法、系统、装置及存储介质
JP2019513276A5 (https=)
CN110889507A (zh) 一种量子程序转有向无环图的方法、装置、存储介质及电子装置
CN116860985A (zh) 一种基于知识图谱的自然语言交互软件框架及其构建方法
JPWO2021251062A5 (https=)
Le et al. Generative software module development for domain-driven design with annotation-based domain specific language
CN102722601A (zh) 数控系统的模型转换形式化语义集成框架的实现方法
JPWO2024009472A5 (https=)
CN1293498C (zh) 模拟方法和模拟程序
JP2020166427A5 (https=)
CN107092515B (zh) 一种基于回答集逻辑程序的lpmln推理方法及系统
JPWO2022244059A5 (https=)
CN112363856A (zh) 一种基于dds实现深度学习框架与应用程序互操作的方法
CN115796284A (zh) 基于tvm编译器的推理方法、装置、存储介质及设备
CN114327916B (zh) 一种资源分配系统的训练方法、装置及设备
JPWO2023127062A5 (https=)
CN118295649A (zh) Rpa流程生成方法、装置、设备、存储介质及产品
JP2010049439A (ja) ソフトウェアモデルを用いたシステム構築方法およびモデリング装置
CN107346470A (zh) 一种面向交通信息服务的智能规划方法
CN111522546A (zh) 一种页面的生成方法、相关装置及前端页面
JPWO2024100890A5 (https=)
CN109725890A (zh) 复杂软件系统Event-B模型到时间自动机网络的转换工具及方法
JPWO2022180729A5 (ja) 推論装置、推論方法、及び、プログラム
Porubän et al. Abstract syntax driven language development: Defining language semantics through aspects
JP5325635B2 (ja) メタデータ自動付与システム及び方法