W. van der Hoek, B. van Linder, J.-J. Ch. Meyer  Home/Search
Context Related
| cs.uu.nl/pub/RUU/CS/tec...199330.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.uu.nl/docs/researc...TechList1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual... (Update)
Context of citations to this paper: More
...an AI environment. Since the basic goal of our research is the formalization of the behaviour of this kind of rational agents (cf. [HLM93a, HLM93b]) we will ensure that the definitions for tests that we give in section 3 are such that not only the basic demands for tests...
.... agent systems [40] and cognitive robotics [18] The term practition is due to Casta neda [2] In a series of papers [14, 15, 21, 16, 23, 22, 24] we defined a theorist logic for rational agents, i.e. a formal system that may be used to specify, analyse and reason about the...
Cited by: More
Actions That Make You Change - Your Mind Van (Correct)
The Dynamics of Default Reasoning - Van Linder Van (1995) (Correct)
Seeing is Believing - And so are Hearing and Jumping - van Linder, van der Hoek.. (1995) (Correct)
Similar documents (at the sentence level):
77.7%: Unravelling Nondeterminism: On Having the Ability to Choose - van der Hoek, van Linder, .. (1993) (Correct)
Active bibliography (related documents): More All
0.2: Formalising Abilities and Opportunities of Agents - van Linder, van der Hoek, Meyer (1998) (Correct)
0.1: Dynamic Logic - Harel, Kozen, Tiuryn (1984) (Correct)
0.1: Free Choice and Contextually Permitted Actions - Dignum, Meyer, Wieringa (1996) (Correct)
Similar documents based on text: More All
0.3: Tests as Epistemic Updates: Pursuit of Knowledge - van Linder, van der Hoek, Meyer (1994) (Correct)
0.3: Modal Logics for Representing Incoherent Knowledge - Meyer, van der Hoek (1995) (Correct)
0.1: Actions That Make You Change Your Mind - . . . - van Linder, al. (1994) (Correct)
Related documents from co-citation: More All
5: Agent-oriented programming (context) - Shoham - 1993
5: Epistemic Logic for AI and Computer Science (context) - Ch, van der Hoek - 1995
4: A guide to completeness and complexity for modal logics of knowledge and belief (context) - Halpern, Moses - 1992
BibTeX entry: (Update)
W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer, "Unravelling nondeterminism: On having the ability to choose (extended abstract) ," in Proc. AIMSA'94, pp. 163--172, World Scientific, 1994. http://citeseer.ist.psu.edu/article/vanderhoek93unravelling.html More
@misc{ hoek94unravelling,
author = "W. van der Hoek and B. van Linder and J. Ch",
title = "Unravelling nondeterminism: On having the ability to choose (extended abstract",
text = "W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer, Unravelling nondeterminism:
On having the ability to choose (extended abstract) , in Proc. AIMSA'94,
pp. 163--172, World Scientific, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/article/vanderhoek93unravelling.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
362 Dynamic logic - Harel - 1984
210 A formal theory of knowledge and action (context) - Moore - 1984
143 Logics of programs (context) - Kozen, Tiuryn - 1990
100 Epistemic logic for AI and computer science (context) - Ch, van der Hoek
75 Reasoning about knowledge and action (context) - Moore - 1980
61 Countable nondeterminism and random assignment (context) - Apt, Plotkin - 1986
58 A guide to the modal logics of knowledge and belief (context) - Halpern, Moses - 1985
49 volume 7 of CSLI Lecture Notes (context) - Goldblatt, Time - 1992
34 Concurrent dynamic logic (context) - Peleg - 1987
25 Theoretical Computer Science - Broy, of et al. - 1986
20 volume 68 of Lecture Notes in Computer Science (context) - Harel, Logic - 1979
16 The propositional dynamic logic of deterministic (context) - Halpern, Reif - 1983
11 Linear time and branching time semantics for recursion with .. (context) - de Bakker, Bergstra et al. - 1984
10 Vrije Universiteit Amsterdam (context) - van der Hoek, van Linder et al. - 1993
9 Free choice permissions and Ross's paradox: Internal vs exte.. (context) - Ch - 1992
2 volume 1: Introduction to Logic (context) - Gamut, Language - 1991
2 Reasoning about Mental States: Formal Theories and Applicati.. (context) - Thomas, for et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uu.nl/docs/research/publication/TechList1.html): More
Motion Planning Using A Colored Kohonen Network - Vleugels, Kok, Overmars (1993) (Correct)
Visual Representations Embodying Spacetime Structure - Florack (1999) (Correct)
Efficient Methods for Isoline Extraction from a Digital.. - van Kreveld (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC