practical training at UNSW
background
In order to finish studies at the Computer Science department of Leipzig University, students have to do a practical training which has to be accepted by the department. Research
project may count as well, so on my inquiries about contacts abroad, Professor Brewka contacted Norman Foo of the Knowledge Systems Group at the School of Computer Science and Engineering, UNSW,
Sydney whom he had visited some time before. Professor Foo accepted to supervise a project I was to be working on.
In preparation of the stay in Sydney, I worked with Dr. Richard Booth. During this work, the general topic of a possible project emerged.
abstract
In this paper, we develop a logic that handles disbelief as an equal nested connective. Motivated by the desire to model contraction in a particular belief revision framework, we
state desirable properties of the logic and show soundness and completeness of a proof theory based on them. We also illustrate how an essential part of the belief revision framework can be
interpreted in an argumentation framework.
download
As the writing of the paper is still in progress, there is no final version available, yet. However, the current version can be downloaded.
paper
slides, slides (4 per page)
Two (SWI) prolog prototypes that illustrate parts of the topics covered are also available. Remarks on these implemetnations can be found in the appendix of the paper.
tableau.pl
examples
programm3.pl (This program is buggy in many aspects, its sole purpose is to illustrate how inference might be implemented.)
comments to alex
nittka.de, please
last update: 08/25/2008