Reasoning about knowledge

@inproceedings{Fagin1995ReasoningAK,
  title={Reasoning about knowledge},
  author={Ronald Fagin},
  year={1995}
}
Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge… 

Reasoning about Knowledge and Belief

  • Y. Moses
  • Philosophy
    Handbook of Knowledge Representation
  • 2008

Syntactic Knowledge: A Logic of Reasoning, Communication and Cooperation

A logic for reasoning about the explicit knowledge of agents who represent their knowledge as finite sets of logical formulae, and who can change their knowledge by reasoning and communicating, partly based on Alternating-time Temporal Logic.

0 Reasoning about Resource-Sensitive Multi-Agents

The aim of this paper is to formalize more fine-grained common knowledge reasoning by a new logical foundation based on Girard’s linear logics.

A reasoning system about knowledge acquisition in bi-agent interaction

  • Jinsheng GaoChangle Zhou
  • Computer Science, Philosophy
    2016 Eighth International Conference on Advanced Computational Intelligence (ICACI)
  • 2016
A Knowledge Acquisition System (KAS) is established which is added a new operator of `knowledge acquisition' to extend the basic epistemic language for bi-agent interaction and it is clear to explain how the agent acquires knowledge that will be transformed into common knowledge by observing the other agent's speech act.

Reasoning about Resource-Sensitive Multi-Agents

The aim of this paper is to formalize more fine-grained common knowledge reasoning by a new logical foundation based on Girard’s linear logics.

Approximate Reasoning about Combined Knowledge

A model checking approach is advocated, which enables an agent to perform decidable reasoning with a first-order representation language and a stepwise procedure is included for improving approximate answers and allowing their convergence to the correct answer.

Reasoning with models of probabilistic knowledge over probabilistic knowledge

This thesis provides the first sampling-based algorithms for model-based reasoning in such combinations of modal logics and probability, and provides exact inference algorithms for the two representations, together with correctness results.

A Formal Theory for Reasoning About Action , Knowledge and Time

A unified formal theory of action, knowledge and time is developed using the language of the Event Calculus to automate the process of reasoning about a wide range of commonsense phenomena and develops a provably sound and complete axiomatization that is independent of the underlying formalism.

Epistemic Logic for Rule-Based Agents

  • M. Jago
  • Philosophy
    J. Log. Lang. Inf.
  • 2009
A framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources is developed and it is proved that the resulting models have a number of interesting properties.

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

This paper proposes to model imperfect information games in a new multi-agent epistemic variant of the situation calculus using the concept of only-knowing, and shows how the beliefs and non-beliefs of players after any sequence of actions, sensing or otherwise, can be characterized as entailments in this logic.
...

References

1991a, 1991b], by Moses [1992], and by Parikh [1990

  • 1990