Logic for Artificial Intelligence
Logic for Artificial Intelligence
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Ultrafilter Logic and Generic Reasoning
KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
Sequent Calculi for 'Generally'
Electronic Notes in Theoretical Computer Science (ENTCS)
Methodical Construction of Symbolic Diagrams
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Hi-index | 0.00 |
Logics for 'generally' are intended to express some vague notions, such as 'generally', 'most', 'several', etc., by means of the new generalized quantifier 驴 and to reason about assertions with 驴 (important issues in Logic and in Artificial Intelligence). We introduce the ideas of special functions: generic and coherent ones. Generic functions (akin to Skolem functions) enable elimination of 驴 and coherent functions reduce consequence to the classical case. These devices permit using proof procedures and theorem provers for classical first-order logic to reason about assertions involving 'generally'.