On the Progression of Belief

2021 ◽  
Author(s):  
Daxin Liu ◽  
Qihui Feng
Keyword(s):  
Knowledge Base ◽  
Free Action ◽  
The Other ◽  
Situation Calculus ◽  
Possible World ◽  
Initial State ◽  
Possible World Semantics ◽  
Probabilistic Knowledge ◽  
The Future ◽  
Categorical Knowledge

Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of belief. The logic has many desirable properties like full introspection and it is able to precisely capture the beliefs of a probabilistic knowledge base in terms of the notion of only-believing. While the proposal is intuitively appealing, it is unclear how to do planning with such logic. The reason behind this is that the logic lacks projection reasoning mechanisms. Projection reasoning, in general, is to decide what holds after actions. Two main solutions to projection exist: regression and progression. Roughly, regression reduces a query about the future to a query about the initial state while progression, on the other hand, changes the initial state according to the effects of actions and then checks whether the formula holds in the updated state. In this paper, we study projection by progression in the logic DS. It is known that the progression of a categorical knowledge base wrt a noise-free action corresponds to what is only-known after that action. We show how to progress a type of probabilistic knowledge base wrt noisy actions by the notion of only-believing after actions. Our notion of only-believing is closely related to Lin and Reiter's notion of progression.

scholarly journals Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

2007 ◽  
Vol 7 (4) ◽  
pp. 377-450 ◽  
Author(s):  
PHAN HUY TU ◽  
TRAN CAO SON ◽  
CHITTA BARAL
Keyword(s):  
Incomplete Information ◽  
Answer Set Programming ◽  
Planning Problem ◽  
Possible World ◽  
Initial State ◽  
Possible World Semantics ◽  
Sensing Actions ◽  
Action Theories ◽  
Causal Laws ◽  
Answer Set

AbstractWe extend the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation isNP-complete. We then present an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans in the presence of sensing actions, incomplete information about the initial state, and static causal laws. We prove the correctness of our implementation and argue that our planner is sound and complete with respect to the proposed approximation. Finally, we present experimental results comparing ASCP to other planners.

Deontic modals and hyperintensionality

2019 ◽  
Vol 27 (4) ◽  
pp. 387-410 ◽  
Author(s):  
Federico L G Faroldi
Keyword(s):  
Deontic Logic ◽  
Free Choice ◽  
Explanatory Power ◽  
The Other ◽  
Possible World ◽  
Deontic Modals ◽  
Possible World Semantics ◽  
Good Samaritan ◽  
Definition Of ◽  
Better Than

Abstract In this paper I argue that deontic modals are hyperintensional, i.e. logically equivalent contents cannot be substituted in their scope. I give two arguments, one deductive and the other abductive. First, I show that the contrary thesis (that deontic modals are not hyperintensional) leads to falsity; second, I argue that a hyperintensional theory of deontic modals fares better than its rivals in terms of elegance, theoretical simplicity and explanatory power (e.g. Ross’s paradox, the Gentle Murderer, The Good Samaritan, Free Choice Permission and the Miners’ Paradox disappear). I then propose a philosophical analysis of this thesis and outline some consequences. In Section 1 I introduce and define deontic modality and hyperintensionality. In Section 2 I give a reductio for the hyperintensionality of deontic modals. If the argument is sound, a useful corollary is that deontic modals are also non-intensional, and therefore possible-world semantics accounts are illfitted for them. I then show how the main result can be strengthened or weakened by varying the definition of logical validity. In Section 3 I give an abductive argument for the hyperintensionality of deontic modals, arguing that with a single move we are able to solve many paradoxes and puzzles traditionally troubling deontic logic. I present a version of a hyperintensional deontic logic in an appendix, which I prove is sound and complete with respect to a version of truthmaker semantics.

scholarly journals PROPOSITIONALITY AND FACTIVITY EXPRESSED BY CONJUNCTIONS DA, ŠTO AND ČE IN SERBIAN AND BULGARIAN FROM THE SUBJUNCTIVE PERSPECTIVE

2017 ◽  
pp. 222-231
Author(s):  
A. A. Janić
Keyword(s):  
The Other ◽  
Possible World ◽  
Possible World Semantics ◽  
Other Hand ◽  
The Subject

The subject of this paper is the semantic and syntactic nature of Serbian complementizers da and što, as well as Bulgarian da and če, and the relation among all of them in the light of (non-)specificity for factivity and propositionality. They have been analyzed in various syntactic contexts and have also been related to the possible world semantics, as well as to the subjunctive semantics. Stemming from the relation propositional-factive, it is concluded that da-complements in Bulgarian can just be connected to a strong subjunctivity. On the other hand, with dacomplements in Serbian both the strong and the weak subjunctive are expressed. Considering all of the above, it is clear that the usage of da is broader in Serbian than in Bulgarian, and that da marks the subjunctive context in both languages. After comparing these four complementizers, we can conclude that the Bulgarian da is stronger than the Serbian da, and that the Serbian što is stronger than the Bulgarian če. In other words, the Serbian da (it can be propositional or factive) and Bulgarian če (propositional or factive) are non-specified complementizers, contrary to the Bulgarian da (propositional) and Serbian što (mainly factive, compared to sentences with da), which are specified.

