A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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
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
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
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
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. ...
This paper is complementary to  , 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
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
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
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
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 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  . ...doi:10.3390/math9182296 fatcat:ctkrs63i2bfptk2d4asgs67jvm
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
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. ...
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
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