Off-line reasoning for on-line efficiency: Knowledge bases

Artificial Intelligence

Volumn 83, Issue 2, 1996, Pages 229-239

  Moses, Yoram ^a   Tennenholtz, Moshe ^b  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; KNOWLEDGE REPRESENTATION; LEARNING SYSTEMS; QUERY LANGUAGES;

EFFICIENT DISJUNCTIVE BASIS; OFF LINE REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0030170414     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00015-1     Document Type: Article

References (18)

1. P. Agre, The Dynamic Structure of Everyday Life (Cambridge University Press, Cambridge, 1991).
2. P. Agre and D. Chapman, Pengi: an implementation of a theory of activity, in: Proceedings AAAI-87, Seattle, WA (1987) 268-272.
3. J.Y. Halpern and M.Y. Vardi, Model checking vs. theorem proving: a manifesto, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 325-334.
4. R. Kowalski, Predicate logic as a programming language, in: Proceedings IFIP Conference, Stockholm (1974) 569-574.
5. H.J. Levesque, Logic and the complexity of reasoning, Tech. Rept. KRR-TR-89-2, University of Toronto, Toronto, Ont. (1989).
6. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, 1969) 463-502.
7. Y. Moses and M. Tennenholtz, Artificial social systems part 1: basic principles, Tech. Rept. CS90-12, Weizmann Institute (1990).
8. Y. Moses and M. Tennenholtz, Artificial social systems, Comput. Artif. Intell. 14 (1995) 533-562.
9. Y. Moses and M. Tennenholtz, Off-line reasoning for on-line efficiency, in: Proceedings IJCAI-93, Chambery (1993) 490-495.
10. M. Quillian, Word concepts: a theory and simulation of some basic semantic capabilities, Behav. Sci. 12 (1967) 410-430.
11. M.J. Schoppers, Universal plans for reactive robots in unpredictable environments, in: Proceedings AAAI-87, Seattle, WA (1987) 1039-1046.
12. T.K. Sellis, Multiple-query optimization, ACM Trans. Database Syst. 13 (1988) 23-52.
13. B. Selman and H. Kautz, Knowledge compulation using Horn approximations, in: Proceedings AAAI-91, Anaheim, CA (1991) 904-909.
14. Y. Shoham and M. Tennenholtz, On the synthesis of useful social laws for artificial agent societies, in: Proceedings AAAI-92, San Jose, CA (1992) 276-281.
15. Y. Shoham and M. Tennenholtz, On social laws for artificial agent societies: off-line design, Artif. Inlell. 73 (1995) 231-252.
16. M. Tennenholtz, On computational social laws for dynamic non-homogeneous social structures, JETAI 7 (1995) 379-390.
17. M. Tennenholtz and Y. Moses, On cooperation in a multi-entity model, in: Proceedings IJCAI-89, Detroit, MI (1989) 918-923.
18. L.G. Valiant, A theory of the learnable, Commun. ACM 27 (1984) 1134-1142.