Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Purchase individual online access for 1 year to this journal.
Price: EUR 410.00Impact Factor 2024: 0.4
Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:
- solutions by mathematical methods of problems emerging in computer science
- solutions of mathematical problems inspired by computer science.
Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, & algebraic and categorical methods.
Authors: Demolombe, Robert | Hilpinen, Risto
Article Type: Other
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. i-ii, 2001
Authors: Broersen, Jan | Wieringa, Roel | Meyer, John-Jules
Article Type: Research Article
Abstract: We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.
Keywords: ought-to-do norms, dynamic deontic logic, modal action logic
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 107-128, 2001
Authors: Carmo, José | Pacheco, Olga
Article Type: Research Article
Abstract: In this paper we address the problem of organized collective agency, and propose a deontic/action modal logic for that purpose. We argue that once we want to attribute obligations (permissions or other deontic notions) to a set of agents, we need to consider a new agent - that we called institutionalized agent, and specify how he interacts with the external world: how the obligations flow from the institutionalized agent to the real agents that support …him, and how the actions of the latter count as actions of the former. But an agent may act in many qualities (roles), and it is essential to know in which quality an agent has acted, or intends to act, for three main reasons: to know the effects of the act, its deontic qualification, and authentication issues. Thus, we extend the ``sees to it'' action operator with an explicit index that states the quality (role) in which the agent has acted. We also show how to associate obligations to roles, and illustrate how this can be used to express the desired flow of obligations. Show more
Keywords: action logic, deontic logic, collective agency
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 129-163, 2001
Authors: Carmo, Jose | Demolombe, Robert | Jones, Andrew J.I.
Article Type: Research Article
Abstract: In the field of information systems the term ``constraint'' is applied to statements of various kinds. Here we start from the analysis of a simple example to characterise the different kinds of constraints. It is shown that constraints may be necessary truths or deontic constraints. Moreover, deontic constraints are classified into three different types: deontic constraints about the world, deontic constraints about the representation of the world (self-completeness), and deontic constraints about the links between …the world and its representation (validity and completeness). We describe a modal logical framework to define the different types of constraints, to characterise their violations, and to show how to repair their violations. Two different general forms of deontic constraints are considered, namely O(�→ψ) and �→O�, and it is shown that, except for deontic constraints about the world, the latter is more appropriate. Special issues related to the definition of quantifiers in the context of modal operators are also considered. Show more
Keywords: Integrity, Information Systems, Modal Logic
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 165-181, 2001
Authors: Cholvy, Laurence | Garion, Christophe
Article Type: Research Article
Abstract: This paper presents an attempt to adapt, in the context of deontic reasoning, a logic defined by Boutilier for reasoning with conditional preferences. The first motivation for this work is that deontic logic can be given a semantics in terms of ordered worlds like in this kind of logic: the preference relation among worlds aims at ordering worlds from the most ideal ones to the least ideal ones. The second motivation is that Boutilier introduced a …model of an agent's ability by distinguishing between controllable, influenceable and uninfluenceable propositions. And we noticed that this partition can be related to the notions introduced by Carmo and Jones for reasoning with Contrary-To-Duties. This present work shows an extension of Boutilier's work in order to use his logic for reasoning with Contrary-To-Duties. An exhaustive study of a benchmark example of CTDs leads us to show that the results obtained with this extension coincide exactly with those obtained by Carmo and Jones. Show more
Keywords: Conditional preferences, Deontic reasoning, Contrary-To-Duties
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 183-204, 2001
Authors: Hansen, Jörg
Article Type: Research Article
Abstract: Though deontic logic is regarded as the logic of normative reasoning, norms – as entities lacking truth values – are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.
Keywords: logic of imperatives, deontic logic
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 205-226, 2001
Authors: Jennings, Ray E.
Article Type: Research Article
Abstract: The paper revisits a class of model structures introduced by the author in 1974, with particular attention to the system SCon, which axiomatizes the universal class. SCon, which independently deserves notice as an algebraically plausible weakest modal system, is self-dual; that is, its □ and ◊ have the same logic. The paper gives a semantic analysis of the system on model structures capable of an axiological interpretation, presenting a number of determination- and …correspondence-theoretic results. Some intriguing consequences of self-duality for the axiological interpretation of natural frames are discussed. Show more
Keywords:
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 227-236, 2001
Authors: Parent, Xavier
Article Type: Research Article
Abstract: We first analyse the future-orientated account of conditional obligation as put forth by David Makinson. We show that the introduction of the futurity dimension is not indispensable in the elimination of the identity principle. This leads us to a more general observation. Most systems of dyadic deontic logic either accept both the identity principle and the cumulativity condition, or exclude both. We then develop an account of defeasible conditional obligation based on the ``and next" operator, …as a solution to this dilemma. Show more
Keywords: Preferential models, defeasible deontic logic, futurity
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 237-252, 2001
Authors: Prakken, Henry
Article Type: Research Article
Abstract: This paper investigates whether current nonmonotonic logics are suitable for formalising the defeasibility of legal reasoning. It does so by studying the role of burden of proof in legal argument, in particular how allocations of burden of proof determine the required strength of counterarguments. It is argued that the two currently available modelling approaches both have some shortcomings. On the one hand, techniques for modelling burden of proof in nonmonotonic logics do not allow for shifts …of the burden of proof from one party to the other. On the other hand, current procedural models of legal argument are too rigid, in that every counterargument induces a shift of proof burdens; this fails to respect that in legal reasoning burden shifts only occur in some cases. It is then shown how current dialectical models of defeasible reasoning can be adapted to overcome these shortcomings. Show more
Keywords:
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 253-271, 2001
Authors: Sergot, Marek | Richards, Fiona
Article Type: Research Article
Abstract: The theory of normative positions attempts to apply a combination of deontic logic and a logic of action/agency to the formalisation of the `Hohfeldian concepts' (duty, right, power, privilege, etc.) and other complex normative relations between agents. This paper is concerned with the practical applicability of the theory to such tasks as formalising the content of an existing set of regulations, designing a new set of regulations, or refining aspects of a computer system specification, with …particular attention to the usefulness of the action component as a representational device. Points are made by reference to a simple example concerning rules in a car park. The second part of the paper covers three simple extensions: the representation of `permitted to bring about', a treatment of interpersonal control relations, and the ability to distinguish between being permitted to bring about a new state of affairs and being permitted to sustain a state of affairs that already exists. Show more
Keywords: Deontic logic, normative systems, logic of action
Citation: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 273-293, 2001
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]