1,721,065 research outputs found
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
No full textAbduction is not Deduction-in-Reverse.
No full textAbduction is a topic that attracts much interest in AI and automated reasoning research. Different
approaches have been devised, that give a formalized account of explanatory reasoning, propose
methods to compute explanations, frame abduction in the context of logic programming. However,
the logical nature of abduction is still far from being clear and different specifications of the key
underlying concepts have been given, that make it difficult to speak of abduction as a single well-defined form of reasoning.
This work is a preliminary discussion on the logical nature of abductive reasoning, emphasizing
the fundamental difference between abductive and deductive inference. Some logical properties of
the inference to the "best explanation" are put forward and analyzed when the underlying logic
is any extension of classical propositional logic (first order logic, modal logic) or a non monotonic
system
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003)
No full textThis volume collects formally refereed papers that were accepted as “position papers” at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003) held on September 9-12, 2003 in Rome, Italy. Position papers present emerging trends and reports on work in progress. The volume contains also the abstracts of the tutorials offered at the conference
Sleep during alternating monophasic and polyphasic rest-activity cycles: effects of photherapy.
No full textNatural properties of abductive hypotheses in three-valued logic
No full textThis paper shows some interesting properties of Kleene's
threevalued logic in
relation to abductive reasoning. A semantical characterization of
abductive explanations is
proposed, based on the notion of minimal three-valued model. This
establishes a relation
between the minimization problem in abductive reasoning and
three-valued semantics, in
the same sense as non-monotonic reasoning deals with minimization in two-valued
semantics
Bright light exposure as an alertness management strategy during polyphasic rest-activity operations
No full textIndividual differences in the adaptability to irregular rest-work rhythms in military personnel.
No full text
- …
