References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Full Text
See detailTheories of Joint Ownership in Talmudic Logic (Hebrew)
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL

Book published by Collge Publications (2019)

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components ... [more ▼]

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the basic principles are not explicitly formulated, which makes it difficult to formalize and make available to the modern student of Logic. This project on Talmudic Logic, aims to present logical analysis of Talmudic reasoning using modern logical tools. We investigate principles of Talmudic Logic and publish a series of books, one book or more for each principle. http://www.collegepublications.co.uk/stl/ The series begins with the systematic analysis of Talmudic inference rules. The first book shows that we can present Talmudic reasoning intuitions as a systematic logical system basic to modern non-deductive reasoning, such as Argumentum A Fortiori, Abduction and Analogy. The second book offers a systematic common sense method for intuitively defining sets and claims that this method adequately models the Talmudic use of the rules Klal uPrat. These books also criticize modern Talmudic research methodology. Later books deal with additional topics like Deontic logic, and Temporal logic, Agency and processes in the Talmud and more. The aims of the project are two fold: 1. To import into the Talmudic study modern logical methods with a view to help understand complicated Talmudic passages, which otherwise cannot be addressed. 2. To export from the Talmud new logical principles which are innovative and useful to modern contemporary logic. [less ▲]

Detailed reference viewed: 11 (1 UL)
Full Text
Peer Reviewed
See detailArgumentation as information input
Gabbay, Dov M. UL; Gabbay, Michael

in Argumentation-based Proofs of Endearment (2019)

Given a network (S,R) , with R ⊆ S2, we view the nodes of S as containing information and view xRy as x transmitting information to y. We argue that such networks provide a more general account of attack ... [more ▼]

Given a network (S,R) , with R ⊆ S2, we view the nodes of S as containing information and view xRy as x transmitting information to y. We argue that such networks provide a more general account of attack and defense and general arguments exchange on issues between participants in Facebook and Twitter, as well as being able to simulate the traditional Dung approach. We define a general semantics for such networks. [less ▲]

Detailed reference viewed: 8 (0 UL)
Full Text
Peer Reviewed
See detailThe Talmudic Logic Project, Ongoing Since 2008
Gabbay, Dov M. UL; Schild, Uri; David, Esther

in Logica Universalis (2019), 13(4), 425--442

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components ... [more ▼]

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the basic principles are not explicitly formulated, which makes it difficult to formalize and make available to the modern student of Logic. This project on Talmudic Logic, aims to present logical analysis of Talmudic reasoning using modern logical tools. We investigate principles of Talmudic Logic and publish a series of books, one book or more for each principle. http://www.collegepublications.co.uk/stl/ The series begins with the systematic analysis of Talmudic inference rules. The first book shows that we can present Talmudic reasoning intuitions as a systematic logical system basic to modern non-deductive reasoning, such as Argumentum A Fortiori, Abduction and Analogy. The second book offers a systematic common sense method for intuitively defining sets and claims that this method adequately models the Talmudic use of the rules Klal uPrat. These books also criticize modern Talmudic research methodology. Later books deal with additional topics like Deontic logic, and Temporal logic, Agency and processes in the Talmud and more. The aims of the project are two fold: 1. To import into the Talmudic study modern logical methods with a view to help understand complicated Talmudic passages, which otherwise cannot be addressed. 2. To export from the Talmud new logical principles which are innovative and useful to modern contemporary logic. [less ▲]

Detailed reference viewed: 37 (0 UL)
Full Text
Peer Reviewed
See detailMachine Argumentation. Can We Replace Taxi Drivers by Robots?
Gabbay, Dov M. UL; Cramer, Marcos; Dauphin, Jérémie UL et al

in Natural Argument, A tribute to John Woods (2019)

We need ethical non-monotonic action logics to control machines which interact heavily with humans. Such logics face special problems and require features which we need to recognise and to address. We ... [more ▼]

