Logics of belief

Viljoen, Elizabeth

dc.contributor.advisor	Labuschagne, Willem
dc.contributor.author	Viljoen, Elizabeth	en
dc.date.accessioned	2015-01-23T04:24:28Z
dc.date.available	2015-01-23T04:24:28Z
dc.date.issued	1997-04	en
dc.identifier.citation	Viljoen, Elizabeth (1997) Logics of belief, University of South Africa, Pretoria, <http://hdl.handle.net/10500/17812>	en
dc.identifier.uri	http://hdl.handle.net/10500/17812
dc.description.abstract	The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's autoepistemic logic it becomes possible to compare an agent's beliefs to 'reality', which cannot be done directly in the possible world semantics. Levesque's semantics makes explicit in the object language the notion of 'this is all the information the agent has', which plays an important role in nonmonotonic reasoning. Both of these approaches deal with ideal reasoners. The third approach, Konolige's deduction model, is based on a semantics capable of describing the beliefs of one or more resourcebounded agents. Finally, the AGM postulates for belief revision are discussed.	en
dc.format.extent	1 online resource (ii, 85 leaves)	en
dc.language.iso	en
dc.subject	Logic of belief	en
dc.subject	Epistemic logic	en
dc.subject	Possible worlds	en
dc.subject	Autoepistemic logic	en
dc.subject	Agent	en
dc.subject	Ideal reasoner	en
dc.subject	Only knowing	en
dc.subject	Resource-bounded reasoner	en
dc.subject	Deduction model	en
dc.subject	Belief revision	en
dc.subject	AGM postulates	en
dc.subject.ddc	006.3	en
dc.subject.lcsh	Logic programming	en
dc.subject.lcsh	Default reasoning	en
dc.subject.lcsh	Artificial intelligence	en
dc.title	Logics of belief	en
dc.type	Dissertation	en
dc.description.department	Computer Science	en
dc.description.degree	M.Sc. (Computer Science)	en