Task Modelling Using Situation Calculus

2010 ◽  
pp. 103-116
Author(s):  
Martin Randles ◽  
David England ◽  
A. Taleb-Bendiab
Keyword(s):  
Situation Calculus

Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus

2020 ◽  
Author(s):  
Jens Claßen ◽  
James Delgrande
Keyword(s):  
Artificial Intelligence ◽  
Deontic Logic ◽  
Action Theory ◽  
Prima Facie ◽  
Situation Calculus ◽  
Artificial Agents ◽  
Planning Techniques ◽  
Course Of Action ◽  
Reasoning About Action ◽  
The Given

With the advent of artificial agents in everyday life, it is important that these agents are guided by social norms and moral guidelines. Notions of obligation, permission, and the like have traditionally been studied in the field of Deontic Logic, where deontic assertions generally refer to what an agent should or should not do; that is they refer to actions. In Artificial Intelligence, the Situation Calculus is (arguably) the best known and most studied formalism for reasoning about action and change. In this paper, we integrate these two areas by incorporating deontic notions into Situation Calculus theories. We do this by considering deontic assertions as constraints, expressed as a set of conditionals, which apply to complex actions expressed as GOLOG programs. These constraints induce a ranking of "ideality" over possible future situations. This ranking in turn is used to guide an agent in its planning deliberation, towards a course of action that adheres best to the deontic constraints. We present a formalization that includes a wide class of (dyadic) deontic assertions, lets us distinguish prima facie from all-things-considered obligations, and particularly addresses contrary-to-duty scenarios. We furthermore present results on compiling the deontic constraints directly into the Situation Calculus action theory, so as to obtain an agent that respects the given norms, but works solely based on the standard reasoning and planning techniques.

A Situation Calculus based approach to Cognitive Modelling for Responding to IoT Cyberattacks

2021 ◽  
Author(s):  
Pushpinder Kaur Chouhan ◽  
Liming Chen ◽  
Tazar Hussain ◽  
Alfie Beard
Keyword(s):  
Situation Calculus ◽  
Cognitive Modelling

scholarly journals Knowledge representation for missing persons investigations

2017 ◽  
Vol 19 (1/2) ◽  
pp. 138-150
Author(s):  
Mark Taylor ◽  
Denis Reilly
Keyword(s):  
Knowledge Representation ◽  
Design Methodology ◽  
Situation Calculus ◽  
Content Type ◽  
Missing Persons ◽  
State Changes ◽  
Changes Over Time ◽  
Investigation Process ◽  
Practical Implications ◽  
Over Time

Purpose This paper aims to present the application of situation calculus for knowledge representation in missing persons investigations. Design/methodology/approach The development of a knowledge representation model for the missing persons investigation process based upon situation calculus, with a demonstration of the use of the model for a missing persons example case. Findings Situation calculus is valuable for knowledge representation for missing persons investigations, as such investigations have state changes over time, and due to the complexity of the differing investigation activities applicable to different situations, can be difficult to represent using simpler approaches such as tables or flowcharts. Research limitations/implications Situation calculus modelling for missing persons investigations adds formalism to the process beyond that which can be afforded by the current use of text, tables or flowcharts. The additional formalism is useful in dealing with the uncertainty present in such investigations. Practical implications The implications are a simplification of the application of the current police guidelines, and thoroughness in the application of such guidelines for missing persons investigations via situation calculus modelling. Social implications This paper supports the management of missing person investigations, by using the most critical variables in a missing persons investigation to determine relevant investigation and search activities applicable to the circumstances of a given case. Originality/value The novelty of the knowledge representation approach is the application of situation calculus via state and action vectors and a matrix of fluents to the process of missing persons investigations.

scholarly journals Integrating State Constraints and Obligations in Situation Calculus

2009 ◽  
Vol 13 (41) ◽  
Author(s):  
Robert Demolombe ◽  
Pilar Pozos Parra
Keyword(s):  
State Constraints ◽  
Situation Calculus

Multiagent architecture that uses situation calculus (MAGSIC)

1999 ◽  
Author(s):  
Kuo-Di Jian ◽  
Kendall E. Nygard
Keyword(s):  
Situation Calculus

Theories of Intentions in the Framework of Situation Calculus

2005 ◽  
pp. 19-34 ◽  
Author(s):  
Pilar Pozos Parra ◽  
Abhaya Nayak ◽  
Robert Demolombe
Keyword(s):  
Situation Calculus
Sign in / Sign up

Export Citation Format

Share Document