Abstract
Standard semantic tableaux method and a modification of its δ-rule, due to [Boolos, 1984] and [Díaz, 1993], allows us to obtain δ′-tableaux and apply that to abduction problem, paying attention to some versions given in [Aliseda, 1997]. Our approach of abduction in semantic tableaux faces up to the problem of the existence of infinite branches. Defined Cn, a basic logical operation, a new operation Cn* is obtained. An abduction problem 〈θ, ϕ〉 can be seen as the problem of choosing the appropriated sentence of the set Ab(〈θ, ϕ〉), defined from Cn, or, taking into account Cn*, Ab(〈θ,ϕ〉). The main results are: (i) a (finite) set Γ of L-sentences is n-satisfiable iff the δ′-tableau of Γ has an open branch in which only n constants occur; (ii) if a finite set Γ of L-sentences is satisfiable, then the δ′-tableau provides a minimal interpretation that satisfies Γ; (iii) for any abduction problem 〈θ,ϕ〉 such that θ is n-satisfiable, if there is a δ′-tableau of θ ∪ ¬ϕ different from its standard tableau, then there is a solution a for 〈θ,ϕ〉; (iv) given an abduction problem 〈θ,ϕ〉 such that θ is n-satisfiable, if a is a solution and θ ∪ a is consistent, then a ∈ Ab*(〈θ,ϕ〉) and it is an explanatory solution (with respect to Ab*); (v) given an abduction problem 〈θ,ϕ〉 such that θ is n-satisfiable, if a is an explanatory solution, then θ ∈ Th*(θ ∪ a). They are Theorem 3, Corollary 4, Theorems 14 and 15 and Corollary 17, respectively. Several examples to illustrate that are given.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aliseda, A., 1997, Seeking Explanations: Abduction in Logic, Philosophy od Science and Artificial Intelligence, Institute for Logic, Language and Computation, Amsterdam.
Barwise, J., 1985, Model-theoretic logics: Background and aims, in: Model-Theoretic Logics, J. Barwise and S. Feferman, eds., Springer-Verlag, Berlin, pp. 3–23.
Beth, E.W., 1969, Semantic entailment and formal derivability, in: The Philosophy of Mathematics, Hintikka, J., ed., Oxford University Press, London, pp. 9–41.
Boolos, G.S., 1984, Trees and finite satisfactibility, Notre Dame Journal of Formal Logic 25:110–115.
Díaz, E., 1993, Arboles semánticos y modelos mínimos, in: Adas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, Pérez, E., ed., Universidad Complutense, Madrid, pp. 40–43.
Letz, R., 1999, First-order tableau methods, in: Handbook of Tableau Methods, M. D’Agostino, D.M. Gabbay, R. Hahnle, and J. Posegga, eds., Kluwer Academic Publisher, Dordrecht, pp. 125–196.
Mayer, M.C. and Pirri, F., 1993, First order abduction via tableau and sequent calculi, Bulletin of The I.G.P.L., pp. 99–117.
Nagel, E., 1979, The Structure of Science. Problems in the Logic of Scientific Explanation, Harcourt, Brace & World, New York.
Wolenski, J., 1999, Logic from a metalogical point of view, in Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Orlowska, E., ed., Springer-Verlag, Heidelberg, pp. 25–35.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Nepomuceno-Fernández, A. (2002). Scientific Explanation and Modified Semantic Tableaux. In: Magnani, L., Nersessian, N.J., Pizzi, C. (eds) Logical and Computational Aspects of Model-Based Reasoning. Applied Logic Series, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0550-0_9
Download citation
DOI: https://doi.org/10.1007/978-94-010-0550-0_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0791-0
Online ISBN: 978-94-010-0550-0
eBook Packages: Springer Book Archive