We need ethical non-monotonic action logics to control machines which interact heavily with humans. Such logics face special problems and require features which we need to recognise and to address. We believe that injecting argumentation methods into action pre-conditions is possibly the way to proceed to model what is needed. To get an idea of what is needed we must investigate a typical problem of replacing a human with a robot operating in a highly interactive environment. This paper focuses on replacing a human taxi driver by a robot. Robot driven cars are already under production and so there is an urgent need for modelling the kind of Artificial Intelligence/Logic/Norms/Ethics which is to be involved and installed in the mind of the Robot. This is research in progress. [less ▲]

Detailed reference viewed: 72 (2 UL)
See detailFeasible Deduction for Realistic Agents
D'Agostino, Marcello; Gabbay, Dov M. UL

Book published by College Publications (2017)

Detailed reference viewed: 37 (2 UL)
Full Text
Peer Reviewed
See detailHEAL2100: Human Effective Argumentation and Logic for the 21st Century. The next Step in the Evolution of Logic
Gabbay, Dov M. UL; Rivlin, Lydia

in IfCoLog Journal of Logics and Their Applications (2017)

This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since ... [more ▼]

This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since Aristotle considered the fallacies as wrong arguments which look correct but are not. They classified them into groups, discussed them and left them by the sidelines of logic as failures. Modern society, with the rise of the internet, Twitter, Facebook and YouTube showed the fallacies as most used and most effective in argumentation and debate. If this is the way humans reason and think then we need to develop the logical theory of the the use of the fallacies and legitimise them as a significant component of modern reasoning. This manifesto outlines our approach to the new logic of the 21st century which allows for the systematic use of the fallacies in argumentation and debate as practiced by people in the mass media. [less ▲]

Detailed reference viewed: 102 (1 UL)
Full Text
Peer Reviewed
See detailReasoning under the Influence of Universal Distortion. Sex Offenders Case Study
Gabbay, Dov M. UL; Rozenberg, Gadi; Rivlin, Lydia

in IfCoLog Journal of Logics and Their Applications (2017)

We define and study the phenomenon of a universal distortion into a reasoning system or an argumentation network. Such distortions can happen for various reasons, for instance under the influence of ... [more ▼]

We define and study the phenomenon of a universal distortion into a reasoning system or an argumentation network. Such distortions can happen for various reasons, for instance under the influence of alcohol or a fundamentalist religion, or as the result of a behavioural disorder such as paedophilia. We define the notion theoretically in the framework of abstract argumentation and present an actual case study of a sex offender. We then present a formal logical model. [less ▲]

Detailed reference viewed: 58 (2 UL)
Full Text
Peer Reviewed
See detailLogical Analysis of Cyber Vulnerability and Protection
David, Esther; Gabbay, Dov M. UL; Leshem, Guy et al

in IfCoLog Journal of Logics and Their Applications (2017)

The growth in IoT will far exceed that of other connected devices. In contrast to the rapid assimilation of the IoT devices and interfaces, the technology that ensures these systems are safe and secure is ... [more ▼]

The growth in IoT will far exceed that of other connected devices. In contrast to the rapid assimilation of the IoT devices and interfaces, the technology that ensures these systems are safe and secure is left behind. The IoT safety, security and privacy is composed of several key aspects. Attention has already been given to vulnerabilities associated with networked systems as authentication and encryption. However there exist more vulnerabilities issues in IoT systems for which we aim to develop a detection methodology and propose possible solutions. Specifically, here we propose techniques for security verification of an IoT system that mainly involves inconsistency and vulnerability. The proposed methods are logic based techniques that were developed especially for the new challenges that the IoT environment is facing. [less ▲]

Detailed reference viewed: 55 (3 UL)
Full Text
Peer Reviewed
See detailReasoning Schemes, Expert Opinions and Critical Questions. Sex Offenders Case Study
Gabbay, Dov M. UL; Rozenberg, Gadi

