• Aucun résultat trouvé

Some further thoughts on expressiveness and tractability

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Some further thoughts on expressiveness and tractability"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Some further thoughts on expressiveness and tractability

Hector Levesque

University of Toronto, Toronto, CANADA

Abstract. Since the mid 1980s, there has been considerable research studying the expressiveness and the tractability of various description logics. In this talk, we consider this issue as it was then and now. We argue that an overly strict interpretation may have caused the work on description logic to be seen as less relevant than it used to be to the general AI enterprise.

Références

Télécharger maintenant ( PDF - 1 Page - 24.05 KB )

Documents relatifs

While the issues discussed may not be directly relevant to the research problems of the Internet, they may be interesting to a number of researchers and implementors

A variable such that the initial portion of its name is the concatenation of the name for a ProNET type network interface followed by the octet string represented symbolically

While the information discussed may not be relevant to the research problems of the Internet, it may be interesting to a number of researchers and implementors

example, when a router of the NSFNET Backbone exchanges routing or reachability information with a gateway of a regional network EGP is

Two mechanisms are introduced that may be used to implement the echo function

The short term implementation mechanism will use an ISO 8473 normal data PDU as the echo-request and echo-reply PDU.. A special NSAP selector value will be used to identify

The Alert system may be used to monitor trouble ticket progress

represent the situation accurately. Where statistical operational reports are a primary purpose of the trouble ticket system, several fixed fields may be appropriate. If

While the issues discussed may not be directly relevant to the research problems of the Internet, they may be interesting to a number of researchers and implementers

This model requires that just before the application begins a large bulk transfer of data, a request message is sent to the switch asking that the switched network connection

While the issues discussed may not be directly relevant to the research problems of the Internet, they may be interesting to a number of researchers and implementers

o Some DUAs are better than others at finding the required results o Some DUAs will get the required results more quickly than most o DUA designers have to build DUAs in

In order to evaluate the suitability of these mechanisms, we need to define the scenarios in which these mechanisms have to be used

There are three possible ways that an ISP can provide hosts in the unmanaged network with access to IPv4 applications: by using a set of application relays, by providing

The standard introduces various concepts which might be difficult to understand and especially to relate correctly to the surrounding environments where header compression may be used

Feedback from a ROHC decompressor to a ROHC compressor can either be sent on a separate ROHC feedback channel dedicated to feedback packets, or sent among compressed