A logic for approximate first-order reasoning

DOI10.1007/3-540-44802-0_19MaRDI QIDQ4783313zbMATH OpenFDO

Authors Frédéric Koriche

Publication date 4 December 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2142/21420262

zbMATH Keywords

approximate reasoningfirst-order logicmulti-modal logicsresource-bounded algorithms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Tractable reasoning via approximation
• Towards polynomial approximations of full propositional logic
• The universe of approximations
• The universe of propositional approximations
• A logic for anytime deduction and anytime compilation

Cited in

(15)

• Toward effective knowledge acquisition with first-order logic induction.
• Tractable reasoning via approximation
• Reasoning about truth in first-order logic
• First order LUB approximations: characterization and algorithms
• First-order logic theorem proving and model building via approximation and instantiation
• scientific article; zbMATH DE number 4145877 (Why is no real title available?)
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• A logic for anytime deduction and anytime compilation
• Approximate coherence-based reasoning
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• The universe of approximations
• First order rough logic -- revisited
• A practical integration of first-order reasoning and decision procedures
• Convergent approximate solving of first-order constraints by approximate quantifiers
• A workbench for anytime reasoning by ontology approximation. With a case study on instance retrieval

Describes a project that uses

Uses Software

• SCOTT

This page was built for publication: A logic for approximate first-order reasoning

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