A logical and operational model of scalable knowledge- and perception-based agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1038, Issue , 1996, Pages 26-41

  Wagner, Gerd ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; SEMANTICS;

AGENT SYSTEMS; KNOWLEDGE STATE; MODEL FIT; OPERATIONAL MODEL; PERCEPTION-BASED; RE-PLANNING; REACTIVE SYSTEM; TRANSITION SYSTEM;

AUTONOMOUS AGENTS;

EID: 84948955280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0031844     Document Type: Conference Paper

References (14)

1. N.D. Belnap: A Useful Four-valued Logic, in G. Epstein and J.M. Dunn (Eds.), Modern Uses of Many-valued Logic, Reidel 1977, 8-37.
2. R.E. Fikes and N. Nilsson: “STRIPS: A New Approach to the Appli­cation of Theorem Proving to Problem Solving”, Artificial Intelligence 5:2 (1971), 189-208.
3. C.A.R. Hoare: An Axiomatic Basis for Computer Programming, Com­munications of the ACM 12:10 (1969), 576-583.
4. K. Konolige: A Deduction Model of Belief, Pitman and Morgan Kauf- mann, San Mateo (CA), 1986.
5. H.J. Levesque: Foundations of a Functional Approach to Knowledge Representation, AI 23:2 (1984), 155-212.
6. D.R. McCarthy and U. Dayal: The Architecture of an Active Database Management System, Proc. ACM SIGMOD-89, 1989, 215-224.
7. Z. Manna and A. Pnueli: The Temporal Logic of Reactive and Concur­rent Systems, Springer-Verlag, New York, 1992.
8. J.P. Muller: A Conceptual Model of Agent Interaction, in S.M. Deen (Ed.), Proc. 2nd Int. Working Conf. on Cooperating Knowledge-Based Sys­tems, DAKE Centre, Univ. of Keele, 1994, 213-233.
9. A.U. Shankar: An Introduction to Assertional Reasoning for Concurrent Systems, ACM Computing Surveys 25:3 (1993), 225-262.
10. Y. Shoham: Agent-Oriented Programming, Artificial Intelligence 60 (1993), 51-92.
11. G. Wagner: Vivid Logic - Knowledge-Based Reasoning with Two Kinds of Negation, Springer Lecture Notes in AI 764 (1994).
12. G. Wagner: Disjunctive, Deductive and Active Knowledge Bases, LWI Report 22/1994, Freie Universitat Berlin; available as ddakbs.dvi.gz, resp. ddakbs.ps.gz, via ftp from ftp.inf.fu-berlin.de in the directory /pub/reports/wagner (notice that the file has to be ‘gunzip’ed).
13. G. Wagner: From Information Systems to Knowledge Systems, in E. Falkenberg (Ed.), Proc. of IFIP Conf. on Information System Concepts (ISCO-3), Chapman & Hall, London, 1995.
14. M. Wooldridge: The Logical Modelling of Computational Multi-Agent Systems, PhD thesis, Dep. of Computation, Manchester Metropolitan Univer­sity, Manchester, UK, 1992.