論文の概要: Proceedings Modalities in substructural logics: Applications at the
interfaces of logic, language and computation
- arxiv url: http://arxiv.org/abs/2308.03679v1
- Date: Tue, 1 Aug 2023 22:40:19 GMT
- ステータス: 処理完了
- システム内更新日: 2023-08-14 00:49:48.962578
- Title: Proceedings Modalities in substructural logics: Applications at the
interfaces of logic, language and computation
- Title（参考訳）: サブストラクショナル論理における手続き様相:論理・言語・計算のインタフェースにおける応用
- Authors: Michael Moortgat (Utrecht University), Mehrnoosh Sadrzadeh (UCL)
- Abstract要約: ワークショップの焦点は、ESSLLIコミュニティ、特に自然言語の構文と意味論と推論のダイナミクスに対する論理的アプローチへの関心分野のアプリケーションに焦点を当てている。
ワークショップは、Horizon 2020 MSCA-RiseプロジェクトMOSAICの支援によって開催される。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: By calling into question the implicit structural rules that are taken for
granted in classical logic, substructural logics have brought to the fore new
forms of reasoning with applications in many interdisciplinary areas of
interest. Modalities, in the substructural setting, provide the tools to
control and finetune the logical resource management. The focus of the workshop
is on applications in the areas of interest to the ESSLLI community, in
particular logical approaches to natural language syntax and semantics and the
dynamics of reasoning. The workshop is held with the support of the Horizon
2020 MSCA-Rise project MOSAIC .
- Abstract（参考訳）: 古典論理学において認められる暗黙的な構造的規則に疑問を投げかけることによって、サブストラクショナル論理は、多くの学際的領域で応用される新しい推論の形式をもたらした。
モダリティは、サブストラクショナル設定において、論理リソース管理を制御および微調整するツールを提供する。
ワークショップの焦点は、ESSLLIコミュニティ、特に自然言語の構文と意味論と推論のダイナミクスに対する論理的アプローチへの関心分野のアプリケーションに焦点を当てている。
ワークショップは、Horizon 2020 MSCA-RiseプロジェクトMOSAICの支援により開催される。
関連論文リスト
- Logic Agent: Enhancing Validity with Logic Rule Invocation [24.815341366820753]
Chain-of-Thoughtプロンプトは、推論タスク中に言語モデルの推論能力を増強するための重要なテクニックとして現れている。
本稿では,大規模言語モデルにおける推論プロセスの有効性向上を目的としたエージェントベースのフレームワークであるLogic Agent(LA)を紹介する。
論文 参考訳（メタデータ） (2024-04-28T10:02:28Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - A Principled Framework for Knowledge-enhanced Large Language Model [58.1536118111993]
大規模言語モデル(LLM)は汎用性があるが、深い信頼性のある推論を必要とするタスクに悩まされることが多い。
本稿では、知識を効果的に固定し、閉ループ推論プロセスを用いるLLMを作成するための厳密な設計のフレームワークを提案する。
論文 参考訳（メタデータ） (2023-11-18T18:10:02Z) - LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and
Reasoning [73.98142349171552]
LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。
ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。
これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
論文 参考訳（メタデータ） (2023-09-24T05:43:19Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Morpho-logic from a Topos Perspective: Application to symbolic AI [2.781492199939609]
モーダル論理は記号的人工知能(AI)における多くの推論作業に有用であることが証明された
本稿では, 数学的形態学とモーダル論理の関連性をさらに発展させ, 一般化することを提案する。
モーダル論理は, 具体的かつ効率的な演算子を定義し, 新たな知識の修正, 統合, 誘拐, あるいは空間的推論にも適していることを示す。
論文 参考訳（メタデータ） (2023-03-08T21:24:25Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Modeling and Automating Public Announcement Logic with Relativized
Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。
これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文 参考訳（メタデータ） (2021-11-02T15:14:52Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Proceedings of the Sixteenth Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice [0.0]
推論タスクにおける設計、実装、およびそれらの使用は、過去20年にわたってかなりの研究の焦点となっている。
このワークショップは、設計者、実装者、実践者を集めて、論理フレームワークの構造と実用性に影響を及ぼす様々な側面について議論する。
論文 参考訳（メタデータ） (2021-07-14T05:19:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。