[BOEK][B] Epistemic logic for AI and computer science
JJC Meyer, JJC Meyer, W van der Hoek - 2004 - books.google.com
Epistemic logic has grown from its philosophical beginnings to find diverse applications in
computer science as a means of reasoning about the knowledge and belief of agents. This …
computer science as a means of reasoning about the knowledge and belief of agents. This …
A logical approach to the dynamics of commitments
JJC Meyer, W van der Hoek, B van Linder - Artificial Intelligence, 1999 - Elsevier
In this paper we present a formalisation of motivational attitudes, the attitudes that are the
driving forces behind the actions of agents. We consider the statics of these attitudes both at …
driving forces behind the actions of agents. We consider the statics of these attitudes both at …
[BOEK][B] Contrasting themes in the semantics of imperative concurrency
A survey is given of work performed by the authors in recent years concerning the semantics
of imperative concurrency. Four sample languages are presented for which a number of …
of imperative concurrency. Four sample languages are presented for which a number of …
Formalising abilities and opportunities of agents
B van Linder, W van der Hoek… - Fundamenta …, 1998 - content.iospress.com
We present a formal system to reason about and specify the behavior of multiple intelligent
artificial agents. Essentially, each agent can perform certain actions, and it may possess a …
artificial agents. Essentially, each agent can perform certain actions, and it may possess a …
[HTML][HTML] A verification framework for agent programming with declarative goals
A long and lasting problem in agent research has been to close the gap between agent logics
and agent programming frameworks. The main reason for this problem of establishing a …
and agent programming frameworks. The main reason for this problem of establishing a …
Practical reasoning using values: Giving meaning to values
Each person holds numerous values that represent what is believed to be important. As a
result, our values influence our behavior and influence practical reasoning. Various …
result, our values influence our behavior and influence practical reasoning. Various …
A logic of capabilities
W van der Hoek, B van Linder, JJC Meyer - Logical Foundations of …, 1994 - Springer
In this paper we define a framework designed to formalize certain aspects of the behaviour
of rational agents. To this end we start by defining a language L in which not only knowledge …
of rational agents. To this end we start by defining a language L in which not only knowledge …
The role of deontic logic in the specification of information systems
In this paper we discuss the role that deontic logic plays in the specification of information
systems, either because constraints on the systems directly concern norms or, and even more …
systems, either because constraints on the systems directly concern norms or, and even more …
The paradoxes of deontic logic revisited: A computer science perspective
This paper revisits a number of well-known paradoxes of deontic logic, namely Ross' paradox
(if you ought to mail a letter, you ought to mail or burn it), the free choice paradox (if you …
(if you ought to mail a letter, you ought to mail or burn it), the free choice paradox (if you …
Actions that make you change your mind
B Van Linder, W van der Hoek, JJC Meyer - KI-95: Advances in Artificial …, 1995 - Springer
In this paper we study the dynamics of belief from an agent-oriented, semantics-based point
of view. In a formal framework used to specify and to analyze rational agents, we define …
of view. In a formal framework used to specify and to analyze rational agents, we define …