A Logical Model of Knowledge
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Knowledge Representation. 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.
@inproceedings{ijcai1983p89,
title = {A Logical Model of Knowledge},
author = {Nilsson, Martin},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {374--375},
year = {1983},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1983/89},
}
TY - CPAPER TI - A Logical Model of Knowledge AU - Nilsson, Martin T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 374 EP - 375 UR - https://ijcai.org/proceedings/1983/89 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