A First-Order Logic of Limited Belief Based on Possible Worlds

2020 ◽  
Author(s):  
Gerhard Lakemeyer ◽  
Hector J. Levesque
Keyword(s):  
Knowledge Base ◽  
Epistemic Logic ◽  
Possible Worlds ◽  
Order Logic ◽  
First Order Logic ◽  
Possible World ◽  
Possible World Semantics ◽  
First Order ◽  
Epistemic States

In a recent paper Lakemeyer and Levesque proposed a first-order logic of limited belief to characterize the beliefs of a knowledge base (\KB). Among other things, they show that their model of belief is expressive, eventually complete, and tractable. This means, roughly, that a \KB\ may consist of arbitrary first-order sentences, that any sentence which is logically entailed by the \KB\ is eventually believed, given enough reasoning effort, and that reasoning is tractable under reasonable assumptions. One downside of the proposal is that epistemic states are defined in terms of sets of clauses, possibly containing variables, giving the logic a distinct syntactic flavour compared to the more traditional possible-world semantics found in the literature on epistemic logic. In this paper we show that the same properties as above can be obtained by defining epistemic states as sets of three-valued possible worlds. This way we are able to shed new light on those properties by recasting them using the more familiar notion of truth over possible worlds.

scholarly journals Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic

2021 ◽  
Author(s):  
Daxin Liu ◽  
Gerhard Lakemeyer
Keyword(s):  
Knowledge Base ◽  
Possible Worlds ◽  
Rational Numbers ◽  
Knowledge Bases ◽  
Situation Calculus ◽  
Degrees Of Belief ◽  
Action Logic ◽  
Probabilistic Knowledge ◽  
Interesting Class ◽  
Probabilistic Action

In a recent paper Belle and Lakemeyer proposed the logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of belief based on weighted possible worlds. Among other things, they were able to precisely capture the beliefs of a probabilistic knowledge base in terms of the concept of only-believing. While intuitively appealing, the logic has a number of shortcomings. Perhaps the most severe is the limited expressiveness in that degrees of belief are restricted to constant rational numbers, which makes it impossible to express arbitrary belief distributions. In this paper we will address this and other shortcomings by extending the language and modifying the semantics of belief and only-believing. Among other things, we will show that belief retains many but not all of the properties of DS. Moreover, it turns out that only-believing arbitrary sentences, including those mentioning belief, is uniquely satisfiable in our logic. For an interesting class of knowledge bases we also show how reasoning about beliefs and meta-beliefs after performing noisy actions and sensing can be reduced to reasoning about the initial beliefs of an agent using a form of regression.

On the role of the dispute between "non-possessors" and "Josephites" in the culture of Moscow's prediction

1998 ◽  
pp. 61-62
Author(s):  
N. S. Jurtueva
Keyword(s):  
The Other ◽  
Moral Transformation ◽  
15Th Century ◽  
The Future ◽  
Secular Power

In the XIV century. centripetal tendencies began to appear in the Moscow principality. Inside the Russian church, several areas were distinguished. Part of the clergy supported the specificobar form. The other understood the need for transformations in society. As a result, this led to a split in the Russian church in the 15th century for "non-possessors" and "Josephites". The former linked the fate of the future with the ideology of hesychasm and its moral transformation, while the latter sought support in alliance with a strong secular power.

‘Newness which never perishes’? Schoenberg’s ambivalent reception of Haydn

2010 ◽  
Vol 51 (1-2) ◽  
pp. 215-224
Author(s):  
Alexander Carpenter
Keyword(s):  
The Other ◽  
Major Influence ◽  
Musical Style ◽  
The Past ◽  
Other Hand ◽  
The Future ◽  
Music Tradition

This paper explores Arnold Schoenberg’s curious ambivalence towards Haydn. Schoenberg recognized Haydn as an important figure in the German serious music tradition, but never closely examined or clearly articulated Haydn’s influence and import on his own musical style and ethos, as he did with many other major composers. This paper argues that Schoenberg failed to explicitly recognize Haydn as a major influence because he saw Haydn as he saw himself, namely as a somewhat ungainly, paradoxical figure, with one foot in the past and one in the future. In his voluminous writings on music, Haydn is mentioned by Schoenberg far less frequently than Bach, Mozart, or Beethoven, and his music appears rarely as examples in Schoenberg’s theoretical texts. When Schoenberg does talk about Haydn’s music, he invokes — with tacit negativity — its accessibility, counterpoising it with more recondite music, such as Beethoven’s, or his own. On the other hand, Schoenberg also praises Haydn for his complex, irregular phrasing and harmonic exploration. Haydn thus appears in Schoenberg’s writings as a figure invested with ambivalence: a key member of the First Viennese triumvirate, but at the same time he is curiously phantasmal, and is accorded a peripheral place in Schoenberg’s version of the canon and his own musical genealogy.

