---
title: "A Logical Model of Knowledge"
authors:
  - "Martin Nilsson"
doi: ""
url: "https://ijcai.org/proceedings/1983/89"
pdf: "https://ijcai.org/proceedings/1983/0089.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "374-375"
track: "Knowledge Representation"
keywords:
---

# A Logical Model of Knowledge

Martin Nilsson

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 374-375.

## Abstract

There are several approaches to formalizing knowledge. The concept of knowledge is often introduced by a special operator whose properties are de fined by a number of axioms. A situation is then mod e ll ed by using this operator in problem-specific axioms. This article presents a different approach - a ftrst-order logical model which does not use any new operators. The properties of knowledge should fo llow from the problem-specific axioms only . The advantages are that the model is simpler and requires fewer axioms. The formalization of a problem can almost directly be used as a computer program which produces the solutions.