An agent may have preferences over states and an agent may have preferences over actions. In this paper, we explore the connection between these distinct forms of preference, in the context where action effects are gi...
详细信息
In the context of the study of rule-based programming, we focus in this paper on the property of C-reducibility, expressing that every term reduces to a constructor term on at least one of its rewriting derivations. T...
详细信息
This study was carried out in training companies and aims to evaluate customer satisfaction. It focusses at the Organizations’ Quality-of-Management (QoM) that is in itself a major competitive advantage to differenti...
详细信息
We aim at investigating the intersection-type assignment system for lambda calculus, with the Curry-Howard approach. We devise a propositional logic, whose notable characteristic is the presence of the hyperformulae d...
详细信息
Recently there has been an increasing interest in incorporating "intensional" functions in answer set programming. Intensional functions are those whose values can be described by other functions and predica...
详细信息
ISBN:
(纸本)9781577356332
Recently there has been an increasing interest in incorporating "intensional" functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of "Answer Set programming Modulo Theories (ASPMT)" -a tight integration of answer set programming and satisfiability modulo theories, under which existing integration approaches can be viewed as special cases where the role of functions is limited. We show that "tight" ASPMT programs can be translated into SMT instances, which is similar to the known relationship between ASP and SAT.
We propose a notion of interval object in a category with finite products, providing a universal property for closed and bounded real line segments. The universal property gives rise to an analogue of primitive recurs...
详细信息
ISBN:
(纸本)076951281X
We propose a notion of interval object in a category with finite products, providing a universal property for closed and bounded real line segments. The universal property gives rise to an analogue of primitive recursion for defining computable functions on the interval. We use this to define basic arithmetic operations and to verify equations between them. Ve test the notion in categories of interest. In the category of sets, any closed and bounded interval of real numbers is an interval object. In the category of topological spaces, the interval objects are closed and bounded intervals with the Euclidean topology. We also prove that an interval object exists in any elementary topos with natural numbers object.
Sleepers, a high-level control mechanism, have already been embedded in different programming languages - Pascal, C, Common Lisp. In this paper we discuss their employment in a logic programming framework. Sleepers ar...
详细信息
Actor Prolog is a concurrent object-oriented logic language developed in [1]. We demonstrate a state-of-the-art translator of Actor Prolog to Java developed in the framework of the Intelligent Visual Surveillance Logi...
详细信息
In this paper, we propose a formal framework for specifying rule replacements in nonmonotonic logic programs within the answer-set programming paradigm. Of particular interest are replacement schemas retaining specifi...
详细信息
We present a selective backtracking method for Horn clause programs, as applied to Prolog [2] [6] [11][12], a programming language based on first-order predicate calculus [3] [4]," developed at the university of ...
详细信息
暂无评论