Searcharxiv⌕ Search

arXiv subjects

Dov Gabbay

Publications and source records attributed to Dov Gabbay.

At least 19 recordsLinked to original sources
arXiv2023

BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic

As one of the basic tasks in natural language processing (NLP), named entity recognition (NER) is an important basic tool for downstream tasks of NLP, such as information extraction, syntactic analysis, machine translation and so on. The internal operation logic of current name entity recognition model is black-box to the user, so the user has no basis to determine which name entity makes more sense. Therefore, a user-friendly explainable recognition process would be very useful for many people. In this paper, we propose a novel interpretable method, BTPK (Binary Talmudic Public Announcement Logic model), to help users understand the internal recognition logic of the name entity recognition tasks based on Talmudic Public Announcement Logic. BTPK model can also capture the semantic information in the input sentences, that is, the context dependency of the sentence. We observed the public announcement of BTPK presents the inner decision logic of BRNNs, and the explanations obtained from a BTPK model show us how BRNNs essentially handle NER tasks.

cs.CL↗
arXiv2022

Value-based Practical Reasoning: Modal Logic + Argumentation

Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multiple plans that an agent can follow and each plan might promote or demote different values along each action, the agent should be able to resolve the conflicts between them and evaluate which plan he should follow. In this paper, we develop a logic-based framework that combines modal logic and argumentation for value-based practical reasoning with plans. Modal logic is used as a technique to represent and verify whether a plan with its local properties of value promotion or demotion can be followed to achieve an agent's goal. We then propose an argumentation-based approach that allows an agent to reason about his plans in the form of supporting or objecting to a plan using the verification results.

cs.AI↗
arXiv2015

The Attack as Intuitionistic Negation

We translate the argumentation networks ${\cal A}=(S, R)$ into a theory $D$ of intuitionistic logic, retaining $S$ as the domain and using intuitionistic negation to model the attack $R$ in ${\cal A}$: the attack $xRy$ is translated to $x\to\neg y$. The intuitionistic models of $D$ characterise the complete extensions of ${\cal A}$. The reduction of argumentation networks to intuitionistic logic yields, in addition to a representation theorem, some additional benefits: it allows us to give semantics to higher level attacks, where an attack "$xRy$" can itself attack another attack "$uRv$"; one can make higher level meta-statements $W$ on $(S, R)$ and such meta-statements can attack and be attacked in the domain.

cs.LO↗
arXiv2015

The Attack as Strong Negation, Part I

We add strong negation $N$ to classical logic and interpret the attack relation of "$x$ attacks $y$" in argumentation as $(x\to Ny)$. We write a corresponding object level (using $N$ only) classical theory for each argumentation network and show that the classical models of this theory correspond exactly to the complete extensions of the argumentation network. We show by example how this approach simplifies the study of abstract argumentation networks. We compare with other translations of abstract argumentation networks into logic, such as classical predicate logic or modal logics, or logic programming, and we also compare with Abstract Dialectical Frameworks.

cs.LO↗
arXiv2014

Abduction and Dialogical Proof in Argumentation and Logic Programming

We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypothe- ses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.

cs.AI↗
arXiv2014

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

Interpolation is an important property of classical and many non-classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting. The first-order version of equilibrium logic has analogous Interpolation properties whenever the collection of equilibrium models is (first-order) definable. Since this is the case for so-called safe programs and theories, it applies to the usual situations that arise in practical answer set programming.

cs.LO↗
arXiv2012

Equilibria und weiteres Heiteres II

We investigate several technical and conceptual questions. Our main subject is the investigation of independence as a ternary relation in the context of non-monotonic logic. In the context of probability, this investigation was started by W.Spohn et al., and then followed by J.Pearl. We look at products of function sets, and thus continue our own investigation of independence in non-monotonic logic. We show that a finite characterization of this relation in our context is impossible, and indicate how to construct all valid rules.

cs.LO↗
arXiv2010

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting.

cs.LO↗
arXiv2009

Independence - revision and defaults

We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.

math.LO↗
arXiv2009

Size and Logic

We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.

math.LO↗