Filters








880 Hits in 4.8 sec

Abduction and Dialogical Proof in Argumentation and Logic Programming [article]

Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre
2014 arXiv   pre-print
abductive logic programs.  ...  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.  ...  In sum, our contribution is a model of abduction in argumentation with dialogical proof theories for the main decision problems, which can be seen as an abstraction of abduction in logic programming.  ... 
arXiv:1407.3896v1 fatcat:ahp4r7pofjdrzjdu3ci3t7isce

Argumentation in the Semantic Web

Paolo Torroni, Marco Gavanelli, Federico Chesani
2007 IEEE Intelligent Systems  
In this article, we define ArgSCIFF, a prototype operational argumentation framework to support dialogic argument exchange between Semantic Web services.  ...  ArgSCIFF is based on the SCIFF abductivelogic programming (ALP) framework. 1 (SCIFF is an abbreviation for "IFF with constraints for agent societies," referring to the "if and only if" proof procedure  ...  This work has been partially supported by national projects PRIN-2005-011293, PRIN-2005-015491, and TOCAI.it ("Knowledge-Oriented Technologies for Enterprise Aggregation in the Internet").  ... 
doi:10.1109/mis.2007.100 fatcat:hhjebb3ihzfjvomp6f7trrkzai

Mapping deontic operators to abductive expectations

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2006 Computational and mathematical organization theory  
The language is equipped with a declarative semantics based on abductive logic programming, and an operational semantics consisting of a (sound and complete) abductive proof procedure.  ...  In the SOCS framework, the specification is used directly as a program for the verification procedure.  ...  e la negoziazione automatica dei diritti sulle opere dell'ingegno digitali: aspetti giuridici e informatici and Sviluppo e verifica di sistemi multiagente basati sulla logica.  ... 
doi:10.1007/s10588-006-9544-8 fatcat:jpixpnguzzhz7kvt7thfo62lke

Machine Reasoning Explainability [article]

Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan
2020 arXiv   pre-print
It is especially potent in modern MR branches, such as argumentation, constraint and logic programming, planning.  ...  We hereby aim to provide a selective overview of MR explainability techniques and studies in hopes that insights from this long track of research will complement well the current XAI landscape.  ...  Abductive logic programs are used for knowledge representation and abductive proof procedures for automated reasoning.  ... 
arXiv:2009.00418v2 fatcat:wvx77eo73jeb7eplcpz42lw3zq

Page 7285 of Mathematical Reviews Vol. , Issue 2003j [page]

2003 Mathematical Reviews  
practical argument and inference.  ...  After an introductory chapter, the role of standard positions of logic, from which present-day theories of argument and inference are in the process of retreat, is surveyed in two chapters.  ... 

Modeling and Verification of Business Processes and Choreographies in ALP

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 Festschrifts: Birthday, In Memory of ...  
This paper is complementary to [12] , where they focus on the learning and property verification issues in relation with the work carried out within and following SOCS.  ...  Acknowledgements Much of the work presented here has been done in tight cooperation with the AI group of the University of Ferrara.  ...  Our work resulted in the development of an operational argumentation framework, called ArgSCIFF, to support dialogic argument exchange between Semantic Web Services.  ... 
dblp:conf/birthday/ChesaniMMT08 fatcat:duf4zmffrvaenc7g6wk3tqccby

Expressing and Verifying Business Contracts with Abductive Logic Programming

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008 International Journal of Electronic Commerce  
ScIFF is a declarative language, based on abductive logic programming, that accommodates forward rules, predicate definitions, and constraints over finite domain variables.  ...  A variation of the ScIFF proof procedure (g-ScIFF) can be used for static verification of contract properties. the use of ScIFF for business contract specification and verification is demonstrated in a  ...  His research interests are abductive logic programming, constraint logic programming, multi-agent systems, and normative systems.  ... 
doi:10.2753/jec1086-4415120401 fatcat:a3z4aggtxjfzxgcx24ceoppu2u

Inductive logic program synthesis with DIALOGS [chapter]

Pierre Flener
1997 Lecture Notes in Computer Science  
dialogs (Dialogue-based Inductive and Abductive LOGic program Synthesizer) is a schema-guided synthesizer of recursive logic programs; it takes the initiative and queries a (possibly computationally naive  ...  So, in summary, I aim at an interactive, inductive/abductive, schema-guided synthesizer of recursive programs, that takes the initiative and minimally queries a (possibly computationally naive) speci er  ...  Esra Erdem, Halime B uy uky ld z, and Serap Y lmaz provided useful feedback on an earlier version of this paper, and contributed to the implementation of a rst prototype of the dialogs system, as well  ... 
doi:10.1007/3-540-63494-0_55 fatcat:ysziyfnrxjda3pyzlf5jrjez7q

Approaching Proof in the Classroom Through the Logic of Inquiry [chapter]

Ferdinando Arzarello, Carlotta Soldano
2019 Lecture Notes in Computer Science  
The paper analyses a basic gap, highlighted by most of the literature concerning the teaching of proofs, namely, the distance between students' argumentative and proving processes.  ...  The analysis is developed from both epistemological and cognitive standpoints: it critiques the Toulmin model of reasoning and introduces a new model, the Logic of Inquiry of Hintikka, more suitable for  ...  Acknowledgements We wish to thank the teacher Gaetano Di Caprio and the professor Cristina Sabena for their fruitful collaboration in the design of the 'isosceles-triangle' activity.  ... 
doi:10.1007/978-3-030-15636-7_10 fatcat:ofyktvvguzgu5ankrkbtzagi4u

Explaining AI as an Exploratory Process: The Peircean Abduction Model [article]

Robert R. Hoffman, William J. Clancey, Shane T. Mueller
2020 arXiv   pre-print
It might be worthwhile to pursue this, to develop intelligent systems that allow for the observation and analysis of abductive reasoning and the assessment of abductive reasoning as a learnable skill.  ...  Abductive inference has been defined in many ways. For example, it has been defined as the achievement of insight.  ...  The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of AFRL  ... 
arXiv:2009.14795v2 fatcat:gngysweurvhh5ihipwtqy3ykj4

Norms That Regulate the Theorem Construction Process in an Inquiry Classroom of 3D Geometry: Teacher's Management to Promote Them

Oscar Molina, Vicenç Font, Luis Pino-Fan
2021 Mathematics  
norms concerning issues about the legitimacy of different types of arguments (e.g., analogical and abductive) in the theorem construction process.  ...  The course was part of a preservice mathematics teacher program, and it was characterized by promoting inquiry and argumentation.  ...  We consider proof as a type of argument composed of one or several deductive arguments logically connected and whose warrants are objects of a theoretical system [16] .  ... 
doi:10.3390/math9182296 fatcat:ctkrs63i2bfptk2d4asgs67jvm

An abductive theory of legal issues

Thomas F. Gordon
1991 International Journal of Man-Machine Studies  
A normative theory of legal issues, argument moves and clear cases is presented in which abduction, rather than deduction, is of central importance.  ...  Finally, the theory is compared with Anne Gardner's program for spotting issues in oer and acceptance law school examination questions. 2 Jurisprudential Background Fiedler (1985) presented a vision of  ...  Section 3 discusses abduction, which plays a central role in the theory of issues, argumentation and clear cases which follows, in section 4.  ... 
doi:10.1016/s0020-7373(07)80009-5 fatcat:2xvsljuklve6tijwvdnsxzpsny

Page 884 of Mathematical Reviews Vol. , Issue 84c [page]

1984 Mathematical Reviews  
Lorenzen, which tries to anchor the logical constants in the rules governing their behaviour in argument and debate (“the meaning is the use”).  ...  German constructivism is a philosophical research program searching for a deeper explanation of the foundations and the possibility of application of logic.  ... 

Can K-12 Math Teachers Train Students to Make Valid Logical Reasoning? [chapter]

Hong Liu, Maria Ludu, Douglas Holton
2015 Emerging Technologies for STEAM Education  
Michael Spector at University of North Texas for our casual conversation about logic education and its impact to American math education inspired us to write this book chapter.  ...  logical arguments in mathematics.  ...  between inductive and deductive reasoning; explain and illustrate the importance of generalization in mathematics Course 3 unit 1 Construct simple logical arguments and proofs; determine simple  ... 
doi:10.1007/978-3-319-02573-5_18 fatcat:pdjjyb53vndm7dtmi5nz2rlxta

Generation of Questions Sequences in Intelligent Teaching Systems Based on Algebraic Аpproach

Alexander Zuenko, Alexander Fridman, Boris Kulik
2013 Computer Science and Information Technology  
The paper describes an approach to development of question-and-answer teaching systems based on controlled languages and algebraic models for representation and processing of question-and-answer texts.  ...  Acknowledgements The authors would like to thank three institutions for their assistance in partial funding of this research: the Russian Foundation for Basic Researches (grants 13-07-00318, 12-07-00689  ...  Nanotechnologies and Information Technologies of the Russian Academy of Sciences (project 2.3 within the current Programme of Basic Scientific Researches).  ... 
doi:10.13189/csit.2013.010208 fatcat:ipaa6diptngrhokq5nrrgcbfz4
« Previous Showing results 1 — 15 out of 880 results