English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  Parameter Structures for Parametrized Modal Operators

Ohlbach, H. J., & Herzig, A. (1991). Parameter Structures for Parametrized Modal Operators. In J. Mylopoulos, & R. Reiter (Eds.), Proc. Intern. Joint Conference on Artificial Intelligence (IJCAI'91) (pp. 512-517). San Mateo, CA: Morgan Kaufmann.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C361-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C362-8
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ohlbach, Hans Jürgen1, Author           
Herzig, Andreas1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: The parameters of the parametrized modal operators [p] and \Diamondp usually represent agents (in the epistemic interpretation) or actions (in the dynamic logic interpretation) or the like. In this paper the application of the idea of parametrized modal operators is extended in two ways: First of all a modified neighbourhood semantics is defined which permits among others the interpretation of the parameters as probability values. A formula [.5]F may for example express the fact that in at least 50% of all cases (worlds) F holds. These probability values can be numbers, qualitative descriptions and even arbitrary terms. Secondly a general theory of the parameters and in particular of the characteristic operations on the parameters is developed which unifies for example the multiplication of numbers in the probabilistic interpretation of the parameters and the sequencing of actions in the dynamic logic interpretation.

Details

show
hide
Language(s):
 Dates: 1991
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: OhlbachHerzig91a
 Degree: -

Event

show
hide
Title: 12th International Joint Conference on Artificial Intelligence
Place of Event: Sydney, Australia
Start-/End Date: 1991-08-24 - 1991-08-30

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proc. Intern. Joint Conference on Artificial Intelligence (IJCAI'91)
  Abbreviation : IJCAI 1991
Source Genre: Proceedings
 Creator(s):
Mylopoulos, John1, Editor
Reiter, Raymond1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: San Mateo, CA : Morgan Kaufmann
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 512 - 517 Identifier: ISBN: 1-55860-160-0