PENYELESAIAN SENGKETA PEMILU AKIBAT PENGGELEMBUNGAN SUARA DI KABUPATEN TAPIN

2015 ◽  
Vol 1 (1) ◽  
Author(s):  
Gusti Muhammad Ihsan Perdana
Keyword(s):  
Time Trial ◽  
General Election ◽  
The Other ◽  
District Court ◽  
Criminal Trials ◽  
Criminal Offense ◽  
Criminal Charge ◽  
The Future ◽  
The Republic ◽  
Legislative Election

 Legislative election in distric Tapin was spotted with a vote, conducted by members of the Commission, M. Zainnoor Wal Aidi Rahmad win a legislative candidate from the Golkar Party, namely Bambang Herry Purnama the 2014-2019. Elections Honorary Council for General Election Organizer of the Republic of Indonesia as No. 15 / DKPP-PKE-III / 2014 has imposed sanctions on Zainnoor Wal Aidi M. Rahmad form of dismissal remain as a member of the Tapin district Elections Commission since the verdict was read. Rantau’s District Court in its decision No. 135 / Pid-Sus /2014/PN.Rta, Bringing the sanctions in the form of imprisonment for 10 months with the criminal provisions do not need to be run in the future unless is another command in the verdict that convicted before time trial during the 12 (twelve months) ends have been guilty of a criminal offense and a fine of Rp. 10,000,000.00 (ten million). Dismissal sanctions remain to perpetrators as member of the district KPU Tapin have sense of fairness, but the connection with the criminal charge of criminal trials less reflectjustice for his actions that allow offenders not sentenced to imprisonment and the other party can not do the same.Keywords: Elections Tapin distric, Inflation Voice, Sanctions

JUAL BELI TANAH YANG DILAKUKAN TANPA AKTA PPAT

2018 ◽  
Vol 4 (1) ◽  
pp. 89-107
Author(s):  
Cheri Bayuni Budjang
Keyword(s):  
Everyday Life ◽  
Government Regulation ◽  
Land Rights ◽  
The Other ◽  
Legal Certainty ◽  
Land Registration ◽  
The Future ◽  
The Right ◽  
Laws And Regulations

Buying and selling is a way to transfer land rights according to the provisions in Article 37 paragraph (1) of Government Regulation Number 24 of 1997 concerning Land Registration which must include the deed of the Land Deed Making Official to register the right of land rights (behind the name) to the Land Office to create legal certainty and minimize the risks that occur in the future. However, in everyday life there is still a lot of buying and selling land that is not based on the laws and regulations that apply, namely only by using receipts and trust in each other. This is certainly very detrimental to both parties in the transfer of rights (behind the name), especially if the other party is not known to exist like the Case in Decision Number 42 / Pdt.G / 2010 / PN.Mtp

Basic Concepts and Definitions of Allergology

2019 ◽  
Author(s):  
Zoran Vrucinic
Keyword(s):  
Immune Reaction ◽  
The Body ◽  
The Other ◽  
Specific Response ◽  
Other Hand ◽  
Medical Vocabulary ◽  
The Future ◽  
Basic Concepts ◽  
Basic Insight ◽  
Insight Into

The future of medicine belongs to immunology and alergology. I tried to not be too wide in description, but on the other hand to mention the most important concepts of alergology to make access to these diseases more understandable, logical and more useful for our patients, that without complex pathophysiology and mechanism of immune reaction,we gain some basic insight into immunological principles. The name allergy to medicine was introduced by Pirquet in 1906, and is of Greek origin (allos-other + ergon-act; different reaction), essentially representing the reaction of an organism to a substance that has already been in contact with it, and manifested as a specific response thatmanifests as either a heightened reaction, a hypersensitivity, or as a reduced reaction immunity. Synonyms for hypersensitivity are: altered reactivity, reaction, hypersensitivity. The word sensitization comes from the Latin (sensibilitas, atis, f.), which means sensibility,sensitivity, and has retained that meaning in medical vocabulary, while in immunology and allergology this term implies the creation of hypersensitivity to an antigen. Antigen comes from the Greek words, anti-anti + genos-genus, the opposite, anti-substance substance that causes the body to produce antibodies.

Sign in / Sign up

Export Citation Format

Share Document