A logic for reasoning about ambiguity
Standard models of multi-agent modal logic do not capture the fact that information is often \emph{ambiguous}, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different semantics that capture different assumptions about the agents' beliefs regarding whether or not there is ambiguity. We examine the expressive power of logics of ambiguity compared to logics that cannot model ambiguity, with respect to the different semantics that we propose.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Reasoning about Ambiguous Definite Descriptions
Natural language reasoning plays an increasingly important role in improving language models' ability to solve complex language understanding tasks. An interesting use case for reasoning is the resolution of context-depe…
Ambiguity Diagnosis for Terms in Digital Humanities
Among all researches dedicating to terminology and word sense disambiguation, little attention has been devoted to the ambiguity of term occurrences. If a lexical unit is indeed a term of the domain, it is not true, even…
AllWord Sense DisambiguationDiversity is Not Ambiguity: Toward Accurate and Efficient Ambiguity Detection for Open-Domain QA
How can question answering (QA) systems determine whether a query is ambiguous? Ambiguity detection is essential in open-domain QA, as misclassification leads to answering the wrong interpretation or unnecessary clarific…
Question AnsweringSyntactico-Semantic Reasoning using PCFG, MEBN & PP Attachment Ambiguity
Probabilistic context free grammars (PCFG) have been the core of the probabilistic reasoning based parsers for several years especially in the context of the NLP. Multi entity bayesian networks (MEBN) a First Order Logic…
LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
Although LLMs exhibit strong reasoning capabilities, existing training methods largely depend on outcome-based feedback, which can produce correct answers with flawed reasoning. Prior work introduces supervision on inter…
Natural Language InferenceLogical Reasoning