miun.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The Intensional Approach to Omniscience in Reasoning about Knowledge
Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
1991 (English)In: Proceedings of the 15th Information Technologies Conference: Vol. 2, University of Sarajevo , 1991, 235-1 p.Conference paper, (Other scientific)
Abstract [en]

The development of formal systems for reasoning about knowledge is one of the main research issues in Artificial Intelligence. A reoccuring problem in most of the systems is the one of logical omniscience or consequential closure which expresses the notion that when a reasoning agent knows anything he knows all its logical cosequences. This result is neither intuitively admissable nor computationally feasible. The paper explores the possibilities of restricting the omniscience in an intensional context.

Place, publisher, year, edition, pages
University of Sarajevo , 1991. 235-1 p.
Keyword [en]
Reasoning about knowledge, intensional, omniscience
National Category
Computer Science
Identifiers
URN: urn:nbn:se:miun:diva-1945Local ID: 1657OAI: oai:DiVA.org:miun-1945DiVA: diva2:26977
Available from: 2008-09-30 Created: 2008-09-30Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Popov, OliverDjonova-Popova, Iskra
By organisation
Department of Information Technology and Media
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 22 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf