Almost definite causal theories

Date

2004-01-01

Author

Dogandag, S
Ferraris, P
Lifschitz, V

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

91
views

0
downloads

The language of nonmonotonic causal theories, defined by Norman McCain and Hudson Turner, is an important formalism for representing properties of actions. For causal theories of a special kind, called definite, a simple translation into the language of logic programs under the answer set semantics is available. In this paper we define a similar translation for causal theories of a more general form, called almost definite. Such theories can be used, for instance, to characterize the transitive closure of a binary relation. The new translation leads to an implementation of a subclass of almost definite causal theories that employs the answer set solver SMODELS as the search engine.

Subject Keywords

Logic programs

URI

https://hdl.handle.net/11511/67079

Journal

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

A study on the relation between logic and information Beygu, Tankut; Grünberg, David; Department of Philosophy (2003) Gaining prominence at first as a technological concept, information has found a significant role in the study of various problems in philosophy as well as in the diverse fields of science and technology.Though widely employed and studied, information is a complex notion, as it were, resisting a compact description of its characteristics, appearing non-uniformly in such miscellaneous ways as an organizing principle, a form of knowledge, and a connotation of entropy. Apparently, there is a need for further st...
An attempt to make a definition of existence and constructing a foundation for an axiomatic system of ontology Çağatay, Hasan; Grünberg, Teo; Department of Philosophy (2007) This thesis aims to make an analysis of the concepts of ‘existence’. It also constructs four new definitions based on the concept of ‘effect’ for different concepts of beings. By reasoning based on these definitions and some pre-suppositions, a foundation for an axiomatic system of ontology is tried to construct.
Stable controller design for T-S fuzzy systems based on Lie algebras Banks, SP; Gurkan, E; Erkmen, İsmet (Elsevier BV, 2005-12-01) In this paper, we study the stability of fuzzy control systems of Takagi-Sugeno-(T-S) type based on the classical theory of Lie algebras. T-S fuzzy systems are used to model nonlinear systems as a set of rules with consequents of the type x(t) = A(l)x (t) + B(l)u (t). We conduct the stability analysis of such T-S fuzzy models using the Lie algebra LA generated by the A(l) matrices of these subsystems for each rule in the rule base. We first develop our approach of stability analysis for a commuting algebra ...
VALUE PLURALISM AND COMPROMISE IN THE POLITICAL SPHERE ATALAY, MERT; PARKAN, BARIŞ; Department of Philosophy (2022-9) This thesis develops an account of value pluralism which claims that the conception of “the political” is constituted by value pluralism and accordingly, “the political” is the sphere that is comprised of plural values and aims. Within this account of value pluralism, making compromises is accepted to be the viable option of resolving conflicts and disagreements in the political sphere. Besides, as this thesis argues, when compromises are made sensibly, the plural ways of expression are maintained in the po...
A FOUCAULDIAN ANALYSIS OF BARACK OBAMA’S NATIONAL SECURITY AND COUNTER-TERRORISM DISCOURSE Ileri, Kasim; Bahçecik, Şerif Onur; Department of International Relations (2021-8-13) This study is on a qualitative analysis of Barack Obama’s discourse of counterterrorism strategy. With a theoretical subscription to Michel Foucault’s approach to discourse it tries to make an understanding of how Barack Obama reorganized the American counter-terrorism discourse as well as norms of security within American society. By taking key speeches by Obama on national security throughout his presidency (2009-2017) and executive orders as well as memoranda produced under his administration, this study...

Citation Formats

S. Dogandag, P. Ferraris, and V. Lifschitz, “Almost definite causal theories,” LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, pp. 74–86, 2004, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/67079.