Sciweavers

3776 search results - page 120 / 756
» Partition-Based Logical Reasoning
Sort
View
CSL
2006
Springer
15 years 7 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
CL
2000
Springer
15 years 7 months ago
Logic, Knowledge Representation, and Bayesian Decision Theory
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
David Poole
JANCL
2006
123views more  JANCL 2006»
15 years 3 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas
124
Voted
KR
2010
Springer
15 years 8 months ago
Characterizing Updates in Dynamic Epistemic Logic
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
Guillaume Aucher
FTP
1998
Springer
15 years 7 months ago
Higher-Order Modal Logic - A Sketch
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
Melvin Fitting