Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technology for classical higher-order logic. Thanks to its expressivity this logic can adopt the status of a uniform \textit{lingua franca} allowing the encoding of both formalized arguments (their deep logical structure) and dialectical interactions (their attack and support relations). We illustrate this by analyzing an excerpt from an argumentative debate on climate engineering. Another, novel contribution concerns the definition of abstract, language-theoretical foundations for the characterization and assessment of shallow semantical embeddings (SSEs) of non-classical logics in classical higher-order logic, which constitute a pillar stone of our approach. The novel perspective we draw enables more concise and more elegant characterizations of semantical embeddings of logics and logic combinations, which is demonstrated with several examples.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Defining a Lingua Franca to Open the Black Box of a Naïve Bayes Recommender
Many AI systems have a black box nature that makes it difficult to understand how they make their recommendations. This can be unsettling, as the designer cannot be certain how the system will respond to novelty. To pene…
Deterministic Execution of ROS 2 Applications via Lingua Franca
The Robot Operating System 2 (ROS 2) is a widely used middleware for robotic systems, characterized by a publish-subscribe (pub-sub) communication mechanism in which computation is structured as callbacks dispatched by R…
Corpus Query Lingua Franca (CQLF)
The present paper describes Corpus Query Lingua Franca (ISO CQLF), a specification designed at ISO Technical Committee 37 Subcommittee 4 {``}Language resource management{''} for the purpose of facilitating the comparison…
ManagementALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web
Recent developments in support for constructing knowledge graphs have led to a rapid rise in their creation both on the Web and within organisations. Added to existing sources of data, including relational databases, API…
Information RetrievalKnowledge GraphsRetrievalConceptual Spaces for Cognitive Architectures: A Lingua Franca for Different Levels of Representation
During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [Laird (2012)]…