Abstract
Intelligent question-answering programs do more than retrieve “raw” data; they make deductive inferences in order to return all valid responses. They report logical inconsistencies, possibly at the data input phase. Similarly, more information is requested from the user if a question asked proves to be ambiguous. A question-answering system of the above type has been designed and implemented. Besides retrieving explicit and implicit temporal relations, the system discovers potentially causal relationships which also satisfy different time restrictions. Questions concerning a generalized concept of coexistence can also be answered. It is hoped that programs of a similar nature will become of much pragmatic use to researchers in physics, chemistry, biology, and so on, in evaluating complex, interrelated experimental data. Several additional applications for this type of program are mentioned, ranging from problems in criminology to air traffic control. The Associative Memory, Parallel Processing Language, AMPPL-II, was found rather satisfactory for the project. It is finally suggested that the system being described could serve as a component in a complex cognitive mechanism.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
N. V. Findler, “A survey of seven projects using the same language,” inArtificial Intelligence and Heuristic Programming, N. V. Findler and B. Meltzer, eds. (Edinburgh University Press, Edinburgh, 1971).
N. V. Findler and W. R. McKinzie, “On a new tool in artificial intelligence research,”in Proc. First Int. Conf. on Artificial Intelligence, pp. 259–270 (Washington, D.C., 1969).
N. V. Findler, J. L. Pfaltz, and H. J. Bernstein,Four High Level Extensions of FORTRAN IV: SLIP, AMPPL-II, TREETRAN, and SYMBOLANG (Spartan Books, New York, 1972).
H. A. Simon,The Sciences of the Artificial (MIT Press, Cambridge, Mass., 1969).
J. J. Moder and C. R. Philips,Project Management with CPM and PERT (Reinhold, New York, 1964).
R. A. Bull, “An algebraic study of tense logics with linear time,”J. Symb. Logic 33:27–39 (1968).
H. N. Castañeda, “The logic of change, action, and norms,”J. Phil. 62: 333–344 (1965).
G. H. von Wright, “The logic of action—A sketch,” inThe Logic of Decision and Action, N. Rescher, ed. (University of Pittsburgh Press, Pittsburgh, 1966).
D. Davidson, “The logical form of action sentences,” inThe Logic of Decision and Action, N. Rescher, ed. (University of Pittsburgh Press, Pittsburgh, 1966).
C. O. Evans, “States, activities and performances,”Austral. J. Phil. 45: 293–308 (1967).
A. N. Prior,Time and Modality (Clarendon Press, Oxford, 1957).
A. N. Prior,Past, Present and Future (Clarendon Press, Oxford, 1967).
H. Reichenbach,Elements of Symbolic Logic (The Free Press, New York, 1947).
Y. P. Terletskiy, Paradoxes in the Theory of Relativity (Transl. by B. Hoffmann) (Plenum, New York, 1968).
Author information
Authors and Affiliations
Additional information
The work reported here was supported by the National Science Foundation Grant GJ-658.
This paper, in a less complete form, was presented at the Second International Joint Conference on Artificial Intelligence, London, England, September 1971.
Both authors worked on the design of the system. The first author (N.V.F.) suggested and elaborated the subject matter and was responsible for the writing of this paper. Many refinements and improvements are due to the second author (D.C.), who has also done all the programming. An enlarged version of this work, in the form of a Master's Project, will be submitted to the State University of New York at Buffalo in partial fulfilment of the requirements of David Chen's M.S. degree.
Rights and permissions
About this article
Cite this article
Findler, N.V., Chen, D. On the problems of time retrieval of temporal relations causality, and coexistence. International Journal of Computer and Information Sciences 2, 161–185 (1973). https://doi.org/10.1007/BF00986121
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00986121