Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results

DOI10.1007/S10472-010-9220-ZMaRDI QIDQ645074zbMATH OpenOpenAlexFDO

Authors Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli

Publication date 8 November 2011

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-010-9220-z

zbMATH Keywords

complexity resultsagent technologyreasoning under uncertainty

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• A theory of diagnosis from first principles
• Diagnostic reasoning with A-Prolog
• scientific article; zbMATH DE number 1884392
• KI 2005: Advances in Artificial Intelligence
• Formalizing the repair process --- extended report

Cites work

• scientific article; zbMATH DE number 3831894 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1216123 (Why is no real title available?)
• scientific article; zbMATH DE number 1305704 (Why is no real title available?)
• scientific article; zbMATH DE number 1315585 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 2063027 (Why is no real title available?)
• scientific article; zbMATH DE number 2063028 (Why is no real title available?)
• scientific article; zbMATH DE number 1926620 (Why is no real title available?)
• scientific article; zbMATH DE number 1407685 (Why is no real title available?)
• scientific article; zbMATH DE number 4185071 (Why is no real title available?)
• scientific article; zbMATH DE number 4185074 (Why is no real title available?)
• scientific article; zbMATH DE number 4185075 (Why is no real title available?)
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• A survey of non-prioritized belief revision
• A taxonomy of complexity classes of functions
• A theory of diagnosis from first principles
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Answer sets for consistent query answering in inconsistent databases
• Census data repair: a challenging application of disjunctive logic programming
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Database Programming Languages
• Diagnosing multiple faults
• Diagnostic reasoning with A-Prolog
• Formalizing sensing actions -- a transition function based approach
• Heterogeneous temporal probabilistic agents
• Knowledge, action, and the frame problem
• Knowledge, probability, and adversaries
• Logic Programming and Nonmonotonic Reasoning
• Magic Sets and their application to data integration
• Nonmonotonic causal theories
• On the computational cost of disjunctive logic programming: Propositional case
• On the logic of theory change: Partial meet contraction and revision functions
• On the logic of theory change: safe contraction
• Probabilistic agent programs
• Reasoning about actions with sensing under qualitative and probabilistic uncertainty
• Reasoning about noisy sensors and effectors in the situation calculus
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Representing action and change by logic programs
• The DLV system for knowledge representation and reasoning
• The complexity of logic-based abduction
• The complexity of optimization problems
• The complexity of selecting maximal solutions
• Unfolding partiality and disjunctions in stable model semantics

Describes a project that uses

Uses Software

• Smodels
• CCalc

This page was built for publication: Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645074)