論文の概要: Proceedings of the Sixteenth Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
- arxiv url: http://arxiv.org/abs/2107.07376v1
- Date: Wed, 14 Jul 2021 05:19:09 GMT
- ステータス: 処理完了
- システム内更新日: 2021-07-17 06:13:53.709904
- Title: Proceedings of the Sixteenth Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
- Title（参考訳）: 第16回論理フレームワークとメタ言語に関するワークショップ:理論と実践
- Authors: Elaine Pimentel (UFRN), Enrico Tassi (Inria)
- Abstract要約: 推論タスクにおける設計、実装、およびそれらの使用は、過去20年にわたってかなりの研究の焦点となっている。
このワークショップは、設計者、実装者、実践者を集めて、論理フレームワークの構造と実用性に影響を及ぼす様々な側面について議論する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of deductive
systems of interest in logic and computer science. Their design, implementation
and their use in reasoning tasks, ranging from the correctness of software to
the properties of formal systems, have been the focus of considerable research
over the last two decades. This workshop brings together designers,
implementors and practitioners to discuss various aspects impinging on the
structure and utility of logical frameworks, including the treatment of
variable binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.
- Abstract（参考訳）: 論理フレームワークとメタ言語は、論理学や計算機科学に興味のある様々な演法体系を表現、実装、推論するための共通の基盤を形成する。
ソフトウェアの設計、実装、推論タスクにおけるそれらの使用は、ソフトウェアの正しさから形式システムの特性まで、過去20年にわたってかなりの研究の焦点となっている。
このワークショップは、設計者、実装者、実践者を集めて、可変バインディング、帰納的および共帰的推論技術、推論プロセスの表現力と明快さなど、論理的フレームワークの構造と有用性に影響を及ぼす様々な側面について議論する。
関連論文リスト
- A process algebraic framework for multi-agent dynamic epistemic systems [55.2480439325792]
本稿では,マルチエージェント,知識ベース,動的システムのモデリングと解析のための統合フレームワークを提案する。
モデリング側では,このようなフレームワークを実用的な目的に使いやすくするプロセス代数的,エージェント指向の仕様言語を提案する。
論文 参考訳（メタデータ） (2024-07-24T08:35:50Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - Proceedings Modalities in substructural logics: Applications at the
interfaces of logic, language and computation [0.0]
ワークショップの焦点は、ESSLLIコミュニティ、特に自然言語の構文と意味論と推論のダイナミクスに対する論理的アプローチへの関心分野のアプリケーションに焦点を当てている。
ワークショップは、Horizon 2020 MSCA-RiseプロジェクトMOSAICの支援によって開催される。
論文 参考訳（メタデータ） (2023-08-01T22:40:19Z) - Query Structure Modeling for Inductive Logical Reasoning Over Knowledge
Graphs [67.043747188954]
KGに対する帰納的論理的推論のための構造モデル付きテキスト符号化フレームワークを提案する。
線形化されたクエリ構造とエンティティを、事前訓練された言語モデルを使ってエンコードして、回答を見つける。
2つの帰納的論理推論データセットと3つの帰納的推論データセットについて実験を行った。
論文 参考訳（メタデータ） (2023-05-23T01:25:29Z) - Cognitive Architecture for Decision-Making Based on Brain Principles
Programming (in Russian) [0.34410212782758043]
脳活動の5つの原則に基づいて、幅広い問題を解決することを意図した認知アーキテクチャについて述べる。
提案したアーキテクチャを記述し,本アーキテクチャにおけるこれらのアプリケーション実行の可能な例を示す。
論文 参考訳（メタデータ） (2023-02-18T16:34:05Z) - Cognitive Architecture for Decision-Making Based on Brain Principles
Programming [0.3867363075280543]
脳活動の5つの原則に基づいて、幅広い問題を解決することを意図した認知アーキテクチャについて述べる。
提案したアーキテクチャを記述し,本アーキテクチャにおけるこれらのアプリケーション実行の可能な例を示す。
論文 参考訳（メタデータ） (2022-04-17T04:25:20Z) - Active Inference in Robotics and Artificial Agents: Survey and
Challenges [51.29077770446286]
我々は、状態推定、制御、計画、学習のためのアクティブ推論の最先端理論と実装についてレビューする。
本稿では、適応性、一般化性、堅牢性の観点から、その可能性を示す関連する実験を紹介する。
論文 参考訳（メタデータ） (2021-12-03T12:10:26Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - The General Theory of General Intelligence: A Pragmatic Patternist
Perspective [0.0]
レビューでは、基礎となる哲学、インテリジェンスの概念の形式化、およびAGIシステムのためのハイレベルアーキテクチャを取り上げている。
人間に似た認知アーキテクチャの特質は、これらの一般的な原則の表象として提示される。
OpenCog Hyperonのようなフレームワークにおける高度なAGIの実践的な実装の教訓を簡潔に検討する。
論文 参考訳（メタデータ） (2021-03-28T10:11:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。