312,730 research outputs found
Aircraft systems architecting: a functional-logical domain perspective
Presented is a novel framework for early systems architecture design. The framework defines data structures and algorithms that enable the systems architect to operate interactively and simultaneously in both the functional and logical domains. A prototype software tool, called AirCADia Architect, was implemented, which allowed the framework to be evaluated by practicing aircraft systems architects. The evaluation confirmed that, on the whole, the approach enables the architects to effectively express their creative ideas when synthesizing new architectures while still retaining control over the process
PDDL2.1: An extension of PDDL for expressing temporal planning domains
In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, planetary rover ex ploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet the challenges of application. The International Planning Competitions have acted as an important motivating force behind the progress that has been made in planning since 1998. The third competition (held in 2002) set the planning community the challenge of handling time and numeric resources. This necessitated the development of a modelling language capable of expressing temporal and numeric properties of planning domains. In this paper we describe the language, PDDL2.1, that was used in the competition. We describe the syntax of the language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling power --- exceeding the capabilities of current planning technology --- and presents a number of important challenges to the research community
Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic
We discuss the philosophical implications of formal results showing the con-
sequences of adding the epsilon operator to intuitionistic predicate logic. These
results are related to Diaconescuās theorem, a result originating in topos theory
that, translated to constructive set theory, says that the axiom of choice (an
āexistence principleā) implies the law of excluded middle (which purports to be
a logical principle). As a logical choice principle, epsilon allows us to translate
that result to a logical setting, where one can get an analogue of Diaconescuās
result, but also can disentangle the roles of certain other assumptions that are
hidden in mathematical presentations. It is our view that these results have not
received the attention they deserve: logicians are unlikely to read a discussion
because the results considered are āalready well known,ā while the results are
simultaneously unknown to philosophers who do not specialize in what most
philosophers will regard as esoteric logics. This is a problem, since these results
have important implications for and promise signif i cant illumination of contem-
porary debates in metaphysics. The point of this paper is to make the nature
of the results clear in a way accessible to philosophers who do not specialize in
logic, and in a way that makes clear their implications for contemporary philo-
sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism.
Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett,
realism, antirealis
Formal Concept Analysis and Resolution in Algebraic Domains
We relate two formerly independent areas: Formal concept analysis and logic
of domains. We will establish a correspondene between contextual attribute
logic on formal contexts resp. concept lattices and a clausal logic on coherent
algebraic cpos. We show how to identify the notion of formal concept in the
domain theoretic setting. In particular, we show that a special instance of the
resolution rule from the domain logic coincides with the concept closure
operator from formal concept analysis. The results shed light on the use of
contexts and domains for knowledge representation and reasoning purposes.Comment: 14 pages. We have rewritten the old version according to the
suggestions of some referees. The results are the same. The presentation is
completely differen
Intensional Models for the Theory of Types
In this paper we define intensional models for the classical theory of types,
thus arriving at an intensional type logic ITL. Intensional models generalize
Henkin's general models and have a natural definition. As a class they do not
validate the axiom of Extensionality. We give a cut-free sequent calculus for
type theory and show completeness of this calculus with respect to the class of
intensional models via a model existence theorem. After this we turn our
attention to applications. Firstly, it is argued that, since ITL is truly
intensional, it can be used to model ascriptions of propositional attitude
without predicting logical omniscience. In order to illustrate this a small
fragment of English is defined and provided with an ITL semantics. Secondly, it
is shown that ITL models contain certain objects that can be identified with
possible worlds. Essential elements of modal logic become available within
classical type theory once the axiom of Extensionality is given up.Comment: 25 page
- ā¦