「cs.LO」カテゴリーアーカイブ

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology

投稿日: 2024年4月19日 作成者: jarxiv

要約 私たちは、知識表現をブートストラップし、関連する状況を分類し、将来の観察に … 続きを読む →

カテゴリー: 68T27, 68T30, 68T37, cs.AI, cs.HC, cs.LO, cs.RO, I.2.10, secondary | Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology はコメントを受け付けていません

Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences

投稿日: 2024年4月17日 作成者: jarxiv

要約 我々は、高レベルのタスク計画と知識のブートストラップをサポートするタスク表 … 続きを読む →

カテゴリー: 05C72, 68Q32, 68T20, 68T27, 68T30, 68T37, cs.AI, cs.HC, cs.LO, cs.RO, I.2.4 | Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences はコメントを受け付けていません

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies

投稿日: 2024年4月16日 作成者: jarxiv

要約 この論文は、オブジェクト指向プログラミング (OOP) パラダイム内のオン … 続きを読む →

カテゴリー: 68N19, 68T27, 68T40, cs.AI, cs.LO, cs.RO, cs.SE, E.2 | OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies はコメントを受け付けていません

Monitoring Second-Order Hyperproperties

投稿日: 2024年4月16日 作成者: jarxiv

要約 ハイパープロパティは、システムの複数の実行間の関係を表します。 これは、知 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Monitoring Second-Order Hyperproperties はコメントを受け付けていません

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

投稿日: 2024年4月16日 作成者: jarxiv

要約 ALC を拡張した記述ロジックにおける充足可能性チェックとクエリの決定可能 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features はコメントを受け付けていません

Automated Verification of Equivalence Properties in Advanced Logic Programs — Bachelor Thesis

投稿日: 2024年4月15日 作成者: jarxiv

要約 アンサーセット プログラミングを使用する産業用アプリケーションの増加に伴い … 続きを読む →

カテゴリー: cs.AI, cs.LO | Automated Verification of Equivalence Properties in Advanced Logic Programs — Bachelor Thesis はコメントを受け付けていません

Improving the Diproche CNL through Autoformalization via Large Language Models

投稿日: 2024年4月11日 作成者: jarxiv

要約 Diproche システムは、ドイツ語の管理された断片で書かれたテキストの … 続きを読む →

カテゴリー: cs.CL, cs.LO | Improving the Diproche CNL through Autoformalization via Large Language Models はコメントを受け付けていません

Teaching Higher-Order Logic Using Isabelle

投稿日: 2024年4月9日 作成者: jarxiv

要約 私たちは、基本的なフレームワーク Isabelle/Pure に直接構築さ … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.3 | Teaching Higher-Order Logic Using Isabelle はコメントを受け付けていません

Large language models as oracles for instantiating ontologies with domain-specific knowledge

投稿日: 2024年4月8日 作成者: jarxiv

要約 背景。 インテリジェント システムにセマンティック データを提供するには、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.IR, cs.LG, cs.LO | Large language models as oracles for instantiating ontologies with domain-specific knowledge はコメントを受け付けていません

Permissible Knowledge Pooling

投稿日: 2024年4月5日 作成者: jarxiv

要約 情報プーリングは、多様な情報共有パターンを特徴とする分散システムにおいて、 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Permissible Knowledge Pooling はコメントを受け付けていません