Abstract | ||
---|---|---|
A new methodology for developing theories of action has recently emerged which provides means for formally evaluating the correctness of such theories. Yet, for a theory of action to qualify as a solution to the frame problem, not only does it need to produce correct inferences, but moreover, it needs to derive these inferences from a concise representation of the domain at hand. The new methodology however offers no means for assessing conciseness. Such a formal account of conciseness is developed in this paper. Combined with the existing criterion for correctness, our account of conciseness offers a framework where proposed solutions to the frame problem can be formally evaluated. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1023/A:1010516501232 | Studia Logica |
Keywords | Field | DocType |
Reasoning about Action,Frame Problem,Commonsense Reasoning | Computer science,Commonsense reasoning,Correctness,Computational linguistics,Action theory (philosophy),Algorithm,Artificial intelligence,Frame problem | Journal |
Volume | Issue | ISSN |
67 | 3 | 1572-8730 |
Citations | PageRank | References |
1 | 0.39 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pavlos Peppas | 1 | 265 | 31.74 |
Costas D. Koutras | 2 | 69 | 10.06 |
Mary-anne Williams | 3 | 953 | 128.61 |