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 application/pdf.
Filters
Abduction and Dialogical Proof in Argumentation and Logic Programming
[article]
2014
arXiv
pre-print
Preserved Fulltext
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
2007
IEEE Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Computational and mathematical organization theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
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 application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2009.00418v1 fatcat:bqikmdnmmjclbd6h336ufpnf3q
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2008
Festschrifts: Birthday, In Memory of ...
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2008
International Journal of Electronic Commerce
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2019
Lecture Notes in Computer Science
Preserved Fulltext
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 application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
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 application/pdf.
Other Versions
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
2021
Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
1991
International Journal of Man-Machine Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2015
Emerging Technologies for STEAM Education
Preserved Fulltext
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 application/pdf.
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
2013
Computer Science and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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