Temporal Logic: From Ancient Ideas to Artificial IntelligenceSpringer Science & Business Media, 27. 8. 2007 - 416 strán (strany) Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. |
Obsah
218pdf | 210 |
219pdf | 211 |
220pdf | 212 |
221pdf | 213 |
222pdf | 214 |
223pdf | 215 |
224pdf | 216 |
225pdf | 217 |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
17 | |
18 | |
19 | |
20 | |
21 | |
22 | |
23 | |
24 | |
25 | |
26 | |
27 | |
28 | |
29 | |
30 | |
31 | |
32 | |
33 | |
34 | |
35 | |
36 | |
37 | |
38 | |
047pdf | 39 |
048pdf | 40 |
049pdf | 41 |
050pdf | 42 |
051pdf | 43 |
052pdf | 44 |
053pdf | 45 |
054pdf | 46 |
055pdf | 47 |
056pdf | 48 |
057pdf | 49 |
058pdf | 50 |
059pdf | 51 |
060pdf | 52 |
061pdf | 53 |
062pdf | 54 |
063pdf | 55 |
064pdf | 56 |
065pdf | 57 |
066pdf | 58 |
067pdf | 59 |
068pdf | 60 |
069pdf | 61 |
070pdf | 62 |
071pdf | 63 |
072pdf | 64 |
073pdf | 65 |
074pdf | 66 |
075pdf | 67 |
076pdf | 68 |
077pdf | 69 |
078pdf | 70 |
079pdf | 71 |
080pdf | 72 |
081pdf | 73 |
082pdf | 74 |
083pdf | 75 |
084pdf | 76 |
085pdf | 77 |
086pdf | 78 |
087pdf | 79 |
088pdf | 80 |
089pdf | 81 |
090pdf | 82 |
091pdf | 83 |
092pdf | 84 |
093pdf | 85 |
094pdf | 86 |
095pdf | 87 |
096pdf | 88 |
097pdf | 89 |
098pdf | 90 |
099pdf | 91 |
100pdf | 92 |
101pdf | 93 |
102pdf | 94 |
103pdf | 95 |
104pdf | 96 |
105pdf | 97 |
106pdf | 98 |
107pdf | 99 |
108pdf | 100 |
109pdf | 101 |
110pdf | 102 |
111pdf | 103 |
112pdf | 104 |
113pdf | 105 |
114pdf | 106 |
115pdf | 107 |
116pdf | 108 |
117pdf | 109 |
118pdf | 110 |
119pdf | 111 |
120pdf | 112 |
121pdf | 113 |
122pdf | 114 |
123pdf | 115 |
124pdf | 116 |
125pdf | 117 |
126pdf | 118 |
127pdf | 119 |
128pdf | 120 |
129pdf | 121 |
130pdf | 122 |
131pdf | 123 |
132pdf | 124 |
133pdf | 125 |
134pdf | 126 |
135pdf | 127 |
136pdf | 128 |
137pdf | 129 |
138pdf | 130 |
139pdf | 131 |
140pdf | 132 |
141pdf | 133 |
142pdf | 134 |
143pdf | 135 |
144pdf | 136 |
145pdf | 137 |
146pdf | 138 |
147pdf | 139 |
148pdf | 140 |
149pdf | 141 |
150pdf | 142 |
151pdf | 143 |
152pdf | 144 |
153pdf | 145 |
154pdf | 146 |
155pdf | 147 |
156pdf | 148 |
157pdf | 149 |
158pdf | 150 |
159pdf | 151 |
160pdf | 152 |
161pdf | 153 |
162pdf | 154 |
163pdf | 155 |
164pdf | 156 |
165pdf | 157 |
166pdf | 158 |
167pdf | 159 |
168pdf | 160 |
169pdf | 161 |
170pdf | 162 |
171pdf | 163 |
172pdf | 164 |
173pdf | 165 |
174pdf | 166 |
175pdf | 167 |
176pdf | 168 |
177pdf | 169 |
178pdf | 170 |
179pdf | 171 |
180pdf | 172 |
181pdf | 173 |
182pdf | 174 |
183pdf | 175 |
184pdf | 176 |
185pdf | 177 |
186pdf | 178 |
187pdf | 179 |
188pdf | 180 |
189pdf | 181 |
190pdf | 182 |
191pdf | 183 |
192pdf | 184 |
193pdf | 185 |
194pdf | 186 |
195pdf | 187 |
196pdf | 188 |
197pdf | 189 |
198pdf | 190 |
199pdf | 191 |
200pdf | 192 |
201pdf | 193 |
202pdf | 194 |
203pdf | 195 |
204pdf | 196 |
205pdf | 197 |
206pdf | 198 |
207pdf | 199 |
208pdf | 200 |
209pdf | 201 |
210pdf | 202 |
211pdf | 203 |
212pdf | 204 |
213pdf | 205 |
214pdf | 206 |
215pdf | 207 |
216pdf | 208 |
217pdf | 209 |
226pdf | 218 |
227pdf | 219 |
228pdf | 220 |
229pdf | 221 |
230pdf | 222 |
231pdf | 223 |
232pdf | 224 |
233pdf | 225 |
234pdf | 226 |
235pdf | 227 |
236pdf | 228 |
237pdf | 229 |
238pdf | 230 |
239pdf | 231 |
240pdf | 232 |
241pdf | 233 |
242pdf | 234 |
243pdf | 235 |
244pdf | 236 |
245pdf | 237 |
246pdf | 238 |
247pdf | 239 |
248pdf | 240 |
249pdf | 241 |
250pdf | 242 |
251pdf | 243 |
252pdf | 244 |
253pdf | 245 |
254pdf | 246 |
255pdf | 247 |
256pdf | 248 |
257pdf | 249 |
258pdf | 250 |
259pdf | 251 |
260pdf | 252 |
261pdf | 253 |
262pdf | 254 |
263pdf | 255 |
264pdf | 256 |
265pdf | 257 |
266pdf | 258 |
267pdf | 259 |
268pdf | 260 |
269pdf | 261 |
270pdf | 262 |
271pdf | 263 |
272pdf | 264 |
273pdf | 265 |
274pdf | 266 |
275pdf | 267 |
276pdf | 268 |
277pdf | 269 |
278pdf | 270 |
279pdf | 271 |
280pdf | 272 |
281pdf | 273 |
282pdf | 274 |
283pdf | 275 |
284pdf | 276 |
285pdf | 277 |
286pdf | 278 |
287pdf | 279 |
288pdf | 280 |
289pdf | 281 |
290pdf | 282 |
291pdf | 283 |
292pdf | 284 |
293pdf | 285 |
294pdf | 286 |
295pdf | 287 |
296pdf | 288 |
297pdf | 289 |
298pdf | 290 |
299pdf | 291 |
300pdf | 292 |
301pdf | 293 |
302pdf | 294 |
303pdf | 295 |
304pdf | 296 |
305pdf | 297 |
306pdf | 298 |
307pdf | 299 |
308pdf | 300 |
309pdf | 301 |
310pdf | 302 |
311pdf | 303 |
312pdf | 304 |
313pdf | 305 |
314pdf | 306 |
315pdf | 307 |
316pdf | 308 |
317pdf | 309 |
318pdf | 310 |
319pdf | 311 |
320pdf | 312 |
321pdf | 313 |
322pdf | 314 |
323pdf | 315 |
324pdf | 316 |
325pdf | 317 |
326pdf | 318 |
327pdf | 319 |
328pdf | 320 |
329pdf | 321 |
330pdf | 322 |
331pdf | 323 |
332pdf | 324 |
333pdf | 325 |
334pdf | 326 |
335pdf | 327 |
336pdf | 328 |
337pdf | 329 |
338pdf | 330 |
339pdf | 331 |
340pdf | 332 |
341pdf | 333 |
342pdf | 334 |
343pdf | 335 |
344pdf | 336 |
345pdf | 337 |
346pdf | 338 |
347pdf | 339 |
348pdf | 340 |
349pdf | 341 |
350pdf | 342 |
351pdf | 343 |
352pdf | 344 |
353pdf | 345 |
354pdf | 346 |
355pdf | 347 |
356pdf | 348 |
357pdf | 349 |
358pdf | 350 |
359pdf | 351 |
360pdf | 352 |
361pdf | 353 |
362pdf | 354 |
363pdf | 355 |
364pdf | 356 |
365pdf | 357 |
366pdf | 358 |
367pdf | 359 |
368pdf | 360 |
369pdf | 361 |
370pdf | 362 |
371pdf | 363 |
372pdf | 364 |
373pdf | 365 |
374pdf | 366 |
375pdf | 367 |
376pdf | 368 |
377pdf | 369 |
378pdf | 370 |
379pdf | 371 |
380pdf | 372 |
381pdf | 373 |
382pdf | 374 |
383pdf | 375 |
384pdf | 376 |
385pdf | 377 |
386pdf | 378 |
387pdf | 379 |
388pdf | 380 |
389pdf | 381 |
390pdf | 382 |
391pdf | 383 |
392pdf | 384 |
393pdf | 385 |
394pdf | 386 |
395pdf | 387 |
396pdf | 388 |
397pdf | 389 |
398pdf | 390 |
399pdf | 391 |
400pdf | 392 |
401pdf | 393 |
402pdf | 394 |
403pdf | 395 |
404pdf | 396 |
405pdf | 397 |
406pdf | 398 |
407pdf | 399 |
408pdf | 400 |
409pdf | 401 |
410pdf | 402 |
411pdf | 403 |
412pdf | 404 |
413pdf | 405 |
414pdf | 406 |
415pdf | 407 |
416pdf | 408 |
417pdf | 409 |
418pdf | 410 |
419pdf | 411 |
420pdf | 412 |
421pdf | 413 |
422pdf | 414 |
423pdf | 415 |
424pdf | 416 |
Iné vydania - Zobraziť všetky
Temporal Logic: From Ancient Ideas to Artificial Intelligence Peter Øhrstrøm,Per Hasle Obmedzený náhľad - 2007 |
Temporal Logic: From Ancient Ideas to Artificial Intelligence Peter Øhrstrøm,Per Hasle Obmedzený náhľad - 2007 |
Časté výrazy a frázy
A-concepts A. N. Prior According analysis Anselm antecedent argued assume assumption axioms B-logic B-theory before(a,b,x branching Buridan causal chapter CIMP computer science concept conceptual graphs consequence consequentia considered contingent future corresponding counterfactual crucial defined definition Diodorus discussion durations equivalent example existential graphs fact false formulated Hamblin history of logic idea implication instant propositions interpretation ISBN Jan Łukasiewicz Jespersen Lavenham Leibniz logicians Łukasiewicz Master Argument means medieval logic medieval logicians modal logic natural language necessity notion obviously Ockham Ockhamistic Øhrstrøm operator past Peirce Peirce's Peircean philosophical predicate present Prior problem Proof provable proved question reason regarding Reichenbach rejected relation rôle rule Scholastic sea-fight semantics Socrates sophism statement structure suicide symbolic t₁ tempo-modal temporal logic temporal proposition temporalis tense logic tense-logical theorem theory thesis tomorrow true truth value valid William of Ockham Yu Tsun
Populárne pasáže
Strana 118 - You couldn't have it if you did want it," the Queen said. "The rule is, jam to-morrow and jam yesterday — but never jam to-day." "It must come sometimes to 'jam to-day,'
Strana 1 - What then is time? If no one asks me. I know; if I wish to explain it to one that asketh, I know not...
Strana 185 - Fang, let us say, has a secret; a stranger calls at his door; Fang resolves to kill him. Naturally, there are several possible outcomes: Fang can kill the intruder, the intruder can kill Fang, they both can escape, they both can die, and so forth.
Strana 106 - It follows from the supreme perfection of God that he has chosen the best possible plan in producing the universe, a plan which combines the greatest variety together with the greatest order; with situation, place, and time arranged in the best way possible; with the greatest effect produced by the simplest means...
Strana 106 - One could learn the beauty of the universe in each soul if one could unravel all that is rolled up in it, but that develops perceptibly only with time.
Strana ii - University of Alberta Editorial Board JOHAN VAN BENTHEM, University of Amsterdam GREGORY N. CARLSON, University of Rochester DAVID DOWTY, Ohio State University, Columbus GERALD GAZDAR, University of Sussex, Brighton IRENE...
Strana 15 - Diodorus argued that the following three propositions cannot all be true [Mates 1961, p.38] : (Dl) Every proposition true about the past is necessary. (D2) An impossible proposition cannot follow from (or after) a possible one. (D3) There is a proposition which is possible, but which neither is nor will be true.
Strana 243 - Not only do we measure the movement by the time, but also the time by the movement, because they define each other. The time marks the movement, since it is its number, and the movement the time.
Strana 157 - If we wish to systematize the possible tenses we can proceed as follows. We choose the point of speech as the starting point; relative to it the point of reference can be in the past, at the same time, or in the future. This furnishes three possibilities. Next we consider the point of the event; it can be before, simultaneous with, or after the reference point.
Strana 252 - There is no other way to solve the problem of time than the way through physics. More than any other science, physics has been concerned with the nature of time. If time is objective, the physicist must have discovered that fact, if there is Becoming the physicist must know it...