Decision procedures for BDI logics

1998 ◽  
Vol 8 (3) ◽  
pp. 293-342 ◽  
Author(s):  
A. Rao
Keyword(s):  
Decision Procedures

Monotonic and Non-Monotonic Logics of Knowledge1

1991 ◽  
Vol 15 (3-4) ◽  
pp. 255-274
Author(s):  
Rohit Parikh
Keyword(s):  
Model Theory ◽  
Decision Procedures ◽  
Logic Of Knowledge

We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.

Deciding Clause Classes by Semantic Clash Resolution

1993 ◽  
Vol 18 (2-4) ◽  
pp. 163-182
Author(s):  
Alexander Leitsch
Keyword(s):  
Decision Procedure ◽  
Decision Procedures ◽  
General Concept ◽  
Complexity Measure ◽  
Syntactical Structure

It is investigated, how semantic clash resolution can be used to decide some classes of clause sets. Because semantic clash resolution is complete, the termination of the resolution procedure on a class Γ gives a decision procedure for Γ. Besides generalizing earlier results we investigate the relation between termination and clause complexity. For this purpose we define the general concept of atom complexity measure and show some general results about termination in terms of such measures. Moreover, rather than using fixed resolution refinements we define an algorithmic generator for decision procedures, which constructs appropriate semantic refinements out of the syntactical structure of the clause sets. This method is applied to the Bernays – Schönfinkel class, where it gives an efficient (resolution) decision procedure.

scholarly journals Are there similarities between the Corona and the climate crisis?

2021 ◽  
Author(s):  
Robert C. Schmidt
Keyword(s):  
Climate Change ◽  
Political Parties ◽  
Decision Procedures ◽  
Free Rider ◽  
Decision Makers ◽  
Short Paper ◽  
Political Decision ◽  
Look Back ◽  
Policy Measures ◽  
Climate Crisis

AbstractIn this short paper, I look back at the early stages of the Corona crisis, around early February 2020, and compare the situation with the climate crisis. Although these two problems unfold on a completely different timescale (weeks in the case of Corona, decades in the case of climate change), I find some rather striking similarities between these two problems, related with issues such as uncertainty, free-rider incentives, and disincentives of politicians to adequately address the respective issue with early, farsighted and possibly harsh policy measures. I then argue that for complex problems with certain characteristics, it may be necessary to establish novel political decision procedures that sidestep the normal, day-to-day political proceedings. These would be procedures that actively involve experts, and lower the involvement of political parties as far as possible to minimize the decision-makers’ disincentives.

On a class of rational social decision procedures

1974 ◽  
Vol 8 (4) ◽  
pp. 471-482 ◽  
Author(s):  
John A Ferejohn ◽  
David M Grether
Keyword(s):  
Decision Procedures ◽  
Social Decision

Decision procedures for elementary sublanguages of set theory

1990 ◽  
Vol 6 (2) ◽  
pp. 189-201 ◽  
Author(s):  
D. Cantone ◽  
V. Cutello
Keyword(s):  
Set Theory ◽  
Decision Procedures

Rationalizing the Machinery of Government: The Conservatives, 1970–1974

1980 ◽  
Vol 28 (1) ◽  
pp. 84-98 ◽  
Author(s):  
Christopher Pollitt
Keyword(s):  
Organizational Structure ◽  
Central Government ◽  
White Paper ◽  
Decision Procedures

The White Paper The Reorganization of Central Government (Cmnd 4506) not merely announced extensive changes in the organizational structure of Whitehall, it did so in unusually ambitious and philosophically explicit terms. This paper traces the origins of the policies announced in the white paper, identifies the main groups and individuals involved, and shows how some elements were more successfully implemented than others. The concluding analysis seeks to penetrate behind the functional-rationalist vocabulary of Cmnd 4506 and identify an underlying set of choice criteria and decision procedures which permit a fuller explanation of the events of 1970—4.

Moving Beyond Procedure

2002 ◽  
Vol 35 (7) ◽  
pp. 784-813 ◽  
Author(s):  
AMIE KREPPEL
Keyword(s):  
European Union ◽  
European Parliament ◽  
Decision Procedures ◽  
The Other ◽  
Current Debate ◽  
Legislative Process ◽  
The European Union ◽  
The Impact ◽  
Legislative Influence

This article examines the influence of the European Parliament (EP) within the legislative process of the European Union. Although debate over the impact of the cooperation and co-decision I procedures continues, this article argues that, in part, the current theoretical debate is a false one that has caused many of the other important variables that affect EP legislative influence to be ignored. This article briefly revisits the current debate, then proceeds to an analysis of the success of more than 1,000 EP amendments under the cooperation and co-decision procedures. This evidence suggests that numerous other variables, such as internal EP unity and type of amendment made, have a significant impact on EP success, even controlling for procedure. In addition, this comparison points out some empirical differences between the two procedures that have been largely ignored in the theoretical debate but that nonetheless have a significant impact of EP success and merit further study.

Sign in / Sign up

Export Citation Format

Share Document