Abduction as belief revision
1995, Artificial Intelligence 77 (1), 43-94, 1995Citas: 184
Importar citas Plots Conexiones
Autor(es)
Craig Boutilier and Veronica Becher
Abstract
We propose a model of abduction based on the revision of the epistemic state of an agent. Explanations must be sufficient to induce belief in the sentence to be explained (for instance, some observation), or ensure its consistency with other beliefs, in a manner that adequately accounts for factual and hypothetical sentences. Our model will generate explanations that nonmonotonically predict an observation, thus generalizing most current accounts, which require some deductive relationship between explanation and observation. It also provides a natural preference ordering on explanations, defined in terms of normality or plausibility. To illustrate the generality of our approach, we reconstruct two of the key paradigms for model-based diagnosis, abductive and consistency-based diagnosis, within our framework. This reconstruction provides an alternative semantics for both and extends these systems to …
Plot de citas
Citas de Scrapping
# | Año | #Citas | Título | Autores | Journal | Editor |
---|---|---|---|---|---|---|
1 | 2021 | 297 | A survey of contrastive and counterfactual explanation generation methods for explainable artificial intelligence | I Stepin, JM Alonso, A Catala, M Pereira-Fariña | IEEE Access, 2021 | ieeexplore.ieee.org |
2 | 2009 | 606 | Abductive cognition: The epistemological and eco-cognitive dimensions of hypothetical reasoning | L Magnani | 2009 | Springer |
3 | 2017 | 233 | Between probability and certainty: What justifies belief | M Smith | 2017 | books.google.com |
4 | 2012 | 271 | Abductive reasoning and qualitative research | M Lipscomb | Nursing philosophy, 2012 | Wiley Online Library |
5 | 2005 | 200 | Argumentation methods for artificial intelligence in law | D Walton | 2005 | books.google.com |
6 | 2019 | 53 | Optimizing group learning: An evolutionary computing approach | I Douven | Artificial Intelligence, 2019 | Elsevier |
7 | 2020 | 23 | Towards the role of theory of mind in explanation | M Shvo, TQ Klassen, SA McIlraith | … 2020, Auckland, New Zealand, May 9 …, 2020 | Springer |
8 | 1999 | 114 | Enhancing model checking in verification by AI techniques | F Buccafurri, T Eiter, G Gottlob, N Leone | Artificial Intelligence, 1999 | Elsevier |
9 | 2005 | 88 | A practical logic of cognitive systems: The reach of abduction: Insight and trial | DM Gabbay, J Woods | 2005 | books.google.com |
10 | 2004 | 91 | Model-based and manipulative abduction in science | L Magnani | Foundations of science, 2004 | Springer |
11 | 2003 | 102 | An abductive framework for computing knowledge base updates | C Sakama, K Inoue | Theory and Practice of Logic Programming, 2003 | cambridge.org |
12 | 1302 | 102 | Defining explanation in probabilistic systems | U Chajewska, JY Halpern | arXiv preprint arXiv:1302.1526, 2013 | arxiv.org |
13 | 2020 | 19 | Developing healthy cities with urban facility management | JE Nijkamp, MP Mobach | Facilities, 2020 | emerald.com |
14 | 2005 | 87 | An abductive theory of scientific reasoning | L Magnani | Semiotica, 2005 | degruyter.com |
15 | 2017 | 32 | The logic of abduction: an introduction | A Aliseda | Springer Handbook of Model-Based Science, 2017 | Springer |
16 | 1997 | 105 | The many faces of defeasibility in defeasible deontic logic | LWN van der Torre, YH Tan | Defeasible deontic logic, 1997 | Springer |
17 | 2006 | 78 | Advice on abductive logic | D Gabbay, J Woods | Logic Journal of IGPL, 2006 | academic.oup.com |
18 | 2016 | 38 | The eco-cognitive model of abduction II: Irrelevance and implausibility exculpated | L Magnani | Journal of Applied Logic, 2016 | Elsevier |
19 | 2001 | 86 | Philosophy and geometry: Theoretical and historical issues | L Magnani | 2001 | books.google.com |
20 | 2019 | 27 | Coaches' interpersonal emotion regulation and the coach-athlete relationship | C Braun, KA Tamminen | Movement & Sport Sciences-Science & Motricité, 2019 | cairn.info |
21 | 1996 | 94 | The role of abductive reasoning within the process of belief revision | M Pagnucco | 1996 | Citeseer |
22 | 1999 | 72 | Model-based creative abduction | L Magnani | Model-based reasoning in scientific discovery, 1999 | Springer |
23 | 2022 | 4 | Causal abms: Learning plausible causal models using agent-based modeling | K Valogianni, B Padmanabhan | The KDD'22 Workshop on …, 2022 | proceedings.mlr.press |
24 | 2002 | 77 | Epistemic mediators and model-based discovery in science | L Magnani | Model-based reasoning: Science, technology, values, 2002 | Springer |
25 | 2004 | 51 | Reasoning through doing. Epistemic mediators in scientific discovery | L Magnani | Journal of Applied Logic, 2004 | Elsevier |
26 | 2013 | 29 | An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution | FR Velázquez-Quesada, F Soler-Toscano… | Journal of Applied …, 2013 | Elsevier |
27 | 2014 | 26 | A conditional logic for abduction | M Beirlaen, A Aliseda | Synthese, 2014 | Springer |
28 | 2000 | 45 | Abductive reasoning through filtering | C Baral | Artificial Intelligence, 2000 | Elsevier |
29 | 2023 | 2 | Linear algebraic abduction with partial evaluation | T Nguyen, K Inoue, C Sakama | International Symposium on Practical …, 2023 | Springer |
30 | 2009 | 38 | Hypothesizing about signaling networks | N Tran, C Baral | Journal of Applied Logic, 2009 | Elsevier |
31 | 2007 | 31 | Ceteris paribus conditionals and comparative normalcy | M Smith | Journal of Philosophical Logic, 2007 | Springer |
32 | 2019 | 12 | Modalities of abduction: a philosophy of science-based investigation of abduction | J Olsen, A Gjerding | Human Arenas, 2019 | Springer |
33 | 2003 | 29 | Preferences and explanations | R Pino-Pérez, C Uzcátegui | Artificial Intelligence, 2003 | Elsevier |
34 | 2009 | 27 | Creative abduction and hypothesis withdrawal | L Magnani | Models of discovery and creativity, 2009 | Springer |
35 | 2006 | 31 | Multimodal abduction: External semiotic anchors and hybrid representations | L Magnani | Logic Journal of IGPL, 2006 | academic.oup.com |
36 | 2007 | 34 | Abduction and chance discovery in science | L Magnani | International Journal of Knowledge-based and …, 2007 | content.iospress.com |
37 | 1995 | 62 | Generalized update: Belief change in dynamic settings | C Boutilier | IJCAI, 1995 | cs.toronto.edu |
38 | 2004 | 41 | Abductive logics in a belief revision framework | B Walliser, D Zwirn, H Zwirn | Journal of Logic, Language and Information, 2004 | Springer |
39 | 2017 | 13 | Abductive reasoning in dynamic epistemic logic | A Nepomuceno-Fernández, F Soler-Toscano… | Springer handbook of …, 2017 | Springer |
40 | 1999 | 33 | Jumping to explanations versus jumping to conclusions | R Pino-Pérez, C Uzcátegui | Artificial Intelligence, 1999 | Elsevier |
41 | 2006 | 36 | The unexpected aspects of surprise | E Lorini, C Castelfranchi | International Journal of Pattern …, 2006 | World Scientific |
42 | 2019 | 9 | A logic for best explanations | J Millson, C Straßer | Journal of Applied Non-Classical Logics, 2019 | Taylor & Francis |
43 | 2013 | 22 | An epistemic and dynamic approach to abductive reasoning: selecting the best explanation | Á Nepomuceno-Fernández… | Logic Journal of …, 2013 | ieeexplore.ieee.org |
44 | 2000 | 31 | AI approaches to abduction | G Paul | Abductive Reasoning and Learning, 2000 | Springer |
45 | 2005 | 43 | Perceiving the infinite and the infinitesimal world: Unveiling and optical diagrams in mathematics | L Magnani, R Dossena | Foundations of Science, 2005 | Springer |
46 | 1996 | 38 | Abduction to plausible causes: An event-based model of belief update | C Boutilier | Artificial Intelligence, 1996 | Elsevier |
47 | 2022 | 2 | An ASP-based solver for parametrized-difference revision | T Aravanis | Journal of Logic and Computation, 2022 | academic.oup.com |
48 | 2004 | 34 | Conjectures and manipulations. Computational modeling and the extra-theoretical dimension of scientific discovery | L Magnani | Minds and Machines, 2004 | Springer |
49 | 2021 | 4 | A computationally grounded logic of graded belief | E Lorini, F Schwarzentruber | … Conference, JELIA 2021, Virtual Event, May …, 2021 | Springer |
50 | 1999 | 40 | Working backwards: instrumental analysis as a policy discovery procedure | M Forstater | Review of Political Economy, 1999 | Taylor & Francis |
51 | 2022 | 2 | Abduction in diagrammatic reasoning: A categorical approach | G Caterina, R Gangle, F Tohmé | Handbook of Abductive Cognition, 2022 | Springer |
52 | 2000 | 31 | Constructive reinforcement learning | J Hernandez‐Orallo | International Journal of Intelligent …, 2000 | Wiley Online Library |
53 | 1995 | 24 | Determining explanations using transmutations | MA Williams, M Pagnucco, N Foo, B Sims | IJCAI (1), 1995 | academia.edu |
54 | 2013 | 10 | Entitlement and evidence | M Smith | Australasian Journal of Philosophy, 2013 | Taylor & Francis |
55 | 2009 | 11 | Artificial explanations: the epistemological interpretation of explanation in AI | A Páez | Synthese, 2009 | Springer |
56 | 1998 | 22 | A user‐centred approach to the design of an expert system for training | MAF Borges, MCC Baranauskas | British Journal of Educational …, 1998 | Wiley Online Library |
57 | 2002 | 22 | Automated abduction | K Inoue | Computational Logic: Logic Programming and Beyond …, 2002 | Springer |
58 | 1996 | 23 | Abductive change operators | J Lobo, C Uzcátegui | Fundamenta Informaticae, 1996 | content.iospress.com |
59 | 2014 | 8 | Generation and selection of abductive explanations for non-omniscient agents | F Soler-Toscano, FR Velázquez-Quesada | Journal of Logic, Language …, 2014 | Springer |
60 | 2002 | 19 | Epistemic mediators and chance morphodynamics | L Magnani, M Piazza, R Dossena | Proceedings of PRICAI-02 …, 2002 | academia.edu |
61 | 2012 | 8 | Extending the contraposition property of propositional logic for fuzzy abduction | A Chakraborty, A Konar, NR Pal… | IEEE Transactions on …, 2012 | ieeexplore.ieee.org |
62 | 2005 | 17 | Knowledge-based framework for hypothesis formation in biochemical networks | N Tran, C Baral, VJ Nagaraj, L Joshi | Bioinformatics, 2005 | academic.oup.com |
63 | 2005 | 15 | Abduction and cognition in human and logical agents | L Magnani | We will show them: Essays in honour of Dov Gabbay, 2005 | academia.edu |
64 | 2009 | 13 | A pragmatic approach to computational narrative understanding | ER Tomai | 2009 | search.proquest.com |
65 | 2018 | 5 | A computational framework for procedural abduction done by smart cyber-physical systems | I Horváth | Designs, 2018 | mdpi.com |
66 | 2004 | 7 | Abductive inference in defeasible reasoning: A model for research programmes | C Delrieux | Journal of Applied Logic, 2004 | Elsevier |
67 | 2004 | 15 | A framework of fuzzy diagnosis | H Wang, M Zhang, D Xu… | IEEE Transactions on …, 2004 | ieeexplore.ieee.org |
68 | 2006 | 15 | Reasoning and hypothesizing about signaling networks | N Tran | 2006 | dl.acm.org |
69 | 2021 | 2 | Abductive Spaces: Modeling Concept Framework Revision with Category Theory | R Gangle, G Caterina, F Tohmé | Abduction in cognition and action …, 2021 | Springer |
70 | 1998 | 12 | Explaining predictions in Bayesian networks and influence diagrams | U Chajewska, DL Draper | Proceedings of the AAAI 1998 Spring …, 1998 | cdn.aaai.org |
71 | 1993 | 14 | Abduction as belief revision: a model of preferred explanations | C Boutilier, V Becher | AAAI, 1993 | Citeseer |
72 | 2002 | 8 | Conjectures and manipulations: External representations in scientific reasoning | L Magnani | Mind & Society, 2002 | Springer |
73 | 2008 | 7 | Discovering and Communicating through Multimodal Abduction: The Role of External Semiotic Anchors and Hybrid Representations | L Magnani | Communications and discoveries from multidisciplinary …, 2008 | Springer |
74 | 2005 | 10 | Modeling the role of (ab) normality in the ascription of causality judgements by agents | D Dubois, H Prade | Proceedings of IJCAI-05 Workshop on Nonmonotonic …, 2005 | Citeseer |
75 | 2006 | 7 | Prefiguring ethical chances: the role of moral mediators | L Magnani | Chance Discoveries in Real World Decision Making …, 2006 | Springer |
76 | 1995 | 8 | Abductive reasoning, belief expansion and nonmonotonic consequence | M Pagnucco, AC Nayak, NY Foo | Proceedings of the ICLP'95 Joint …, 1995 | academia.edu |
77 | 2008 | 8 | A method for reasoning about other agents' beliefs from observations | A Nittka, R Booth | Logic and the foundation of game and decision …, 2008 | library.oapen.org |
78 | 2005 | 9 | Morphodynamical abduction. Causation by attractors dynamics of explanatory hypotheses in science | L Magnani, M Piazza | Foundations of Science, 2005 | Springer |
79 | 2022 | 0 | Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings | A Nepomuceno-Fernández, F Soler-Toscano… | Handbook of Abductive …, 2022 | Springer |
80 | 1998 | 7 | A Computational Definition of'Consilience' | J Hernández-Orallo | Philosophica, 1998 | philosophica.ugent.be |
81 | 2022 | 0 | An analysis of absurdity1 | TTF Lau | Theoria, 2022 | Wiley Online Library |
82 | 1998 | 8 | Distinguishing abduction and induction under intensional complexity | J Hernández-Orallo, I García-Varea | … of the ECAI'98 Workshop on …, 1998 | users.dsic.upv.es |
83 | 2001 | 8 | Deriving fluents from sensor data for mobile robots | M Witkowski, D Randell, M Shanahan | AAAI Fall Symposium Series, 2001 | cdn.aaai.org |
84 | 2023 | 0 | J Borner | 2023 | Dissertation, München, Ludwig … | |
85 | 2001 | 7 | The R^ ole of Defeasible Reasoning in the Modelling of Scientific Research Programmes | C Delrieux | Proceedings of the IC-AI 2001 Conference, 2001 | Citeseer |
86 | 2023 | 0 | Being and Becoming Across Difference: A Grounded Theory Study of Exemplary White Teachers in Racially Diverse Classrooms | JS Feinberg | 2023 | search.proquest.com |
87 | 2023 | 0 | An incremental diagnosis algorithm of human erroneous decision making | V Fouillard, N Sabouret, S Taha… | … Conference on Human …, 2023 | hal.science |
88 | 1405 | 4 | An Abductive Framework for Horn Knowledge Base Dynamics | R Delhibabu | arXiv preprint arXiv:1405.2642, 2014 | arxiv.org |
89 | 2019 | 2 | Urban facility management for healthy cities | MP Mobach | EUROFM Dublin 2019: European Facility …, 2019 | research.hanze.nl |
90 | 2000 | 13 | Contrução de paginas Web: depuração e especificação de um ambiente de aprendizagem. | MV Maltempi | 2000 | rc.unesp.br |
91 | 2001 | 6 | From stereoscopic vision to symbolic representation | PE Santos, MP Shanahan | Working notes of the AAAI Fall Symposium …, 2001 | cdn.aaai.org |
92 | 1997 | 6 | Enhancing symbolic model checking by AI techniques | F Buccafurri, T Eiter, G Gottlob, N Leone | 1997 | jlupub.ub.uni-giessen.de |
93 | 2016 | 2 | Managing in conflict: how actors collaborate in marketing green chemistry | S Zhang | 2016 | theses.gla.ac.uk |
94 | 2023 | 0 | Improvement of competence management process by lifecycle and alignment approaches: the case of a non-profit organisation Green Net Finland | E Lutfi | 2023 | theseus.fi |
95 | 2017 | 2 | Understanding what may have happened in dynamic, partially observable environments | M Molineaux | 2017 | search.proquest.com |
96 | 2003 | 5 | Computing minimal changes of models of systems | N Gorogiannis | 2003 | Citeseer |
97 | 2001 | 5 | Cognitive robotics: On the semantic knife-edge | M Witkowski, M Shanahan, P Santos… | 3rd British Conf. on …, 2001 | ee.ic.ac.uk |
98 | 2007 | 4 | Entailment, duality, and the forms of reasoning | K Britz, J Heidema, W Labuschagne | 2007 | cs.otago.ac.nz |
99 | 2006 | 4 | Isaac Levi on Abduction | M Pagnucco | Knowledge and Inquiry: Essays on the …, 2006 | perpus.univpancasila.ac.id |
100 | 2002 | 4 | Degrees of abductive boldness | IC Burger, J Heidema | Logical and Computational Aspects of Model …, 2002 | Springer |
101 | 1998 | 3 | Policy Innovation as a Discovery Procedure: Exploring the Tacit Fringes of the Policy Formulation Process | M Forstater | The Jerome Levy Economics Institute WP, 1998 | papers.ssrn.com |
102 | 2009 | 3 | Formal epistemology and logic | H Arló‐costa, E Fermé | A Companion to Latin American Philosophy, 2009 | infona.pl |
103 | 2019 | 1 | Philosophical aspects of multi-modal logic | S Smets, F Velázquez-Quesada | 2019 | plato.stanford.edu |
104 | 2000 | 3 | Software as learning: Quality factors and life-cycle revised | J Hernández-Orallo, MJ Ramírez-Quintana | International Conference on …, 2000 | Springer |
105 | 2008 | 3 | Representation theorems for explanatory reasoning based on cumulative models | A Díaz, C Uzcátegui | Journal of Applied Logic, 2008 | Elsevier |
106 | 2014 | 2 | Anomaly-driven belief revision by abductive metareasoning | JR Eckroth | 2014 | search.proquest.com |
107 | 2002 | 3 | Abduction as a Rational Means to Creativity. Unexpressed Knowledge and Scientific Discovery | L Magnani, M Piazza, R Dossena | 2nd Workshop on Creative …, 2002 | academia.edu |
108 | 2023 | 0 | Construction of Artificial Intelligence Model of Legal Reasoning Based on Judicial Precedents | X Zhao | Science of Law Journal, 2023 | clausiuspress.com |
109 | 2000 | 3 | Prefacr | L Magnani, NJ Nersessian… | Foundations of …, 2000 | search.proquest.com |
110 | 2000 | 3 | Action-based abduction in science | L Magnani | Workshop Scientific Reasoning in Artificial Intelligence …, 2000 | unipv.it |
111 | 2013 | 1 | A Q-Methodological study to explore Muslim girls' viewpoints around how a secondary school setting can promote and support their inclusion. | E Frearson | 2013 | etheses.whiterose.ac.uk |
112 | 2013 | 1 | FORESHADOWING ETHICAL AND SPIRITUAL CHANCES THE ROLE OF MORAL MEDIATORS | L Magnani | European Journal of Science and Theology, 2013 | academia.edu |
113 | 2023 | 0 | Causal explanations-how to generate, identify, and evaluate them | J Borner | 2023 | edoc.ub.uni-muenchen.de |
114 | 2022 | 0 | La logique des incohérences: un modèle formel pour l'analyse de l'erreur humaine | V Fouillard | 2022 | theses.hal.science |
115 | 1999 | 1 | Creations and Discoveries in Science: The Role of Abductive Reasoning | L Magnani | Human and Machine Perception 2: Emergence …, 1999 | Springer |
116 | 2013 | 1 | Abductive proofs in dynamic databases | H Hayashi | 2013 | qmro.qmul.ac.uk |
117 | 1 | Reinforcement Learning in Constructive Languages | J Hernandez-Orallo | Proceedings of CCIA | dmip.webs.upv.es | |
118 | 2013 | 3 | 设证推理的正当性及其运作——基于司法过程的考察 | 孙光宁 | 海南大学学报: 人文社会科学版, 2013 | cqvip.com |
119 | 1998 | 1 | Combining abduction and model checking techniques for repair of concurrent programs | F Buccafurri, T Eiter, G Gottlob, N Leone | Periodica Polytechnica …, 1998 | cdn.aaai.org |
120 | 2007 | 1 | Relating abduction and belief revision | FR Velázquez-Quesada | 2007 | Citeseer |
121 | 2000 | 4 | Wissen und Kohärenz | D Schoch | Argument & Analysis. Papers contributed to the …, 2000 | gap4.de |
122 | 0 | Theory Change Based on Causal Abduction | AVR Sarma | academia.edu | ||
123 | 0 | An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution | A Nepomuceno-Fernández, F Soler-Toscano… | researchgate.net | ||
124 | 2018 | 0 | Explanation, understanding, and belief revision | A Páez | 2018 | philarchive.org |
125 | 2023 | 0 | Morphologic for knowledge dynamics: revision, fusion and abduction | I Bloch, J Lang, R Pino Pérez… | Journal of Applied Non …, 2023 | Taylor & Francis |
126 | 2017 | 0 | Science Maximizes Abducibility: The Optimization of Eco-Cognitive Situatedness in Ampliative Inferences | L Magnani, L Magnani | The Abductive Structure of Scientific Creativity: An …, 2017 | Springer |
127 | 2016 | 0 | Identification of Aero planes using Fuzzy Abduction by Max-Min Inverse Fuzzy Relation | S Ghosh, MR Laskar, D Mukherjee… | International Journal of …, 2016 | academia.edu |
128 | 2016 | 0 | Explanatory Relations Revisited: Links with Credibility-Limited Revision | MV León, R Pino Pérez | Ibero-American Conference on Artificial …, 2016 | Springer |
129 | 2016 | 0 | Application of Fuzzy Abduction Technique in Aerospace Dynamics | S Ghosh, S Chatterjee… | … Journal of Advanced …, 2016 | pdfs.semanticscholar.org |
130 | 2016 | 0 | Personal service request categories and their facilitation with self-service technologies | S Dettmering, F Mues | 2016 | lup.lub.lu.se |
131 | 0 | THINKING THROUGH DOING | L Magnani | academia.edu | ||
132 | 0 | Abduction and Chance | L Magnani | academia.edu | ||
133 | 1501 | 0 | Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates | R Delhibabu | arXiv preprint arXiv:1501.06206, 2015 | arxiv.org |
134 | 2014 | 0 | Improving the municipal solid waste collectionthrough an optimized route planning: A study conducted within the municipality of Växjö | M Duru, S Garimé, M Knecht, E Ramirez | 2014 | diva-portal.org |
135 | 2013 | 0 | A Demand of Reason: Dependence in Logic and Probability | N Forde | 2013 | eprints.illc.uva.nl |
136 | 2013 | 0 | An epistemic and dynamic approach to abductive reasoning: selecting the best explanation | ANF ANDEZ, F SOLER-TOSCANO | 2013 | researchgate.net |
137 | 0 | L MAGNANI, R DOSSENA | Springer | |||
138 | 2012 | 0 | Abductive Logic Programming and Linear Algebraic Computation | TQ Nguyen, K Inoue, C Sakama | Handbook of Abductive Cognition, 2012 | Springer |
139 | 0 | Scientific “Agendum” of Data Science | S Iwata | researchgate.net | ||
140 | 2011 | 0 | 'Strategic Management in (a) Crisis?'Uncertainty, Imprecision & the Incomplete as Axioms in Building Appropriate Theory | P Davis | 2011 | eprints.worc.ac.uk |
141 | 0 | Prefiguring Ethical Chances | L Magnani | unipv.it | ||
142 | 0 | Abduction in Nonmonotonic Theories | C Delrieux | lip.uns.edu.ar | ||
143 | 0 | Hypothesizing about Signaling Networks | NTC Baralb | academia.edu | ||
144 | 0 | REASONING ABOUT OBLIGATIONS | DINPBD LOGIC | ir.cwi.nl | ||
145 | 0 | Introducing plausibility measures in the process of revision of beliefs through extended logic programs | BB Garcia, GP Lopes | Citeseer | ||
146 | 0 | Multimodal Abduction | ES Anchors | www-1.unipv.it | ||
147 | 2008 | 0 | The Role of External Semiotic Anchors and Hybrid Representations | L Magnani | Communications and Discoveries from …, 2008 | Springer |
148 | 2009 | 0 | Electrical Engineering and Computer Science Department | E Tomai | 2009 | qrg.northwestern.edu |
149 | 2007 | 0 | On Explanatory Belief revision systems: Initiation Grant Proposal | AVR Sarma | 2007 | Citeseer |
150 | 0 | A study on the logic of abduction | MCMF Pirri | Citeseer | ||
151 | 2005 | 0 | The Art of Leadership: Ideas and Inspiration for Effective Leadership | G Zapke-Schauer | 2005 | Springer |
152 | 2006 | 0 | On Causal and Constructive Modelling of Belief Revision | AVR Sarma | 2006 | search.proquest.com |
153 | 2003 | 0 | The Logic of Discovery in the Cyberage | L Magnani, M Piazza, R Dossena | Computing and Philosophy …, 2003 | academia.edu |
154 | 1998 | 0 | ARI Contractor Report 98-09 | J Kornell | 1998 | apps.dtic.mil |
155 | 1998 | 0 | Methodology for Selecting Team Training Techniques. | J Kornell… | 1998 | apps.dtic.mil |
156 | 2002 | 0 | The Extra-Theoretical Dimension of Creativity. Extracting and Manipulating Information by Abduction | L Magnani, M Piazza, R Dossena | Proceedings of the …, 2002 | digilander.libero.it |
157 | 2006 | 0 | Abduction and Chance The Extra-Theoretical Dimension of Chance Discovery in Science | L Magnani | 2006 IEEE International Conference on Systems …, 2006 | ieeexplore.ieee.org |
158 | 0 | Mary-Anne Williams Maurice Pagnucco | N Foo, B Sims | academia.edu | ||
159 | 1997 | 1 | Una interpretación plausibilística de los patrones ampliativos de Inferencia | C Delrieux | III Congreso Argentino de Ciencias de la …, 1997 | sedici.unlp.edu.ar |
160 | 2001 | 1 | La relevancia de la lógica relevante en el razonamiento no monotónico | C Delrieux | III Workshop de Investigadores en Ciencias de la …, 2001 | sedici.unlp.edu.ar |
161 | 2003 | 1 | Razonamiento abductivo en teorías no monotónicas | C Delrieux | IX Congreso Argentino de Ciencias de la …, 2003 | sedici.unlp.edu.ar |
162 | 2020 | 0 | Resumen de tesis. Sobre la modelización y la comprensión científicas: un enfoque inferencial y dinámico aplicado al modelo evo-devo Polypterus de la plasticidad … | RA López Orellana | 2020 | gredos.usal.es |
163 | 2012 | 0 | La abducción como argumento | PRB Ramírez | Anuario de Filosofía del Derecho, 2012 | revistas.mjusticia.gob.es |
164 | 2010 | 0 | 溯因: 最佳解释的推理 | 廖德明 | 毕节学院学报: 综合版, 2010 | cqvip.com |
165 | 1999 | 0 | Forschungszentrum Informationstechnik GmbH Schloß Birlinghoven D-53754 Sankt Augustin Germany Telefon+ 49-2241-14-0 | M May, U Oestermeier | 1999 | publica.fraunhofer.de |
166 | 2006 | 0 | Разработка модуля формирования знаний в интеллектуальных системах на основе абдуктивного метода модификации посылок | ЕВ Котельников | 2006 | elibrary.ru |
167 | 2002 | 0 | LOGIQUES NON-MONOTONES ET MODES D'ARGUMENTATION | P LIVET | 2002 | xavierparent.co.uk |
168 | 2020 | 2 | Sustainable Smallholder Agriculture Clusters in the Philippines: why do some fail while others survive? | J Oakeshott | 2020 | espace.library.uq.edu.au |
169 | 2005 | 3 | DM Gabbay, J Woods | A Practical Logic of Cognitive Systems, 2005 | Elsevier | |
170 | 2006 | 5 | Disembodying minds, externalising minds: how brains make up creative scientific reasoning | L Magnani | 2006 | philpapers.org |
171 | 1998 | 4 | E Castro, J Sallantin, F Koriche | Workshop on Abduction and Induction in AI, ECAI, 1998 | ||
172 | 2000 | 1 | L Magnani | submitted to PSA2000, 2000 | ||
173 | 2010 | 2 | R Pino Pérez, C Uzcátegui | Ediciones IVIC, 2010 | ||
174 | 0 | I Delgado-Arróniz | ||||
175 | 0 | MC Mayer, F Pirri | ||||
176 | 2013 | 0 | N Forde | 2013 | Universiteit van Amsterdam | |
177 | 0 | A Nepomuceno-Fernández, F Soler-Toscano… | ||||
178 | 0 | MC Mayer, F Pirri | ||||
179 | 1998 | 0 | Gesellschaft für Mathematik und … | 1998 | GMD-Forschungszentrum … | |
180 | 2006 | 0 | D SCHOCH | 2006 | ||
181 | 1999 | 0 | L Magnani | Human and Machine Perception 2: Emergence …, 1999 | Springer | |
182 | 2001 | 0 | M May | Interdisciplinary Perspectives on Causation, 2001 | BoD–Books on Demand | |
183 | 0 | JAD CASIQUE | ||||
184 | 0 | M Šípka |
Referencias
# | Title | Year | Source | Authors | |
---|---|---|---|---|---|
1 | On the logic of theory change: partial meet contraction and revision functions | 1985 | J. Symbolic Logic | C. Alchour , P Gardenfors , D. Makinson | |
2 | Inaccessible worlds and irrelevance: preliminary report | 1991 | in: Proceedings IJCAI-91 | C. Boutilier | |
3 | Epistemic entrenchment in autoepistemic logic | 1992 | Fund. Informaticae | C. Boutilier | |
4 | The probability of a possibility: adding uncertainty to default rules | 1993 | in: Proceedings Ninth Conference on Uncertainty in AI Washington | C. Boutilier | |
5 | Revision sequences and nested conditionals | 1993 | in: Proceedings IJCAI-93 | C. Boutilier | |
6 | Toward a logic for qualitative decision theory | 1994 | in: Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning | C. Boutilier | |
7 | Unifying default reasoning and belief revision in a modal framework | 1994 | Artif: Intell | C. Boutilier | |
8 | Abduction as belief revision | 1993 | Tech. Report 93-23 | C. Boutilier , V. Becher | |
9 | Revision by conditional beliefs | 1993 | in: Proceedings AAAI-93 | C. Boutilier , M. Goldszmidt | |
10 | Preferred subtheories: an extended logical framework for default reasoning | 1989 | in: Proceedings IJCAI-89 | G. Brewka | |
11 | A spectrum of logical definitions of model-based diagnosis | 1991 | Comput. Intell | L. Console , P Torasso | |
12 | Diagnostic reasoning based on structure and behavior | 1984 | Art$ Intell | R. Davis | |
13 | &worth and | 1990 | in: Proceedings AAAI-90 | A.K. [ 161 J. de Kleer , R. Reiter | |
14 | An approach to default reasoning based on a first-order conditional logic: revised report | 1988 | Art$ Intell | ||
15 | Choosing observations and actions in model-based diagnosis/repair systems | 1992 | in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning | G. Friedrich , W. Nejdl | |
16 | A critique of Yoav Shoham's theory of causal reasoning | 1991 | in: Proceedings AAAI-91 | A. Galton | |
17 | On the logic of relevance | 1978 | Synrhese | P Gardenfors | |
18 | Nonmonotonic inference based on expectations | 1994 | Artij Intell | P Gardenfors and D. Makinson | |
19 | The use of design descriptions in automated diagnosis | 1984 | Artif Intell | ||
20 | On the consistency of defeasible databases | 1991 | Artif Infell | M. Goldszmidt , J. Pearl | |
21 | Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions | 1992 | in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning | M. Goldszmidt , J. Pearl | |
22 | Two modellings for theory change | 1988 | J. Philos. Logic | A. Grove | |
23 | Interpretation as abduction | 1990 | Technical Note 499 | J.R. Hobbs , M. Stickel , D. Appelt , P Martin |