in IfCoLog Journal of Logics and Their Applications (2017)

This paper examines in detail the argumentation features in the domain of sex offender with some applications to the scheme of “Argument from Expert Opinion". We build a model for reasoning schemes ... [more ▼]

This paper examines in detail the argumentation features in the domain of sex offender with some applications to the scheme of “Argument from Expert Opinion". We build a model for reasoning schemes, critical questions and expert opinion on the question of “the degree of risk of a sex offender". We discover that in order to properly model expert practice in this area we need to use numerical argumentation as well as the new notion of “Attack as Information Input". The model is generic and we believe is not restricted to the sex offence area of expertise. Our paper also offers a more detailed example for Walton’s argumentation scheme of Expert Opinion as well as a bridge between the argumentation community and the community dealing with sex offenders. We offer an introduction to the student on the subject of determining the degree of risk of sex offenders. We also look at standard international tools for determining the risk of sex offenders and see how the argumentation community can integrate these tools. [less ▲]

Detailed reference viewed: 81 (2 UL)
Full Text
Peer Reviewed
See detailPreface
Baaz, Matthias; Ciabattoni, Agata; Gabbay, Dov M. UL et al

in Journal of Logic and Computation (2017)

Detailed reference viewed: 38 (7 UL)
See detailA New Perspective on Nonmonotonic Logics
Gabbay, Dov M. UL; Schlechta, Karl

Book published by Springer (2016)

Detailed reference viewed: 102 (0 UL)
Full Text
Peer Reviewed
See detailLogical foundations for bipolar and tripolar argumentation networks: preliminary results
Gabbay, Dov M. UL

in J. Log. Comput. (2016), 26(1), 247--292

Detailed reference viewed: 77 (1 UL)
Full Text
Peer Reviewed
See detailDegrees of "in", "out" and "undecided" in Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016. (2016)

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailThe attack as intuitionistic negation
Gabbay, Dov M. UL; Gabbay, Michael

in Logic Journal of the IGPL (2016), 24(5), 807--837

Detailed reference viewed: 123 (0 UL)
Full Text
Peer Reviewed
See detailTheory of Semi-Instantiation in Abstract Argumentation
Gabbay, Dov M. UL

in Logica Universalis (2016), 10(4), 431--516

Detailed reference viewed: 96 (0 UL)
Full Text
Peer Reviewed
See detailPresent and Future of Formal Argumentation
van der Torre, Leon UL; Giacomin, Massimiliano; Liao, Beishui et al

in Dagstuhl Reports (2016)

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the ... [more ▼]

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future. A critical survey of the field has been carried out through individual presentations and collective discussions. Moreover, working group activity lead to identify several open problems in argumentation. [less ▲]

Detailed reference viewed: 109 (11 UL)
Full Text
Peer Reviewed
See detailTheory of disjunctive attacks, Part I
Gabbay, Dov M. UL; Gabbay, Michael

in Logic Journal of the IGPL (2016), 24(2), 186--218

Detailed reference viewed: 108 (0 UL)
Full Text
Peer Reviewed
See detailIntroduction to the special issue on Loops in Argumentation
Baroni, Pietro; Gabbay, Dov M. UL; Giacomin, Massimiliano

in J. Log. Comput. (2016), 26(4), 1051--1053

Detailed reference viewed: 88 (0 UL)
Full Text
Peer Reviewed
See detailIdentity Merging and Identity Revision in Talmudic Logic: An Outline Paper
Abraham, Michael; Belfer, Israel; Schild, Uri J. et al

in Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday (2016)

Detailed reference viewed: 30 (0 UL)
Full Text
Peer Reviewed
See detailQuantum States and Disjunctive Attacks in Talmudic Logic
Abraham, Michael; Belfer, Israel; Schild, Uri et al

in Journal of Logics (2016)

Detailed reference viewed: 45 (0 UL)