与 «CIRCUMSCRIPTIVE»相关的英语书籍
在以下的参考文献中发现
circumscriptive的用法。与
circumscriptive相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Computing
circumscriptive databases: Theory and algorithms
Finally, we plan to use a standard relational database system as our run-time environment; this should yield relatively fast run-time processing, and provide a more expressive query language in which aggregates and the like can be expressed ...
Anil Nerode, Raymond T. Ng, V. S. Subrahmanian, 1992
2
Logic for Programming, Artificial Intelligence, and ...
Each theory in these logics is specified by a collection of first order formulas
together with a particular circumscriptive policy, a set of rules defining the way in
which minimization must be applied. A second or- der logic formula is
constructed ...
Miki Hermann, Andrei Voronkov, 2006
3
Solving the Frame Problem: A Mathematical Investigation of ...
... State constraint 1 1 State function 176 State predicate 274 State-based
minimisation , 267, 315 and explanation 124-128, 339-345 applied to
circumscriptive event calculus 272-276 Incompatibility with arboreality 156 Stolen
car scenario 22, ...
4
Semantic Matchmaking with Nonmonotonic Description Logics
Chapter. 6. A. Reasoning. Algorithm. for. Circumscriptive. Description. Logics.
Circumscriptive description logics are a rather new approach to augment DLs by
nonmonotonic features that has been proposed very recently. Hence, there have
...
5
Inductive Logic Programming: 14th International Conference, ...
3 Circumscriptive Induction As mentionedin Section 1, both explanatory induction
and descriptive induction have strength and weakness, which are
complementary to each other. In order to integrate explanatory and descriptive
induction by ...
Rui Camacho, Ross King, Ashwin Srinivasan, 2004
6
Logic-Based Artificial Intelligence
7. CIRCUMSCRIPTIVE. REASONING. ABOUT. BELIEFS. Several frameworks
have been proposed for formalizing nonmonotonic reasoning about beliefs:
autoepistemic logic, (Morgenstern, 1990); circumscription in a higher-order
modal logic, ...
7
Web Reasoning and Rule Systems: Third International ...
While typical examples in the circumscription literature deal with defeasible
conclusions of circumscriptive abnormality theories, in this setting we use
minimisation of concepts to realise a local closed-world assumption for the
matchmaking of ...
Axel Polleres, Terrance Swift, 2009
Quod autem predicatum ponat in se contradictiones plures patet, quia, sicut
impossibile est plura corpora simul10 esse in eodem loco circumscriptive, ita
impossibile est idem corpus esse11 in diversis locis circumscriptive. Unde
quod12 est ...
Pope John XXI, Lambertus Marie de Rijk, 1992
9
Angels in Medieval Philosophical Inquiry: Their Function and ...
1n the commentary on Article 219 the anonymous author refers to what is said
about Article 204 and claims that 'when the Article is taken in the sense that
separate substances are not circumscriptive in a place, then it is true.' This means
that it ...
Ms Isabel Iribarren, Mr Martin Lenz, 2012
10
Intentions in Communication
Chapter. 6. A. Circumscriptive. Theory. of. Plan. Recognition. Henry. Kautz. 1
Introduction 1.1 Motivation Perhaps the central concern of artificial intelligence is
to devise methods for representing and reasoning about actions and plans.
Philip R. Cohen, Jerry L. Morgan, Martha E. Pollack, 1990
