Reasoning about partially ordered events (Q1263999): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0004-3702(88)90087-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2086784214 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the representation and querying of sets of possible worlds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Planning for conjunctive goals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: STRIPS: A new approach to the application of theorem proving to problem solving / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4166250 / rank | |||
Normal rank |
Latest revision as of 12:02, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasoning about partially ordered events |
scientific article |
Statements
Reasoning about partially ordered events (English)
0 references
1988
0 references
The paper won the best paper award in the subfield ``Automated reasoning and planning'' at AAAI-87. The motivation for this research in temporal reasoning was pragmatic: to build a general temporal database facility for applications in planning, robotics, and decision support. But the problem of answering queries involving partially ordered events originated a deep theoretical investigation. The problem of reasoning with incomplete knowledge is in the background - the exact order in which events occur is not known. The basic reasoning problem authors are concerned with is as follows: starting with general knowledge about the cause-and-effect relationships of a given domain, and specific knowledge about a particular set of circumstances, infer what is true over certain intervals of time. Total orders consistent with the given partially ordered events are considered. The complexity of two basic decision problems involving quantification over total orders is examined. The problems consist in determining if a condition (formula) holds immediately following a specified event in some (eventually all) totally ordered extension of the given partial order. It is shown that for all but trivial cases these problems are likely to be intractable. As an alternative to a complete, but potentially exponential-time decision procedure, a partial decision procedure is presented that runs in polynomial time. Probabilistic decision procedures for the problem as a fruitful direction for further research are sketched, too. It may be possible to exploit the statistical regularities of certain restricted classes of temporal projection in order to provide good approximate solutions.
0 references
temporal projection
0 references
decision problem
0 references
incomplete decision procedure
0 references
temporal reasoning
0 references
complexity
0 references
Probabilistic decision procedures
0 references