作者：
van Emden, MaartenUniv of Waterloo
Logic Programming Group Waterloo Ont Can Univ of Waterloo Logic Programming Group Waterloo Ont Can
A Fifth-Generation Computer System (FGCS), as usually understood, requires breakthroughs in artificial intelligence and parallel processing. We identify 'near-term' FGCS's relying only on existing developm...
详细信息
ISBN:
(纸本)089791144X
A Fifth-Generation Computer System (FGCS), as usually understood, requires breakthroughs in artificial intelligence and parallel processing. We identify 'near-term' FGCS's relying only on existing developments in hardware, user interfaces, and software techniques integrating databases and a wide range of programming paradigms to achieve much of the social utility expected of FGCS's of the long-term variety. We identify these developments and argue that logicprogramming is too good to be left to the Japanese: that it is an economical basis for a Western near-term FGCS project.
Answer set programming (ASP) is a popular problem solving paradigm with applications in planning and configuration. In practice, the number of answer sets can be overwhelmingly high, which naturally causes interest in...
详细信息
We put forward and provide an empirical evaluation of strategies for fully automatic flexible dispute derivations for assumption-based argumentation (ABA). These being a novel dialectical means of judging claims in th...
详细信息
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivat...
详细信息
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that the proposed notion of refinement is sensible with respect to the theory of bigraphical reactive systems;and we propose a sufficient condition for guaranteeing the existence of a safety-preserving vertical refinement. We postulate the existence of a complimentary notion of horizontal refinement for bigraphical agents, and finally we discuss the connection of this work to the general refinement of Reeves and Streader.
We provide upper bounds for the determining number and the metric dimension of tournaments. A set of vertices S⊆. V(T) is a determining set for a tournament T if every nontrivial automorphism of T moves at least one v...
详细信息
This paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L 0 ⇍ L 1 &⋯& L n where each L i is a literal. We call such clauses generally Horn clauses. Any such end...
详细信息
This paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L 0 ⇍ L 1 &⋯& L n where each L i is a literal. We call such clauses generally Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic). Thus, as a second contribution, we give a robust semantics for generally Horn programs that allows us to “make sense” of sets of generally Horn clauses that are inconsistent (in the two-valued logic sense). This applies to the design of very large knowledge bases where inconsistent information is often present.
Computers have been employed within the field of education for many years, often with disappointing results. However, recent and current research within the field of artificial intelligence (AI) is having a positive i...
详细信息
Computers have been employed within the field of education for many years, often with disappointing results. However, recent and current research within the field of artificial intelligence (AI) is having a positive impact on educational applications. For example, there now exist ICAI (intelligent computer-assisted instruction) systems to teach or tutor many different subjects; several such systems are discussed herein. In addition to CAI (computer-assisted instruction) systems, we discuss the development of learning environments that are designed to facilitate student-initiated learning. A third major application is the use of expert systems to assist with educational diagnosis and assessment. During the course of our discussion of these three major application areas, we indicate where AI has already played a major role in the development of such systems and where further research is required in order to overcome current limitations.
Serious Prolog implementations in recent years have been primarily compiler-based, nearly all of which are founded on the abstract instruction set of Warren [1983]. The performance achieved by such implementations gre...
详细信息
Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]. Machine functions describe the operation of a ...
详细信息
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac, is essentially a sm...
详细信息
暂无评论