| 1. |
- Dell'Acqua, Pierangelo, 1963-, et al.
(author)
-
Preferential theory revision
- 2007
-
In: Journal of Applied Logic. - : Elsevier BV. - 1570-8683 .- 1570-8691. ; 5:4 SPEC. ISS., s. 586-601
-
Journal article (peer-reviewed)abstract
- Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means of preferences on the possible abductive extensions to the theory. And, in particular, how to prefer among plausible abductive explanations justifying observations. © 2006 Elsevier B.V. All rights reserved.
|
|
| 2. |
- Dell'Acqua, Pierangelo, 1963-, et al.
(author)
-
Preferential theory revision
- 2006
-
In: Journal of Applied Logic. - 1570-8683 .- 1570-8691. ; Still in Press:Available on line
-
Journal article (peer-reviewed)
|
|
| 3. |
- Janlert, Lars-Erik, 1950-
(author)
-
Dark programming and the case for the rationality of programs
- 2008
-
In: Journal of Applied Logic. - : Elsevier. - 1570-8683 .- 1570-8691. ; 6, s. 545-552
-
Journal article (peer-reviewed)abstract
- Programming normally proceeds from subjective method to objective method: to program a task, you need to be able to do the task; at least “in principle.” Some new techniques of producing programs, exemplified by evolutionary algorithm techniques, do not involve any such subjective method. Is this still programming, and are the results really programs? To answer, the concept of program is reexamined. It is argued that in addition to being causative and descriptive, a program must also be rationally justifiable, i.e., the specific structure of the program should be explainable by the (rational) ways in which it contributes to achieving the intended goal. Whereas traditional programming is rational in the sense that it provides the program with a rationale by its reliance on subjective method and problem solving, these new techniques of “dark programming” do not produce any rationale; moreover, the results are not restricted to be easily rationalized. Dark programs are not guaranteed to be proper programs, but dark programming can still be used as a tool in proper (rational) programming. The business of programming then takes a turn from problem solving in the sense of invention and engineering towards problem solving in the sense of explanation and research.
|
|
| 4. |
- Lindahl, Lars, et al.
(author)
-
Intermediaries and intervenients in normative systems
- 2008
-
In: Journal of Applied Logic. - : Elsevier BV. - 1570-8683 .- 1570-8691. ; 6:2, s. 229-250
-
Journal article (peer-reviewed)abstract
- Many concepts in legal texts are “intermediaries”, in the sense that they serve as links between statements of legal grounds, on one hand, and of legal consequences, on the other. In our paper, an algebraic representation of normative systems is used for distinguishing between different kinds of intermediaries and making the idea of a joining between grounds and consequences more precise. In Section 1, the idea of intermediaries is presented and earlier discussions of the subjects are outlined. In Section 2, we introduce the algebraic framework and develop the formal theory. After introducing our approach to the representation of a normative system, we here present a theory of “intervenients”, seen as a tool for analysing intermediaries. In Section 3, dealing with applications, after presenting a model of the formal theory, suited for the analysis of concepts in normative systems, we apply the theory to a number of examples, introduced in the first part. Finally, in Section 4, we make some remarks on the methodology of intermediate concepts.
|
|
| 5. |
- Segerberg, Krister, 1936-
(author)
-
Blueprint for a dynamic deontic logic
- 2009
-
In: Journal of Applied Logic. - : Elsevier BV. - 1570-8683 .- 1570-8691. ; 7:4, s. 388-402
-
Journal article (peer-reviewed)abstract
- Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulae. In a second step we distinguish between what we call real and deontic actions.
|
|
