共查询到20条相似文献,搜索用时 93 毫秒
1.
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant called ES is proposed that captures much of the expressive power of the original, but where certain technical results are much more easily proved. This is illustrated using two existing non-trivial results: the determinacy of knowledge theorem of Reiter and the regression theorem, which reduces reasoning about the future to reasoning about the initial situation. Furthermore, we show the correctness of our approach by embedding ES in Reiter's situation calculus. 相似文献
2.
Michael Thielscher 《Artificial Intelligence》2011,(1):120-141
McCarthy's Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. Four decades of research in this area have led to a variety of alternative formalisms: While some approaches can be considered instances or extensions of the classical Situation Calculus, like Reiter's successor state axioms or the Fluent Calculus, there are also special planning languages like ADL and approaches based on a linear (rather than branching) time structure like the Event Calculus. The co-existence of many different calculi has two main disadvantages: The formal relations among them is a largely open issue, and a lot of today's research concerns the transfer of specific results from one approach to another. In this paper, we present a unifying action calculus, which encompasses (well-defined classes of) all of the aforementioned formalisms. Our calculus not only facilitates comparisons and translations between specific approaches, it also allows to solve interesting problems for various calculi at once. We exemplify this by providing a general, calculus-independent solution to a problem of practical relevance, which is intimately related to McCarthy's quest for elaboration tolerant formalisms: the modularity of domain axiomatizations. 相似文献
3.
Managing uncertainty during the knowledge engineering process from elicitation to validation and verification requires a flexible, intuitive, and semantically sound knowledge representation. This is especially important since this process is typically highly interactive with the human user to add, update, and maintain knowledge. In this paper, we present a model of knowledge representation called Bayesian Knowledge-Bases (BKBs). It unifies a ‘if-then’ style rules with probability theory. We also consider the computational efficiency of reasoning over BKBs. We can show that through careful construction of the knowledge-base, reasoning is computationally tractable and can in fact be polynomial-time. BKBs are currently fielded in the PESKI intelligent system development environment. 相似文献
4.
5.
In this paper we discuss reasoning about reasoning in a multiple agent scenario. We consider agents that are perfect reasoners, loyal, and that can take advantage of both the knowledge and ignorance of other agents. The knowledge representation formalism we use is (full) first order predicate calculus, where different agents are represented by different theories, and reasoning about reasoning is realized via a meta-level representation of knowledge and reasoning. The framework we provide is pretty general: we illustrate it by showing a machine checked solution to the three wisemen puzzle. The agents' knowledge is organized into units: the agent's own knowledge about the world and its knowledge about other agents are units containing object-level knowledge; a unit containing meta-level knowledge embodies the reasoning about reasoning and realizes the link among units. In the paper we illustrate the meta-level architecture we propose for problem solving in a multi-agent scenario; we discuss our approach in relation to the modal one and we compare it with other meta-level architectures based on logic. Finally, we look at a class of applications that can be effectively modeled by exploiting the meta-level approach to reasoning about knowledge and reasoning. 相似文献
6.
Franz J. Kurfess 《Applied Intelligence》2000,12(1-2):7-13
As the second part of a special issue on Neural Networks and Structured Knowledge, the contributions collected here concentrate on the extraction of knowledge, particularly in the form of rules, from neural networks, and on applications relying on the representation and processing of structured knowledge by neural networks. The transformation of the low-level internal representation in a neural network into higher-level knowledge or information that can be interpreted more easily by humans and integrated with symbol-oriented mechanisms is the subject of the first group of papers. The second group of papers uses specific applications as starting point, and describes approaches based on neural networks for the knowledge representation required to solve crucial tasks in the respective application.The companion first part of the special issue [1] contains papers dealing with representation and reasoning issues on the basis of neural networks. 相似文献
7.
基于数据库的知识表达与推理研究 总被引:4,自引:0,他引:4
本文研究了专家系统的知识表达和推理机制,提出了基于数据库的知识表达方式。这种方式使数据库具有了知识库的功能,使知识更容易表达和管理。同时,提出了满足这种表达方式的推理机制,提高了专家系统的推理效率。 相似文献
8.
常识知识的研究与发展得到了人工智能界的很大重视。文章建立了一个基于常识的人物亲属关系推理模型,研究了亲属关系常识以及人物信息的表示与存储。此外,对实际所要解决的问题进行了总结。 相似文献
9.
10.
Alexander Bochman 《Artificial Intelligence》2004,160(1-2):105-143
We introduce logical formalisms of production and causal inference relations based on input/output logics of Makinson and Van der Torre [J. Philos. Logic 29 (2000) 383–408]. These inference relations will be assigned, however, both standard semantics (giving interpretation to their rules), and natural nonmonotonic semantics based on the principle of explanation closure. The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [Proc. AAAI-97, Providence, RI, 1997, pp. 460–465]. The results of the study suggest production and causal inference as general nonmonotonic formalisms providing an alternative representation for a significant part of nonmonotonic reasoning. 相似文献
11.
文章对专家系统技术在产品维修性设计中的应用进行了研究,提出了该系统的总体结构方案和特点、知识表示和知识获取、推理机技术,并对计算机辅助维修性设计现状进行了简要分析。 相似文献
12.
13.
14.
Douglas Walton 《Artificial Intelligence and Law》2014,22(4):423-449
This paper applies two argumentation schemes, argument from fairness and argument from lack of knowledge (along with other schemes of lesser prominence) to model the reasoning given by Judge McCarthy supporting his decision to divide the proceeds of a homerun baseball in the case of Popov v. Hayashi. Several versions of both schemes are explained and discussed, and then applied to the argumentation given by Judge McCarthy as the basis of the reasoning used to arrive at his decision. The scheme for argument from fairness is shown to be based on a special principle in Perelman’s theory of justice. 相似文献
15.
16.
Knowledge-based programs 总被引:1,自引:0,他引:1
Summary. Reasoning about activities in a distributed computer system at the level of the knowledge of individuals and groups allows us to abstract away from many concrete details of the system we are considering. In this
paper, we make use of two notions introduced in our recent book to facilitate designing and reasoning about systems in terms
of knowledge. The first notion is that of a knowledge-based program. A knowledge-based program is a syntactic object: a program with tests for knowledge. The second notion is that of a context, which captures the setting in which a program is to be executed. In a given context, a standard program (one without tests
for knowledge) is represented by (i.e., corresponds in a precise sense to) a unique system. A knowledge-based program, on the other hand, may be represented
by no system, one system, or many systems. In this paper, we provide a sufficient condition for a knowledge-based program
to be represented in a unique way in a given context. This condition applies to many cases of interest, and covers many of
the knowledge-based programs considered in the literature. We also completely characterize the complexity of determining whether
a given knowledge-based program has a unique representation, or any representation at all, in a given finite-state context.
Received: October 1995 / Accepted: February 1997 相似文献
17.
Richard W. Weyhrauch Marco Cadoli Carolyn L. Talcott 《Journal of Logic, Language and Information》1998,7(1):77-101
Many formalisms for reasoning about knowing commit an agent to be logically omniscient. Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things. A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents. With few exceptions, these approaches are modifications of the possible-worlds semantics. In this paper we use a combination of several general techniques for building non-omniscient reasoners. First we provide for the explicit representation of notions such as problems, solutions, and problem solving activities, notions which are usually left implicit in the discussions of autonomous agents. A second technique is to take explicitly into account the notion of resource when we formalize reasoning principles. We use the notion of resource to describe interesting principles of reasoning that are used for ascribing knowledge to agents. For us, resources are abstract objects. We make extensive use of ordering and inaccessibility relations on resources, but we do not find it necessary to define a metric. Using principles about resources without using a metric is one of the strengths of our approach.We describe the architecture of a reasoner, built from a finite number of components, who solves a puzzle, involving reasoning about knowing, by explicitly using the notion of resource. Our approach allows the use of axioms about belief ordinarily used in problem solving – such as axiom K of modal logic – without being forced to attribute logical omniscience to any agent. In particular we address the issue of how we can use resource-unbounded (e.g., logically omniscient) reasoning to attribute knowledge to others without introducing contradictions. We do this by showing how omniscient reasoning can be introduced as a conservative extension over resource-bounded reasoning. 相似文献
18.
《International journal of human-computer studies》2013,71(2):131-134
This special issue celebrates 25 years of Knowledge Acquisition and centers around a breathtaking essay by Brian Gaines, the founder and former Editor-in-Chief of our journal, who discusses the processes of knowledge acquisition, knowledge representation and knowledge sharing across the millennia, and emphasizes the essential role that these processes have played throughout history, as engines of human evolution. In addition to Gaines' paper, this issue also comprises ten short contributions from a number of other prominent Knowledge Acquisition researchers. These provide a broad range of perspectives on the field and reflect the vivacity and diversity of the research in this area. While the Knowledge Acquisition area is by and large healthy and thriving, the shift in the past decade from intelligent problem solving to data acquisition and management can be seen as somewhat ‘reductionist’ with respect to the original ambitions of the community. This special issue provides a timely reminder of the ambitious goals of the field, its interdisciplinary ethos, and the sheer fun that the community has had in the past 25 years in pursuing the objective of building intelligent and symbiotic systems. I trust that our readers will be inspired and excited by this set of brilliant essays. 相似文献
19.
产生式系统的关系数据库实现 总被引:2,自引:1,他引:1
产生式系统是一种广为使用的知识表示方法,但随着知识库规模的不断增大,其知识的组织与管理越来越困难,从而直接影响系统的推理效率,本文采用关系数据库技术,对产生式系统进行改进,从此提高大规模产生式系统的运行效率。 相似文献
20.
Franz J. Kurfess 《Applied Intelligence》1999,11(1):5-13
This collection of articles is the first of two parts of a special issue on Neural Networks and Structured Knowledge. The contributions to the first part shed some light on the issues of knowledge representation and reasoning with neural networks. Their scope ranges from formal models for mapping discrete structures like graphs or logical formulae onto different types of neural networks, to the construction of practical systems for various types of reasoning. In the second part to follow, the emphasis will be on the extraction of knowledge from neural networks, and on applications of neural networks and structured knowledge to practical tasks. 相似文献