The SCIFF Abductive Proof-Procedure

We propose an operational framework which builds on the classical understanding of abductive reasoning in logic programming, and extends it in several directions. The new features include the ability to reason with a dynamic knowledge base, where new facts can be added anytime, the ability to genera...

Full description

Saved in:
Bibliographic Details
Published inAIIA 2005: Advances in Artificial Intelligence pp. 135 - 147
Main Authors Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Artificial intelligence
Computer science; control theory; systems
Constraint Solver
Exact sciences and technology
Integrity Constraint
Logic Program
Logic Programming
Operational Semantic
Knowledge base
Logical programming
Artificial intelligence
Forecasting
Abduction
Online AccessGet full text

Cover

More Information
Summary:We propose an operational framework which builds on the classical understanding of abductive reasoning in logic programming, and extends it in several directions. The new features include the ability to reason with a dynamic knowledge base, where new facts can be added anytime, the ability to generate expectations about such new facts occurring in the future (forecasting), and the process of confirmation/disconfirmation of such expectations.
ISBN:9783540290414
3540290419
ISSN:0302-9743
1611-3349
DOI:10.1007/11558590_14