<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Representation theory for default logic

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 01 Dec 1997Embargo end date: 01 Jan 1999 Netherlands Publisher:Springer Science and Business Media LLCJournal:Annals of Mathematics and Artificial Intelligence, volume 21, pages 343-358 (issn: 1012-2443, eissn: 1573-7470,

Authors: Jan Treur; V. Wiktor Marek; Miroslaw Truszczynski;

doi: 10.1023/a:1018977721624 , 10.48550/arxiv.cs/9901016

arXiv: http://arxiv.org/abs/cs/9901016

handle: 1871.1/66057c1c-345b-4033-a52b-b9d4939a4045

Representation theory for default logic

- Summary
- Subjects
- Metrics

Abstract

Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem of representability of a family of theories as the set of extensions of a default theory. We give a complete solution to the representability by means of normal default theories. We obtain partial results on representability by arbitrary default theories. We construct examples of denumerable families of non-including theories that are not representable. We also study the concept of equivalence between default theories.

Annals of Mathematics and Artificial Intelligence, 21 (1997), pp. 343-358

Country

Netherlands

Related Organizations

University of Amsterdam
Netherlands
Vrije Universiteit Amsterdam
Netherlands
University of Kentucky
United States

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Knowledge representation, Computer Science - Artificial Intelligence, default logic, I.2.4, F.4.1, I.2.3, Logic in Computer Science (cs.LO)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	13
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%