標題: Titlebook: Logic-Based Artificial Intelligence; Jack Minker Book 2000 Springer Science+Business Media New York 2000 STRIPS.Shakey.Text.artificial int [打印本頁] 作者: 到來 時間: 2025-3-21 17:21
書目名稱Logic-Based Artificial Intelligence影響因子(影響力)
作者: deceive 時間: 2025-3-21 20:20 作者: CHYME 時間: 2025-3-22 03:13
The Role of Default Logic in Knowledge Representationicies governing the set of default rules. Here we show that DL can be used to formalize preferences among properties and the inheritance of default properties, and so we essentially use DL to axiomatize such phenomena.作者: 羊齒 時間: 2025-3-22 06:33
Functional Strips: A More Flexible Language for Planning and Problem Solving names and as a result more efficient encodings can be provided. For example, a problem like the 8-puzzle can be codified in terms of four actions with no arguments; Hanoi, can be codified with a number of ground actions independent of the number of disks; resources and constraints can be easily rep作者: 同位素 時間: 2025-3-22 11:08 作者: Peak-Bone-Mass 時間: 2025-3-22 13:17 作者: 不成比例 時間: 2025-3-22 18:56 作者: 進入 時間: 2025-3-22 22:41 作者: 顧客 時間: 2025-3-23 03:19
Giuseppe De Giacomo,Hector Levesquetivity shows that in describing human knowing the computer isirrelevant; .. in accounting for the scholarly/scientificactivity, logic and rules are impotent; .. a novel theory:scholarship and science have coherent descriptions as their core... The discussion addresses questions that are basic to adv作者: exclamation 時間: 2025-3-23 09:13 作者: 帶子 時間: 2025-3-23 12:56 作者: 絆住 時間: 2025-3-23 17:02 作者: 沒收 時間: 2025-3-23 18:13
Marc Denecker,Victor Marek,Miros?aw Truszczyńskitivity shows that in describing human knowing the computer isirrelevant; .. in accounting for the scholarly/scientificactivity, logic and rules are impotent; .. a novel theory:scholarship and science have coherent descriptions as their core... The discussion addresses questions that are basic to adv作者: 懸崖 時間: 2025-3-24 00:35
r the possibility that others, though speaking the truth as they see it, are in error and for the possibility that they might dissemble. When, however, we have no reason to think that they err or that they dissemble, we are justified in accepting what they say without any reasoning to support so doi作者: 不真 時間: 2025-3-24 05:49
Henry Kautz,Bart Selmancomputing and the philosophical background that supportsthe AI tradition. These three chapters describe the origins of AI, programming as iterative refinement, and the representations and very high-level language tools that support AI application building...The book’s second Part introduces three of作者: Maximizer 時間: 2025-3-24 07:46
Héctor Geffnercomputing and the philosophical background that supportsthe AI tradition. These three chapters describe the origins of AI, programming as iterative refinement, and the representations and very high-level language tools that support AI application building...The book’s second Part introduces three of作者: 金盤是高原 時間: 2025-3-24 12:33
computing and the philosophical background that supportsthe AI tradition. These three chapters describe the origins of AI, programming as iterative refinement, and the representations and very high-level language tools that support AI application building...The book’s second Part introduces three of作者: Mindfulness 時間: 2025-3-24 18:48 作者: 最高峰 時間: 2025-3-24 19:27 作者: Antarctic 時間: 2025-3-25 00:27 作者: Maximizer 時間: 2025-3-25 04:39
Reinventing ShakeyThis paper describes the logical foundations of an implemented system which employs resolution-based theorem proving techniques for high-level robot control. The paper offers complementary logical characterizations of perception and planning, and shows how sensing, planning and acting are interleaved to control a real robot.作者: 羅盤 時間: 2025-3-25 10:01 作者: Genetics 時間: 2025-3-25 12:29 作者: TAG 時間: 2025-3-25 17:13 作者: MUTE 時間: 2025-3-25 20:19
Two Approaches to Efficient Open-World Reasoningtain contexts with open-world ones. We discuss two cases, one based on restricting queries to be in a certain normal form, and the other, arising in reasoning about actions, based on having sensing information at the right time so as to dynamically reduce open-word reasoning to closed-word reasoning.作者: cushion 時間: 2025-3-26 01:51 作者: Chipmunk 時間: 2025-3-26 05:08 作者: 不容置疑 時間: 2025-3-26 11:41 作者: 高原 時間: 2025-3-26 14:02 作者: Abutment 時間: 2025-3-26 17:51 作者: NAUT 時間: 2025-3-27 00:50 作者: CHANT 時間: 2025-3-27 01:14
Planning with Natural Actions in the Situation Calculuse user. The planner is implemented in ECLIPSE Prolog, and exploits that system’s built-in linear constraint solver to do temporal reasoning. We illustrate the planner’s workings on a space platform example that we fully axiomatize in the situation calculus.作者: convulsion 時間: 2025-3-27 08:29 作者: ACTIN 時間: 2025-3-27 12:51 作者: cornucopia 時間: 2025-3-27 15:44
Getting to the Airport: The Oldest Planning Problem in AIdraw the relevant conclusions. Our goal here is to take a careful look at this episode from the early history of AI and to identify some of the logical and algorithmic ideas related to the airport problem that have emerged over the years.作者: patriot 時間: 2025-3-27 19:43
Introduction to Logic-Based Artificial Intelligenceights that took place at the . from which the papers are drawn. The areas of LBAI represented in the book are: commonsense reasoning; knowledge representation; nonmonotonic reasoning; abductive and inductive reasoning; logic, probability and decision making; logic for causation and actions; planning作者: 彎腰 時間: 2025-3-28 01:11
Concepts of Logical AIo by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI..Reaching human-level AI requires programs that deal with the .. Human-level logical AI requires extensions to t作者: 消毒 時間: 2025-3-28 03:04 作者: 我們的面粉 時間: 2025-3-28 06:49
Declarative Problem-Solving Using the DLV SystemBased on this paradigm, the . system has been designed and implemented as a tool for declarative knowledge representation. In this paper, we focus on the usage of . for solving problems in a declarative manner and report on experiments that we have run on a suite of benchmark problems. We discuss ho作者: evince 時間: 2025-3-28 11:15
The Role of Default Logic in Knowledge Representatione. Our thesis in this paper is that commonsense reasoning frequently has a nonmonotonic aspect, either explicit or implicit, and that to this end Default Logic (DL) provides an appropriate elaboration of classical logic for the modeling of such phenomena. That is, DL is a very general, flexible, and作者: Intuitive 時間: 2025-3-28 15:59 作者: 薄荷醇 時間: 2025-3-28 22:44
Getting to the Airport: The Oldest Planning Problem in AI approach to AI, McCarthy proposed to address this problem by first giving “a formal statement of the premises” that a reasoning program would use to draw the relevant conclusions. Our goal here is to take a careful look at this episode from the early history of AI and to identify some of the logica作者: 我悲傷 時間: 2025-3-28 23:34
Encoding Domain and Control Knowledge for Propositional Planningts an abundance of domain-specific knowledge that can be used to improve the performance of a planning system. This knowledge is traditionally encoded as procedures or rules that are tied to the details of the planning engine. We present a way to encode domain knowledge in a purely declarative, algo作者: 緩解 時間: 2025-3-29 03:54
Functional Strips: A More Flexible Language for Planning and Problem Solving0′s due to its effective solution of the frame problem and its support for divide-and-conquer strategies. In recent years, however, planning strategies not based on divide-and-conquer and work on theories of actions suggest that alternative languages can make modeling and planning easier. With this 作者: Incommensurate 時間: 2025-3-29 08:36 作者: 胰島素 時間: 2025-3-29 13:07
r this reason, it is in principle impossible for a particular thinker to attain the perspective of the Logos by which the whole can be made intelligible. So, metaphysics itself tells us that metaphysics is impossible. According to Halper, Heraclitus was wrong to take the Logos as applying to itself,
